aboutsummaryrefslogtreecommitdiffstats
path: root/passes/techmap/abc9_exe.cc
Commit message (Collapse)AuthorAgeFilesLines
* Add WASI platform support.whitequark2020-04-301-0/+4
| | | | | | | | | | | | This includes the following significant changes: * Patching ezsat and minisat to disable resource limiting code on WASM/WASI, since the POSIX functions they use are unavailable. * Adding a new definition, YOSYS_DISABLE_SPAWN, present if platform does not support spawning subprocesses (i.e. Emscripten or WASI). This definition hides the definition of `run_command()`. * Adding a new Makefile flag, DISABLE_SPAWN, present in the same condition. This flag disables all passes that require spawning subprocesses for their function.
* abc9: tolerate ABC nonzero exit code if output.aig; write before &mfsEddie Hung2020-04-201-2/+13
| | | | | Re-enable mfs for xilinx/ecp5 speculatively -- if it fails, use pre-mfs result
* xilinx/ecp5: disable abc9's "&mfs" optimisationEddie Hung2020-04-201-0/+4
| | | | Can sometimes fire an assertion, e.g. #1962
* abc9_exe: verify -> &verify -sEddie Hung2020-04-141-2/+2
|
* Support custom PROGRAM_PREFIXMiodrag Milanovic2020-04-101-4/+4
|
* abc9: cleanupEddie Hung2020-02-101-1/+1
|
* Fix misc.abc9.abc9_abc9_lutsEddie Hung2020-02-071-1/+1
|
* Merge branch 'eddie/abc9_refactor' into eddie/abc9_requiredEddie Hung2020-01-271-4/+4
|\
| * Merge remote-tracking branch 'origin/eddie/abc9_fixes' into eddie/abc9_refactorEddie Hung2020-01-221-4/+4
| |
* | abc9_ops: -write_box is empty, output a dummy box to prevent ABC errorEddie Hung2020-01-151-2/+1
|/
* abc9: log which module is being operated onEddie Hung2020-01-131-4/+0
|
* Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-131-62/+58
|
* abc9: cleanupEddie Hung2020-01-111-10/+5
|
* abc_exe: move 'count_outputs' check to abcEddie Hung2020-01-071-45/+32
|
* Add abc9_ops -reintegrate; moved out from now abc9_exeEddie Hung2020-01-061-0/+557