aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | | CleanupEddie Hung2020-01-021-2/+1
| * | | | | Fix spacingEddie Hung2020-01-021-1/+1
| * | | | | write_xaiger: get rid of external_bits dictEddie Hung2020-01-021-1/+1
* | | | | | Revert ABCREVEddie Hung2020-01-061-1/+1
* | | | | | write_xaiger to pad, not abc9_ops -prep_holesEddie Hung2020-01-053-58/+20
* | | | | | CleanupEddie Hung2020-01-041-30/+16
* | | | | | Fix when -dff not givenEddie Hung2020-01-044-73/+59
* | | | | | Call -prep_holes before aigmap; fix topo orderingEddie Hung2020-01-033-53/+18
* | | | | | WIPEddie Hung2020-01-033-63/+7
* | | | | | Preserve topo ordering from -prep_holes to write_xaigerEddie Hung2020-01-033-164/+79
* | | | | | WIPEddie Hung2020-01-033-81/+48
* | | | | | WIPEddie Hung2020-01-032-30/+148
* | | | | | Remove a few log_{push,pop}()Eddie Hung2020-01-022-8/+0
* | | | | | aigmap everythingEddie Hung2020-01-021-1/+1
* | | | | | scc command to ignore blackboxesEddie Hung2020-01-021-3/+3
* | | | | | Move scc operations out of inner loopEddie Hung2020-01-021-8/+4
* | | | | | CleanupEddie Hung2020-01-021-2/+1
* | | | | | Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactorEddie Hung2020-01-0222-1059/+981
|\| | | | |
| * | | | | Combine tests to check multiple clock domainsEddie Hung2020-01-021-33/+10
| * | | | | synth_xilinx -dff to work with abc tooEddie Hung2020-01-021-6/+14
| * | | | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2020-01-0227-92/+160
| |\ \ \ \ \ | | | |_|_|/ | | |/| | |
| * | | | | Add 'abc9 -dff' to CHANGELOGEddie Hung2020-01-021-0/+1
| * | | | | Update docEddie Hung2020-01-021-4/+4
| * | | | | Update commentsEddie Hung2020-01-021-11/+6
| * | | | | abc9 -keepff -> -dff; refactor dff operationsEddie Hung2020-01-024-166/+135
| * | | | | Clamp -46ps for FDPE* tooEddie Hung2020-01-011-2/+2
| * | | | | Get rid of (* abc9_keep *) in write_xaiger tooEddie Hung2020-01-011-15/+18
| * | | | | Cleanup abc9, update doc for -keepff optionEddie Hung2020-01-011-6/+5
| * | | | | Restore abc9 -keepffEddie Hung2020-01-014-128/+46
| * | | | | attributes.count() -> get_bool_attribute()Eddie Hung2020-01-012-3/+3
| * | | | | Re-arrange FD orderEddie Hung2019-12-313-182/+182
| * | | | | Missing characterEddie Hung2019-12-311-1/+1
| * | | | | Cleanup xilinx boxesEddie Hung2019-12-312-391/+425
| * | | | | Cleanup ice40 boxesEddie Hung2019-12-313-30/+43
| * | | | | Cleanup ecp5 boxesEddie Hung2019-12-314-35/+31
| * | | | | parse_xaiger to not take box_lookupEddie Hung2019-12-314-63/+37
| * | | | | parse_xaiger to reorder ports tooEddie Hung2019-12-311-41/+26
| * | | | | Add some abc9 dff testsEddie Hung2019-12-311-0/+55
| * | | | | Do not re-order carry chain ports, just precompute iteration orderEddie Hung2019-12-312-44/+32
| * | | | | Update abc9_xc7.box commentsEddie Hung2019-12-311-18/+18
| * | | | | FDCE ports to be alphabeticalEddie Hung2019-12-311-3/+3
| * | | | | Fix attributes on $__ABC9_ASYNC[01] whiteboxEddie Hung2019-12-311-2/+2
| * | | | | Fix incorrect $__ABC9_ASYNC[01] boxEddie Hung2019-12-311-2/+2
| * | | | | write_xaiger: be more precise with ff_bits, remove ff_aig_mapEddie Hung2019-12-311-21/+19
| * | | | | Retry getting rid of write_xaiger's holes_modeEddie Hung2019-12-311-81/+41
| * | | | | Revert "Get rid of holes_mode"Eddie Hung2019-12-301-35/+70
* | | | | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-0240-117/+192
|\ \ \ \ \ \ | | |_|/ / / | |/| | | |
| * | | | | Merge pull request #1604 from whitequark/unify-ram-namingwhitequark2020-01-0218-40/+67
| |\ \ \ \ \ | | |_|/ / / | |/| | | |
| | * | | | Harmonize BRAM/LUTRAM descriptions across all of Yosys.whitequark2020-01-0118-40/+67
| * | | | | Merge pull request #1609 from YosysHQ/clifford/fix1596Clifford Wolf2020-01-021-4/+25
| |\ \ \ \ \