aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
| | * | | | | | | | | | | | | | | | | | | | 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
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | |_|_|_|_|_|/ / / / / / / / / / / / / / | |/| | | | | | | | | | | | | | | | | | | synth_ice40: -abc2 to always use `abc` even if `-abc9`
| | * | | | | | | | | | | | | | | | | | | Add #1626 testcaseEddie Hung2020-01-121-0/+217
| | | | | | | | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | | | | | | synth_ice40: -abc2 to always use `abc` even if `-abc9`Eddie Hung2020-01-121-10/+10
| |/ / / / / / / / / / / / / / / / / / /
| * | | / / / / / / / / / / / / / / / / write_xaiger: create holes_sigmap before modificationsEddie Hung2020-01-111-1/+2
| | |_|/ / / / / / / / / / / / / / / / | |/| | | | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | | | | | Merge pull request #1625 from YosysHQ/eddie/abc9_mfsEddie Hung2020-01-116-86/+115
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | abc9: re-enable "&mfs" optimisation for synth_{xilinx,ecp5}
| | * | | | | | | | | | | | | | | | | | 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()
| | * | | | | | | | | | | | | | | | | | Add Pass::on_register() and Pass::on_shutdown()Clifford Wolf2020-01-093-1/+20
| | | |/ / / / / / / / / / / / / / / / | | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | | | | | | | | | | | | | Merge pull request #1624 from YosysHQ/eddie/abc9_leakEddie Hung2020-01-101-4/+2
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | |_|_|/ / / / / / / / / / / / / / / | |/| | | | | | | | | | | | | | | | | abc9: fix memory leak
| | * | | | | | | | | | | | | | | | | abc9: fix memory leakEddie Hung2020-01-101-4/+2
| |/ / / / / / / / / / / / / / / / /
| * / / / / / / / / / / / / / / / / Bump versionClifford Wolf2020-01-091-1/+1
| |/ / / / / / / / / / / / / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | | | | | | | | | | | Fix abc9_xc7.box commentsEddie Hung2020-01-071-7/+14
| | | | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | | | scc to use design->selected_modules() which avoids black/white-boxesEddie Hung2020-01-071-26/+25
| | |_|_|_|_|_|_|_|_|_|_|/ / / / | |/| | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | Bump ABCREV for upstream fixEddie Hung2020-01-111-1/+1
| | | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | write_xaiger: cleanup holes generationEddie Hung2020-01-081-80/+89
| | | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | write_xaiger: holes PIs only if whiteboxEddie Hung2020-01-081-13/+18
| | | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | Fix abc9_xc7.box commentsEddie Hung2020-01-071-7/+14
| | | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | Merge remote-tracking branch 'origin/master' into eddie/abc9_mfsEddie Hung2020-01-0730-1078/+1575
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ | | |/ / / / / / / / / / / / / / | |/| | | | | | | | | | | | | |
| * | | | | | | | | | | | | | | Bump ABCREV for upstream fixEddie Hung2020-01-071-1/+1
| | | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | | Merge pull request #1618 from YosysHQ/eddie/aiger_fixesEddie Hung2020-01-074-8/+42
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | |_|_|_|_|_|_|_|_|_|_|/ / / / | |/| | | | | | | | | | | | | | read_aiger fixes
| | * | | | | | | | | | | | | | read_aiger: consistency between ascii and binary; also name latchesEddie Hung2020-01-071-3/+9
| | | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | Add testcasesEddie Hung2020-01-072-0/+17
| | | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | tests/aiger: write Yosys outputEddie Hung2020-01-071-2/+2
| | | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | read_aiger: connect identical signals togetherEddie Hung2020-01-071-0/+1
| | | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | read_aiger: cope with latches and POs with same nameEddie Hung2020-01-071-2/+12
| | | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | read_aiger: default -clk_name to be emptyEddie Hung2020-01-071-1/+1
| |/ / / / / / / / / / / / / /
| * | | | | | | | | | | | | | Merge branch 'master' of github.com:YosysHQ/yosysEddie Hung2020-01-0626-1066/+1529
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \
| | * \ \ \ \ \ \ \ \ \ \ \ \ \ Merge pull request #1181 from YosysHQ/xaig_dffEddie Hung2020-01-0626-1066/+1529
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | | |_|_|_|_|_|_|_|_|/ / / / | | | |/| | | | | | | | | | | | "abc9 -dff" option for sequential synthesis
| | | * | | | | | | | | | | | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2020-01-067-1675/+512
| | | |\ \ \ \ \ \ \ \ \ \ \ \ \ | | | |/ / / / / / / / / / / / / | | |/| | | | | | | | | | | | |
| | | * | | | | | | | | | | | | abc9: uncomment nothing to map messageEddie Hung2020-01-061-4/+4
| | | | |_|_|_|_|_|_|_|/ / / / | | | |/| | | | | | | | | | |
| | | * | | | | | | | | | | | FixesEddie Hung2020-01-061-0/+3
| | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | FixesEddie Hung2020-01-061-3/+5
| | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | abc9: remove -markgroups option, since operates on fully selected modEddie Hung2020-01-061-22/+1
| | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | abc9: cleanupEddie Hung2020-01-061-12/+13
| | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | write_xaiger: make more robust, update docEddie Hung2020-01-061-29/+14
| | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | write_aiger: make more robustEddie Hung2020-01-061-0/+8
| | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | Add abc9.dff scratchpad optionEddie Hung2020-01-061-0/+1
| | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2020-01-062-191/+281
| | | |\ \ \ \ \ \ \ \ \ \ \ \
| | | * \ \ \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2020-01-0619-40/+69
| | | |\ \ \ \ \ \ \ \ \ \ \ \ \
| | | * | | | | | | | | | | | | | Reword (* abc9_flop *) descriptionEddie Hung2020-01-061-2/+3
| | | | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | | | Restore write_xaiger's holes_mode since port_id order causes QoREddie Hung2020-01-031-27/+19
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | regressions inside abc9
| | | * | | | | | | | | | | | | | 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
| | | | |_|_|_|_|_|_|_|_|/ / / / | | | |/| | | | | | | | | | | |
| | | * | | | | | | | | | | | | Combine tests to check multiple clock domainsEddie Hung2020-01-021-33/+10
| | | | | | | | | | | | | | | |