aboutsummaryrefslogtreecommitdiffstats
path: root/passes/techmap/abc9_exe.cc
Commit message (Expand)AuthorAgeFilesLines
* Fitting help messages to 80 character widthKrystalDelusion2022-08-241-2/+2
* support file locations containing spacesMiodrag Milanovic2022-08-081-3/+3
* Fix external ABC build after commit 0ca0932b5.Catherine2022-07-071-2/+4
* Fixing old e-mail addresses and deadnamesClaire Xenia Wolf2021-06-081-1/+1
* Expose abc and data paths as globalsMiodrag Milanovic2020-11-061-12/+1
* Use C++11 final/override keywords.whitequark2020-06-181-2/+2
* Add WASI platform support.whitequark2020-04-301-0/+4
* abc9: tolerate ABC nonzero exit code if output.aig; write before &mfsEddie Hung2020-04-201-2/+13
* xilinx/ecp5: disable abc9's "&mfs" optimisationEddie Hung2020-04-201-0/+4
* 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