| Commit message (Expand) | Author | Age | Files | Lines |
* | abc9: add some log_{push,pop}() as per @nakengelhardt | Eddie Hung | 2020-01-17 | 2 | -5/+19 |
* | abc9_ops: -reintegrate to not trim box padding anymore | Eddie Hung | 2020-01-14 | 1 | -9/+0 |
* | abc9_ops/write_xaiger: update doc | Eddie Hung | 2020-01-14 | 1 | -0/+13 |
* | abc9_ops: -prep_holes -> -prep_xaiger, move padding to write_xaiger | Eddie Hung | 2020-01-14 | 2 | -104/+73 |
* | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor | Eddie Hung | 2020-01-14 | 2 | -4/+4 |
|\ |
|
| * | Merge pull request #1633 from YosysHQ/eddie/fix_autoname | Eddie Hung | 2020-01-14 | 1 | -1/+1 |
| |\ |
|
| | * | autoname: do not autoname ports | Eddie Hung | 2020-01-14 | 1 | -1/+1 |
| * | | read_aiger: make $and/$not/$lut the prefix not suffix | Eddie Hung | 2020-01-13 | 1 | -4/+4 |
| |/ |
|
* | | abc9_ops: -break_scc -> -mark_scc using (* keep *), remove -unbreak_scc | Eddie Hung | 2020-01-13 | 2 | -46/+20 |
* | | abc9_ops: ignore inouts of all cell outputs for topo ordering | Eddie Hung | 2020-01-13 | 1 | -2/+6 |
* | | abc9: break SCC by setting (* keep *) on output wires | Eddie Hung | 2020-01-13 | 2 | -26/+5 |
* | | abc9: add -run option | Eddie Hung | 2020-01-13 | 1 | -1/+14 |
* | | abc9: respect (* keep *) on cells | Eddie Hung | 2020-01-13 | 1 | -0/+2 |
* | | abc9: log which module is being operated on | Eddie Hung | 2020-01-13 | 2 | -5/+3 |
* | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor | Eddie Hung | 2020-01-13 | 3 | -77/+138 |
|\| |
|
| * | MIssed this merge conflict | Eddie Hung | 2020-01-11 | 1 | -4/+0 |
| * | Merge remote-tracking branch 'origin/master' into eddie/abc9_scratchpad | Eddie Hung | 2020-01-11 | 1 | -12/+4 |
| |\ |
|
| * | | abc9: fix help message, found by @nakengelhardt | Eddie Hung | 2020-01-11 | 1 | -2/+2 |
| * | | Copy-pasta | Eddie Hung | 2020-01-10 | 1 | -1/+1 |
| * | | abc9: add abc9.verify and abc9.debug options | Eddie Hung | 2020-01-10 | 1 | -1/+13 |
| * | | abc9: fix typos | Eddie Hung | 2020-01-10 | 1 | -4/+4 |
| * | | Tune abc9.script.flow | Eddie Hung | 2020-01-09 | 1 | -6/+14 |
| * | | Add '-v' to &if for abc9.script.default.fast | Eddie Hung | 2020-01-09 | 1 | -1/+1 |
| * | | abc9: start post-fix with semicolon | Eddie Hung | 2020-01-09 | 1 | -1/+1 |
| * | | abc9.script.* constpad entries to start with '+' | Eddie Hung | 2020-01-09 | 1 | -8/+8 |
| * | | Revert "abc9: if -script value is a file, then source it, otherwise commands" | Eddie Hung | 2020-01-09 | 1 | -16/+11 |
| * | | Move abc9.* constpad entries to Abc9Pass::on_register() | Eddie Hung | 2020-01-09 | 1 | -0/+37 |
| * | | scratchpad entry abc9.if.R to &if -R | Eddie Hung | 2020-01-08 | 1 | -0/+6 |
| * | | abc9: if -script value is a file, then source it, otherwise commands | Eddie Hung | 2020-01-08 | 1 | -11/+16 |
| * | | abc9: add time as last script command | Eddie Hung | 2020-01-08 | 1 | -1/+1 |
| * | | Fix {C} substitution | Eddie Hung | 2020-01-08 | 1 | -1/+4 |
| * | | Add RTLIL::constpad, init by yosys_setup(); use for abc9 | Eddie Hung | 2020-01-08 | 2 | -32/+27 |
* | | | cleanup | Eddie Hung | 2020-01-11 | 1 | -2/+0 |
* | | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor | Eddie Hung | 2020-01-11 | 2 | -92/+94 |
|\ \ \
| | |/
| |/| |
|
| * | | abc9: remove -nomfs option | Eddie Hung | 2020-01-11 | 1 | -12/+2 |
| * | | abc9: fix memory leak | Eddie Hung | 2020-01-10 | 1 | -4/+2 |
| |/ |
|
| * | scc to use design->selected_modules() which avoids black/white-boxes | Eddie Hung | 2020-01-07 | 1 | -26/+25 |
* | | Merge branch 'eddie/abc9_refactor' of github.com:YosysHQ/yosys into eddie/abc... | Eddie Hung | 2020-01-11 | 3 | -101/+88 |
|\ \ |
|
| * | | abc9: cleanup | Eddie Hung | 2020-01-11 | 3 | -45/+38 |
| * | | abc9_ops: fix reintegration by removing optimised-away boxes | Eddie Hung | 2020-01-09 | 1 | -56/+50 |
* | | | Cleanup | Eddie Hung | 2020-01-08 | 1 | -5/+3 |
|/ / |
|
* | | Fix abc9 help, add labels | Eddie Hung | 2020-01-08 | 1 | -58/+71 |
* | | abc9_ops -reintegrate: process box connections | Eddie Hung | 2020-01-07 | 1 | -27/+134 |
* | | Fix tabs and cleanup | Eddie Hung | 2020-01-07 | 1 | -38/+38 |
* | | abc_exe: move 'count_outputs' check to abc | Eddie Hung | 2020-01-07 | 2 | -54/+50 |
* | | Add abc9_ops -reintegrate; moved out from now abc9_exe | Eddie Hung | 2020-01-06 | 4 | -361/+315 |
* | | abc9_map: drop padding in box connections | Eddie Hung | 2020-01-06 | 1 | -32/+35 |
* | | Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactor | Eddie Hung | 2020-01-06 | 1 | -0/+2 |
|\| |
|
| * | Merge remote-tracking branch 'origin/master' into xaig_dff | Eddie Hung | 2020-01-06 | 1 | -0/+2 |
| |\ |
|
| | * | error if multiple -g options are given for abc | N. Engelhardt | 2020-01-06 | 1 | -0/+2 |