Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge pull request #1661 from YosysHQ/eddie/abc9_required | Eddie Hung | 2020-02-05 | 1 | -17/+42 |
|\ | |||||
| * | Merge branch 'eddie/abc9_refactor' into eddie/abc9_required | Eddie Hung | 2020-01-27 | 2 | -3/+5 |
| |\ | |||||
| * \ | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req... | Eddie Hung | 2020-01-15 | 1 | -1/+2 |
| |\ \ | |||||
| * | | | abc9_ops: cope with (* abc9_flop *) in place of (* abc9_box_id *) | Eddie Hung | 2020-01-14 | 1 | -1/+1 |
| * | | | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req... | Eddie Hung | 2020-01-14 | 1 | -2/+6 |
| |\ \ \ | |||||
| * | | | | abc9_ops: generate flop box ids, add abc9_required to FD* cells | Eddie Hung | 2020-01-14 | 1 | -1/+5 |
| * | | | | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req... | Eddie Hung | 2020-01-14 | 1 | -1/+1 |
| |\ \ \ \ | |||||
| * | | | | | write_xaiger: skip if no arrival times | Eddie Hung | 2020-01-14 | 1 | -0/+3 |
| * | | | | | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req... | Eddie Hung | 2020-01-14 | 2 | -94/+145 |
| |\ \ \ \ \ | |||||
| * \ \ \ \ \ | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req... | Eddie Hung | 2020-01-12 | 1 | -19/+28 |
| |\ \ \ \ \ \ | |||||
| * | | | | | | | log_debug() for abc9_{arrival,required} times | Eddie Hung | 2020-01-10 | 1 | -0/+8 |
| * | | | | | | | write_xaiger: cleanup | Eddie Hung | 2020-01-09 | 1 | -17/+15 |
| * | | | | | | | write_xaiger: cope with abc9_arrival as string of ints | Eddie Hung | 2020-01-09 | 1 | -8/+21 |
* | | | | | | | | json: remove the 32-bit parameter special case | Marcin KoĆcielnicki | 2020-02-01 | 1 | -10/+28 |
* | | | | | | | | Preserve wires with keep attribute in EDIF back-end | Claire Wolf | 2020-01-29 | 1 | -9/+34 |
* | | | | | | | | Merge pull request #1619 from YosysHQ/eddie/abc9_refactor | Eddie Hung | 2020-01-27 | 1 | -363/+192 |
|\ \ \ \ \ \ \ \ | | |_|_|_|_|_|/ | |/| | | | | | | |||||
| * | | | | | | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor | Eddie Hung | 2020-01-21 | 1 | -0/+2 |
| |\ \ \ \ \ \ \ | |||||
| * | | | | | | | | write_xaiger: fix for (* keep *) on flop output | Eddie Hung | 2020-01-21 | 1 | -3/+3 |
| | |_|_|_|_|_|/ | |/| | | | | | | |||||
| * | | | | | | | write_xaiger: skip abc9_flop only if abc_box_seq present | Eddie Hung | 2020-01-15 | 1 | -1/+2 |
| | |_|_|_|_|/ | |/| | | | | | |||||
| * | | | | | | write_xaiger: do not export flop inputs as POs | Eddie Hung | 2020-01-14 | 1 | -2/+6 |
| | |_|_|_|/ | |/| | | | | |||||
| * | | | | | abc9_ops: -reintegrate to not trim box padding anymore | Eddie Hung | 2020-01-14 | 1 | -1/+1 |
| | |_|_|/ | |/| | | | |||||
| * | | | | abc9_ops/write_xaiger: update doc | Eddie Hung | 2020-01-14 | 1 | -1/+2 |
| * | | | | abc9_ops: -prep_holes -> -prep_xaiger, move padding to write_xaiger | Eddie Hung | 2020-01-14 | 1 | -3/+6 |
| * | | | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor | Eddie Hung | 2020-01-14 | 1 | -25/+37 |
| |\ \ \ \ | |||||
| * | | | | | write_xaiger: fix case of PI and CI and (* keep *) | Eddie Hung | 2020-01-13 | 1 | -0/+5 |
| * | | | | | abc9: break SCC by setting (* keep *) on output wires | Eddie Hung | 2020-01-13 | 1 | -8/+15 |
| * | | | | | abc9: respect (* keep *) on cells | Eddie Hung | 2020-01-13 | 1 | -61/+69 |
| * | | | | | write_xaiger: add support and test for (* keep *) on wires | Eddie Hung | 2020-01-13 | 1 | -7/+17 |
| * | | | | | write_xaiger: cache arrival times | Eddie Hung | 2020-01-13 | 1 | -11/+17 |
| | |_|_|/ | |/| | | | |||||
| * | | | | cleanup | Eddie Hung | 2020-01-11 | 1 | -1/+1 |
| * | | | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor | Eddie Hung | 2020-01-11 | 1 | -18/+27 |
| |\ \ \ \ | | |_|_|/ | |/| | | | |||||
| * | | | | Stray log_module | Eddie Hung | 2020-01-06 | 1 | -2/+0 |
| * | | | | Revert "write_xaiger to pad, not abc9_ops -prep_holes" | Eddie Hung | 2020-01-06 | 1 | -16/+10 |
| * | | | | Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactor | Eddie Hung | 2020-01-06 | 2 | -56/+41 |
| |\ \ \ \ | |||||
| * | | | | | write_xaiger to pad, not abc9_ops -prep_holes | Eddie Hung | 2020-01-05 | 1 | -10/+16 |
| * | | | | | Fix when -dff not given | Eddie Hung | 2020-01-04 | 1 | -14/+10 |
| * | | | | | Call -prep_holes before aigmap; fix topo ordering | Eddie Hung | 2020-01-03 | 1 | -8/+1 |
| * | | | | | WIP | Eddie Hung | 2020-01-03 | 1 | -56/+0 |
| * | | | | | Preserve topo ordering from -prep_holes to write_xaiger | Eddie Hung | 2020-01-03 | 1 | -159/+77 |
| * | | | | | WIP | Eddie Hung | 2020-01-03 | 1 | -67/+8 |
| * | | | | | WIP | Eddie Hung | 2020-01-03 | 1 | -23/+141 |
| * | | | | | Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactor | Eddie Hung | 2020-01-02 | 1 | -145/+128 |
| |\ \ \ \ \ | |||||
| * | | | | | | Move Pass::call() out of abc9_ops into abc9 | Eddie Hung | 2019-12-30 | 1 | -0/+4 |
| * | | | | | | Cleanup | Eddie Hung | 2019-12-30 | 1 | -7/+3 |
| * | | | | | | Rid unnecessary if | Eddie Hung | 2019-12-30 | 1 | -13/+11 |
| * | | | | | | Get rid of holes_mode | Eddie Hung | 2019-12-30 | 1 | -70/+35 |
| * | | | | | | Add abc9_ops -prep_holes | Eddie Hung | 2019-12-30 | 1 | -132/+8 |
* | | | | | | | Improve yosys-smtbmc "solver not found" handling | Claire Wolf | 2020-01-27 | 1 | -1/+5 |
| |_|_|_|_|/ |/| | | | | | |||||
* | | | | | | Merge pull request #1629 from YosysHQ/mwk/edif-z | Claire Wolf | 2020-01-21 | 1 | -0/+2 |
|\ \ \ \ \ \ | |_|_|_|_|/ |/| | | | | | |||||
| * | | | | | edif: Just ignore connections to 'z | Marcin KoĆcielnicki | 2020-01-13 | 1 | -0/+2 |