| Commit message (Expand) | Author | Age | Files | Lines |
* | abc9_ops: -reintegrate to use derived_type for box_ports | Eddie Hung | 2020-02-05 | 1 | -1/+1 |
* | abc9_ops: -check for negative arrival/required times | Eddie Hung | 2020-01-27 | 1 | -4/+22 |
* | Merge branch 'eddie/abc9_refactor' into eddie/abc9_required | Eddie Hung | 2020-01-27 | 1 | -75/+105 |
|\ |
|
| * | abc9_ops: add comments | Eddie Hung | 2020-01-27 | 1 | -1/+13 |
| * | abc9: -reintegrate recover type from existing cell, check against boxid | Eddie Hung | 2020-01-23 | 1 | -30/+19 |
| * | abc9_ops: -prep_xaiger to skip (* keep *) cells | Eddie Hung | 2020-01-23 | 1 | -0/+2 |
| * | abc9_ops -prep_dff: insert async s/r mux in holes when replacing $_DFF_* | Eddie Hung | 2020-01-23 | 1 | -31/+37 |
| * | Merge remote-tracking branch 'origin/eddie/abc9_fixes' into eddie/abc9_refactor | Eddie Hung | 2020-01-22 | 1 | -0/+2 |
* | | abc9_ops: -write_box is empty, output a dummy box to prevent ABC error | Eddie Hung | 2020-01-15 | 1 | -0/+3 |
* | | 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 | 1 | -8/+20 |
* | | 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 | 1 | -167/+121 |
|\| |
|
| * | 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 | 1 | -102/+71 |
| * | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor | Eddie Hung | 2020-01-14 | 1 | -3/+3 |
| * | abc9_ops: -break_scc -> -mark_scc using (* keep *), remove -unbreak_scc | Eddie Hung | 2020-01-13 | 1 | -41/+18 |
| * | 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 | 1 | -25/+4 |
| * | abc9: respect (* keep *) on cells | Eddie Hung | 2020-01-13 | 1 | -0/+2 |
* | | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req... | Eddie Hung | 2020-01-12 | 1 | -105/+110 |
|\| |
|
| * | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor | Eddie Hung | 2020-01-11 | 1 | -91/+91 |
| * | abc9: cleanup | Eddie Hung | 2020-01-11 | 1 | -20/+28 |
* | | 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 |
* | | abc9_ops -prep_times: update comment | Eddie Hung | 2020-01-10 | 1 | -3/+4 |
* | | Add abc9_ops -check, -prep_times, -write_box for required times | Eddie Hung | 2020-01-10 | 1 | -67/+233 |
|/ |
|
* | abc9_ops: fix reintegration by removing optimised-away boxes | Eddie Hung | 2020-01-09 | 1 | -56/+50 |
* | 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 |
* | Add abc9_ops -reintegrate; moved out from now abc9_exe | Eddie Hung | 2020-01-06 | 1 | -2/+284 |
* | Revert "write_xaiger to pad, not abc9_ops -prep_holes" | Eddie Hung | 2020-01-06 | 1 | -0/+39 |
* | write_xaiger to pad, not abc9_ops -prep_holes | Eddie Hung | 2020-01-05 | 1 | -39/+0 |
* | Fix when -dff not given | Eddie Hung | 2020-01-04 | 1 | -42/+43 |
* | Call -prep_holes before aigmap; fix topo ordering | Eddie Hung | 2020-01-03 | 1 | -40/+15 |
* | WIP | Eddie Hung | 2020-01-03 | 1 | -2/+0 |
* | Preserve topo ordering from -prep_holes to write_xaiger | Eddie Hung | 2020-01-03 | 1 | -0/+1 |
* | WIP | Eddie Hung | 2020-01-03 | 1 | -13/+35 |
* | Remove a few log_{push,pop}() | Eddie Hung | 2020-01-02 | 1 | -1/+0 |
* | Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactor | Eddie Hung | 2020-01-02 | 1 | -28/+34 |
* | abc9_ops -prep_dff cope with lack of holes module | Eddie Hung | 2019-12-30 | 1 | -38/+38 |
* | Rename struct | Eddie Hung | 2019-12-30 | 1 | -3/+3 |
* | Move Pass::call() out of abc9_ops into abc9 | Eddie Hung | 2019-12-30 | 1 | -66/+47 |