aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* abc9_ops: ignore inouts of all cell outputs for topo orderingEddie Hung2020-01-131-2/+6
* 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-134-35/+23
* abc9: add -run optionEddie Hung2020-01-131-1/+14
* abc9: respect (* keep *) on cellsEddie Hung2020-01-133-61/+86
* write_xaiger: add support and test for (* keep *) on wiresEddie Hung2020-01-132-7/+30
* write_xaiger: cache arrival timesEddie Hung2020-01-131-11/+17
* abc9: log which module is being operated onEddie Hung2020-01-132-5/+3
* Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-139-91/+419
|\
| * Merge pull request #1620 from YosysHQ/eddie/abc9_scratchpadEddie Hung2020-01-136-36/+147
| |\
| | * Another conflictEddie Hung2020-01-111-1/+0
| | * MIssed this merge conflictEddie Hung2020-01-111-4/+0
| | * Merge remote-tracking branch 'origin/master' into eddie/abc9_scratchpadEddie Hung2020-01-115-86/+118
| | |\
| | * | abc9: fix help message, found by @nakengelhardtEddie Hung2020-01-111-2/+2
| | * | Copy-pastaEddie Hung2020-01-101-1/+1
| | * | synth_xilinx: synth_xilinx.abc9.xc7.W to replace XC7_WIRE_DELAY macroEddie Hung2020-01-101-4/+11
| | * | abc9: add abc9.verify and abc9.debug optionsEddie Hung2020-01-101-1/+13
| | * | abc9: fix typosEddie Hung2020-01-101-4/+4
| | * | Add abc9 sanity testEddie Hung2020-01-091-0/+40
| | * | Tune abc9.script.flowEddie Hung2020-01-091-6/+14
| | * | Add '-v' to &if for abc9.script.default.fastEddie Hung2020-01-091-1/+1
| | * | abc9: start post-fix with semicolonEddie Hung2020-01-091-1/+1
| | * | abc9.script.* constpad entries to start with '+'Eddie Hung2020-01-091-8/+8
| | * | Revert "abc9: if -script value is a file, then source it, otherwise commands"Eddie Hung2020-01-091-16/+11
| | * | Move abc9.* constpad entries to Abc9Pass::on_register()Eddie Hung2020-01-092-35/+37
| | * | Merge remote-tracking branch 'origin/clifford/onpassreg' into eddie/abc9_scra...Eddie Hung2020-01-093-1/+20
| | |\ \
| | * | | Add abc9.if.script.flow{,2} to constpadEddie Hung2020-01-081-6/+32
| | * | | scratchpad entry abc9.if.R to &if -REddie Hung2020-01-081-0/+6
| | * | | abc9: if -script value is a file, then source it, otherwise commandsEddie Hung2020-01-081-11/+16
| | * | | abc9: add time as last script commandEddie Hung2020-01-081-1/+1
| | * | | Fix {C} substitutionEddie Hung2020-01-081-1/+4
| | * | | Add RTLIL::constpad, init by yosys_setup(); use for abc9Eddie Hung2020-01-085-32/+39
| * | | | Merge pull request #1627 from YosysHQ/eddie/fix1626Eddie Hung2020-01-132-10/+227
| |\ \ \ \
| | * | | | Add #1626 testcaseEddie Hung2020-01-121-0/+217
| | * | | | synth_ice40: -abc2 to always use `abc` even if `-abc9`Eddie Hung2020-01-121-10/+10
| |/ / / /
* | | | | cleanupEddie Hung2020-01-112-3/+1
* | | | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-110-0/+0
|\| | | |
| * | | | write_xaiger: create holes_sigmap before modificationsEddie Hung2020-01-111-1/+2
| | |_|/ | |/| |
* | | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-1110-116/+170
|\| | |
| * | | Merge pull request #1625 from YosysHQ/eddie/abc9_mfsEddie Hung2020-01-116-86/+115
| |\ \ \
| | * | | write_xaiger: sort holes by offset as well as port_idEddie Hung2020-01-111-1/+2
| | * | | abc9: remove -nomfs optionEddie Hung2020-01-111-12/+2
| | * | | Merge remote-tracking branch 'origin/master' into eddie/abc9_mfsEddie Hung2020-01-116-32/+48
| | |\ \ \ | | |/ / / | |/| | |
| * | | | Merge pull request #1622 from YosysHQ/clifford/onpassregEddie Hung2020-01-113-1/+20
| |\ \ \ \ | | | |_|/ | | |/| |
| | * | | Add Pass::on_register() and Pass::on_shutdown()Clifford Wolf2020-01-093-1/+20
| | | |/ | | |/|
| * | | Merge pull request #1624 from YosysHQ/eddie/abc9_leakEddie Hung2020-01-101-4/+2
| |\ \ \
| | * | | abc9: fix memory leakEddie Hung2020-01-101-4/+2
| |/ / /
| * / / Bump versionClifford Wolf2020-01-091-1/+1
| |/ /
| | * Bump ABCREV for upstream fixEddie Hung2020-01-111-1/+1
| | * write_xaiger: cleanup holes generationEddie Hung2020-01-081-80/+89
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-20 13:11:43 +0000