aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
Commit message (Collapse)AuthorAgeFilesLines
* Bump abc to fix &mfs bugEddie Hung2019-07-251-1/+1
|
* Merge pull request #1098 from YosysHQ/xaigEddie Hung2019-06-281-1/+2
|\ | | | | "abc9" pass for timing-aware techmapping (experimental, FPGA only, no FFs)
| * Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-06-271-0/+1
| |\
| * | Revert MakefileEddie Hung2019-06-201-2/+2
| | |
| * | Fix gcc error, due to dict invalidation during recursionEddie Hung2019-06-201-2/+2
| | |
| * | Run simple_abc9 testsEddie Hung2019-06-201-0/+1
| | |
| * | Merge remote-tracking branch 'origin/master' into xc7muxEddie Hung2019-06-031-0/+4
| |\ \
| * | | Bump ABCEddie Hung2019-05-291-1/+1
| | | |
* | | | tests: use optional ABCEXTERNAL when specifiedGabriel L. Somlo2019-06-271-2/+8
| |_|/ |/| | | | | | | | | | | | | | | | | | | | | | | Commits 65924fd1, abc40924, and ebe29b66 hard-code the invocation of yosys-abc, which fails if ABCEXTERNAL was specified during the build. Allow tests to utilize an optional, externally specified abc binary. Signed-off-by: Gabriel Somlo <gsomlo@gmail.com>
* | | tests: Check that Icarus can parse arch sim modelsDavid Shah2019-06-261-0/+1
| |/ |/| | | | | Signed-off-by: David Shah <dave@ds0.me>
* | Aded one more load of .conf to support change of prefixMiodrag Milanovic2019-05-291-0/+4
|/
* Remove info line in 2nd load of conf fileMiodrag Milanovic2019-05-281-1/+0
|
* Moved pyosys block in MakefileMiodrag Milanovic2019-05-281-8/+16
|
* make config-afl-gcc to help creating conf fileMiodrag Milanovic2019-05-271-1/+4
|
* Added afl-gcc as target for fuzzerMiodrag Milanovic2019-05-271-0/+7
|
* Guard all Python-api related items.Kaj Tuomi2019-05-271-0/+6
|
* OS X related fixes.Kaj Tuomi2019-05-221-5/+31
|
* extract python prefix to allow overridingStefan Biereigel2019-05-141-1/+2
|
* remove ldconfig callStefan Biereigel2019-05-141-1/+0
|
* add mkdir for libyosys target, explicitly copy to target folderStefan Biereigel2019-05-141-3/+4
|
* Merge branch 'master' of https://github.com/YosysHQ/yosys into ↵Benedikt Tutzer2019-04-301-3/+3
|\ | | | | | | feature/python_bindings
| * Set ENABLE_LIBYOSYS=0 by defaultClifford Wolf2019-04-221-1/+1
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Set ENABLE_PYOSYS=0 by defaultClifford Wolf2019-04-221-1/+1
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Merge pull request #905 from christian-krieg/feature/python_bindingsClifford Wolf2019-04-221-2/+57
| |\ | | | | | | Feature/python bindings
| * | Update to ABC 3709744Clifford Wolf2019-04-181-1/+1
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | Update to ABC d1b6413Clifford Wolf2019-04-171-1/+1
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | Cleaned up root directoryBenedikt Tutzer2019-04-301-4/+4
| |/ |/|
* | Suppress error from the compiler run during libboost-python* detectionBenedikt Tutzer2019-04-071-4/+4
| |
* | Autodetect Python paths and boost python libraries for different distributionsBenedikt Tutzer2019-04-051-8/+24
| |
* | Removed link to experimental filesystem libraryBenedikt Tutzer2019-04-041-2/+2
| |
* | Changed filesystem dependency to boost instead of experimental std libraryBenedikt Tutzer2019-04-041-2/+2
| |
* | Removed compiler flags that are clang specificBenedikt Tutzer2019-04-031-2/+2
| |
* | Even less options for the preprocessorBenedikt Tutzer2019-04-031-1/+1
| |
* | Preprocessing does not need all the flagsBenedikt Tutzer2019-04-031-1/+1
| |
* | Added cross-platform support for plugin-pathsBenedikt Tutzer2019-04-031-2/+2
| |
* | Autodetect highest installed python versionBenedikt Tutzer2019-04-031-2/+8
| |
* | Merge remote-tracking branch 'origin/master' into feature/python_bindingsBenedikt Tutzer2019-03-281-16/+97
|\|
| * Merge https://github.com/YosysHQ/yosys into read_aigerEddie Hung2019-03-191-2/+7
| |\
| | * Disable realmath testsClifford Wolf2019-03-151-1/+1
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | * Add ENABLE_GLOB Makefile switchClifford Wolf2019-03-111-0/+5
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | * Fix TravisClifford Wolf2019-02-221-1/+1
| | | | | | | | | | | | | | | | | | | | | It looks like that whole "Fixing Travis's git clone" code was just there to make the "git describe --tags" work. I simply removed both. Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | Add aiger tests to make testsEddie Hung2019-02-191-0/+1
| |/
| * Update Verific default pathClifford Wolf2019-01-041-1/+1
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Merge pull request #704 from webhat/feature/fix-awkClifford Wolf2018-12-161-2/+3
| |\ | | | | | | Using awk rather than gawk
| | * Using awk rather than gawkDaniël W. Crompton2018-11-191-2/+3
| | |
| * | Verific updatesClifford Wolf2018-12-061-1/+1
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | opt_lut: new pass, to combine LUTs for tighter packing.whitequark2018-12-051-1/+2
| |/
| * Update ABC to git rev 2ddc57dClifford Wolf2018-11-131-1/+1
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Update ABC to git rev 68da3cfClifford Wolf2018-11-111-1/+1
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Merge pull request #696 from arjenroodselaar/verific_darwinClifford Wolf2018-11-091-0/+4
| |\ | | | | | | Use appropriate static libraries when building with Verific on MacOS
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 16:47:12 +0000