| Commit message (Expand) | Author | Age | Files | Lines |
* | abc9_ops: -write_box is empty, output a dummy box to prevent ABC error | Eddie Hung | 2020-01-15 | 2 | -2/+4 |
* | abc9_ops: cope with (* abc9_flop *) in place of (* abc9_box_id *) | Eddie Hung | 2020-01-14 | 1 | -2/+2 |
* | abc9_ops: -check to check abc9_{arrival,required} | Eddie Hung | 2020-01-14 | 1 | -3/+30 |
* | abc9_ops: implement a requireds_cache | Eddie Hung | 2020-01-14 | 1 | -26/+34 |
* | abc9_ops: generate flop box ids, add abc9_required to FD* cells | Eddie Hung | 2020-01-14 | 1 | -65/+56 |
* | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req... | Eddie Hung | 2020-01-14 | 1 | -9/+0 |
|\ |
|
| * | abc9_ops: -reintegrate to not trim box padding anymore | Eddie Hung | 2020-01-14 | 1 | -9/+0 |
* | | abc9_ops: fix -reintegrate handling of $__ABC9_DELAY | Eddie Hung | 2020-01-14 | 1 | -2/+3 |
* | | abc9_ops: -prep_times -> -prep_delays; add doc | Eddie Hung | 2020-01-14 | 2 | -11/+23 |
* | | abc9_ops: cleanup | Eddie Hung | 2020-01-14 | 1 | -14/+5 |
* | | abc9_ops: discard $__ABC9_DELAY boxes | Eddie Hung | 2020-01-14 | 1 | -7/+2 |
* | | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req... | Eddie Hung | 2020-01-14 | 3 | -241/+258 |
|\| |
|
| * | 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 | 1 | -3/+3 |
| |\ |
|
| | * | 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 | 2 | -70/+120 |
| |\| |
|
| | * | 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 | 1 | -25/+9 |
* | | | | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req... | Eddie Hung | 2020-01-12 | 3 | -131/+121 |
|\| | | |
|
| * | | | 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 |
| | |/ |
|
| * | | 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 |
| * | | | Cleanup | Eddie Hung | 2020-01-08 | 1 | -5/+3 |
* | | | | log_debug() for abc9_{arrival,required} times | Eddie Hung | 2020-01-10 | 1 | -1/+7 |
* | | | | abc9_ops -prep_times: generate flop boxes from abc9_required attr | Eddie Hung | 2020-01-10 | 1 | -17/+67 |