aboutsummaryrefslogtreecommitdiffstats
path: root/backends
Commit message (Expand)AuthorAgeFilesLines
* Revert "abc9: fix abc9_arrival for flops"Eddie Hung2020-02-141-5/+2
* write_xaiger: default value for abc9_initEddie Hung2020-02-131-1/+1
* abc9: fix abc9_arrival for flopsEddie Hung2020-02-131-2/+5
* json: Change compat mode to directly emit ints <= 32 bitsR. Ou2020-02-091-3/+3
* Merge pull request #1683 from whitequark/write_verilog-memattrswhitequark2020-02-071-0/+1
|\
| * write_verilog: dump $mem cell attributes.whitequark2020-02-061-0/+1
* | edif: more resilience to mismatched port connection sizes.Marcin Kościelnicki2020-02-061-16/+27
|/
* Merge pull request #1661 from YosysHQ/eddie/abc9_requiredEddie Hung2020-02-051-17/+42
|\
| * Merge branch 'eddie/abc9_refactor' into eddie/abc9_requiredEddie Hung2020-01-272-3/+5
| |\
| * \ Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req...Eddie Hung2020-01-151-1/+2
| |\ \
| * | | abc9_ops: cope with (* abc9_flop *) in place of (* abc9_box_id *)Eddie Hung2020-01-141-1/+1
| * | | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req...Eddie Hung2020-01-141-2/+6
| |\ \ \
| * | | | abc9_ops: generate flop box ids, add abc9_required to FD* cellsEddie Hung2020-01-141-1/+5
| * | | | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req...Eddie Hung2020-01-141-1/+1
| |\ \ \ \
| * | | | | write_xaiger: skip if no arrival timesEddie Hung2020-01-141-0/+3
| * | | | | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req...Eddie Hung2020-01-142-94/+145
| |\ \ \ \ \
| * \ \ \ \ \ Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req...Eddie Hung2020-01-121-19/+28
| |\ \ \ \ \ \
| * | | | | | | log_debug() for abc9_{arrival,required} timesEddie Hung2020-01-101-0/+8
| * | | | | | | write_xaiger: cleanupEddie Hung2020-01-091-17/+15
| * | | | | | | write_xaiger: cope with abc9_arrival as string of intsEddie Hung2020-01-091-8/+21
* | | | | | | | json: remove the 32-bit parameter special caseMarcin Kościelnicki2020-02-011-10/+28
* | | | | | | | Preserve wires with keep attribute in EDIF back-endClaire Wolf2020-01-291-9/+34
* | | | | | | | Merge pull request #1619 from YosysHQ/eddie/abc9_refactorEddie Hung2020-01-271-363/+192
|\ \ \ \ \ \ \ \ | | |_|_|_|_|_|/ | |/| | | | | |
| * | | | | | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-211-0/+2
| |\ \ \ \ \ \ \
| * | | | | | | | write_xaiger: fix for (* keep *) on flop outputEddie Hung2020-01-211-3/+3
| | |_|_|_|_|_|/ | |/| | | | | |
| * | | | | | | write_xaiger: skip abc9_flop only if abc_box_seq presentEddie Hung2020-01-151-1/+2
| | |_|_|_|_|/ | |/| | | | |
| * | | | | | write_xaiger: do not export flop inputs as POsEddie Hung2020-01-141-2/+6
| | |_|_|_|/ | |/| | | |
| * | | | | abc9_ops: -reintegrate to not trim box padding anymoreEddie Hung2020-01-141-1/+1
| | |_|_|/ | |/| | |
| * | | | abc9_ops/write_xaiger: update docEddie Hung2020-01-141-1/+2
| * | | | abc9_ops: -prep_holes -> -prep_xaiger, move padding to write_xaigerEddie Hung2020-01-141-3/+6
| * | | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-141-25/+37
| |\ \ \ \
| * | | | | write_xaiger: fix case of PI and CI and (* keep *)Eddie Hung2020-01-131-0/+5
| * | | | | abc9: break SCC by setting (* keep *) on output wiresEddie Hung2020-01-131-8/+15
| * | | | | abc9: respect (* keep *) on cellsEddie Hung2020-01-131-61/+69
| * | | | | write_xaiger: add support and test for (* keep *) on wiresEddie Hung2020-01-131-7/+17
| * | | | | write_xaiger: cache arrival timesEddie Hung2020-01-131-11/+17
| | |_|_|/ | |/| | |
| * | | | cleanupEddie Hung2020-01-111-1/+1
| * | | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-111-18/+27
| |\ \ \ \ | | |_|_|/ | |/| | |
| * | | | Stray log_moduleEddie Hung2020-01-061-2/+0
| * | | | Revert "write_xaiger to pad, not abc9_ops -prep_holes"Eddie Hung2020-01-061-16/+10
| * | | | Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactorEddie Hung2020-01-062-56/+41
| |\ \ \ \
| * | | | | write_xaiger to pad, not abc9_ops -prep_holesEddie Hung2020-01-051-10/+16
| * | | | | Fix when -dff not givenEddie Hung2020-01-041-14/+10
| * | | | | Call -prep_holes before aigmap; fix topo orderingEddie Hung2020-01-031-8/+1
| * | | | | WIPEddie Hung2020-01-031-56/+0
| * | | | | Preserve topo ordering from -prep_holes to write_xaigerEddie Hung2020-01-031-159/+77
| * | | | | WIPEddie Hung2020-01-031-67/+8
| * | | | | WIPEddie Hung2020-01-031-23/+141
| * | | | | Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactorEddie Hung2020-01-021-145/+128
| |\ \ \ \ \
| * | | | | | Move Pass::call() out of abc9_ops into abc9Eddie Hung2019-12-301-0/+4
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-28 04:51:54 +0000