aboutsummaryrefslogtreecommitdiffstats
path: root/passes/techmap
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #1573 from YosysHQ/eddie/xilinx_tristateN. Engelhardt2020-01-281-1/+5
|\
| * tribuf: set scratchpad boolean 'tribuf.added_something'Eddie Hung2019-12-121-1/+5
* | abc9_ops: add commentsEddie Hung2020-01-271-1/+13
* | abc9: -reintegrate recover type from existing cell, check against boxidEddie Hung2020-01-231-30/+19
* | abc9: warning message if no modules selectedEddie Hung2020-01-231-0/+6
* | abc9_ops: -prep_xaiger to skip (* keep *) cellsEddie Hung2020-01-231-0/+2
* | abc9_ops -prep_dff: insert async s/r mux in holes when replacing $_DFF_*Eddie Hung2020-01-231-31/+37
* | alumacc: undo accidental commitEddie Hung2020-01-221-14/+5
* | Merge remote-tracking branch 'origin/eddie/abc9_fixes' into eddie/abc9_refactorEddie Hung2020-01-222-4/+6
|\ \
| * | abc9: error out if flip-flop init is 1'b1 for '-dff'Eddie Hung2020-01-221-0/+2
| * | abc9: fix scratchpad entry abc9.verifyEddie Hung2020-01-221-4/+4
* | | abc9: add some log_{push,pop}() as per @nakengelhardtEddie Hung2020-01-172-5/+19
* | | abc9_ops: -reintegrate to not trim box padding anymoreEddie Hung2020-01-141-9/+0
* | | abc9_ops/write_xaiger: update docEddie Hung2020-01-141-0/+13
* | | abc9_ops: -prep_holes -> -prep_xaiger, move padding to write_xaigerEddie Hung2020-01-142-104/+73
* | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-141-3/+3
|\| |
| * | read_aiger: make $and/$not/$lut the prefix not suffixEddie Hung2020-01-131-4/+4
* | | abc9_ops: -break_scc -> -mark_scc using (* keep *), remove -unbreak_sccEddie Hung2020-01-132-46/+20
* | | abc9_ops: ignore inouts of all cell outputs for topo orderingEddie Hung2020-01-131-2/+6
* | | abc9: break SCC by setting (* keep *) on output wiresEddie Hung2020-01-132-26/+5
* | | abc9: add -run optionEddie Hung2020-01-131-1/+14
* | | abc9: respect (* keep *) on cellsEddie Hung2020-01-131-0/+2
* | | 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-132-70/+120
|\| |
| * | MIssed this merge conflictEddie Hung2020-01-111-4/+0
| * | Merge remote-tracking branch 'origin/master' into eddie/abc9_scratchpadEddie Hung2020-01-111-12/+4
| |\ \
| * | | abc9: fix help message, found by @nakengelhardtEddie Hung2020-01-111-2/+2
| * | | Copy-pastaEddie Hung2020-01-101-1/+1
| * | | abc9: add abc9.verify and abc9.debug optionsEddie Hung2020-01-101-1/+13
| * | | abc9: fix typosEddie Hung2020-01-101-4/+4
| * | | 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-091-0/+37
| * | | 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-081-25/+9
* | | | cleanupEddie Hung2020-01-111-2/+0
* | | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-112-92/+94
|\ \ \ \ | | |/ / | |/| |
| * | | abc9: remove -nomfs optionEddie Hung2020-01-111-12/+2
| * | | abc9: fix memory leakEddie Hung2020-01-101-4/+2
| |/ /
* | | Merge branch 'eddie/abc9_refactor' of github.com:YosysHQ/yosys into eddie/abc...Eddie Hung2020-01-113-101/+88
|\ \ \
| * | | abc9: cleanupEddie Hung2020-01-113-45/+38
| * | | abc9_ops: fix reintegration by removing optimised-away boxesEddie Hung2020-01-091-56/+50
* | | | CleanupEddie Hung2020-01-081-5/+3
|/ / /
* | | Fix abc9 help, add labelsEddie Hung2020-01-081-58/+71