aboutsummaryrefslogtreecommitdiffstats
path: root/passes/techmap/abc9_exe.cc
Commit message (Collapse)AuthorAgeFilesLines
* Fitting help messages to 80 character widthKrystalDelusion2022-08-241-2/+2
| | | | | | | | | Uses the regex below to search (using vscode): ^\t\tlog\("(.{10,}(?<!\\n)|.{81,}\\n)"\); Finds any log messages double indented (which help messages are) and checks if *either* there are is no newline character at the end, *or* the number of characters before the newline is more than 80.
* 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
| | | | | | | | s/((Claire|Xen|Xenia|Clifford)\s+)+(Wolf|Xen)\s+<(claire|clifford)@(symbioticeda.com|clifford.at|yosyshq.com)>/Claire Xenia Wolf <claire@yosyshq.com>/gi; s/((Nina|Nak|N\.)\s+)+Engelhardt\s+<nak@(symbioticeda.com|yosyshq.com)>/N. Engelhardt <nak@yosyshq.com>/gi; s/((David)\s+)+Shah\s+<(dave|david)@(symbioticeda.com|yosyshq.com|ds0.me)>/David Shah <dave@ds0.me>/gi; s/((Miodrag)\s+)+Milanovic\s+<(miodrag|micko)@(symbioticeda.com|yosyshq.com)>/Miodrag Milanovic <micko@yosyshq.com>/gi; s,https?://www.clifford.at/yosys/,http://yosyshq.net/yosys/,g;
* 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
| | | | | | | | | | | | 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