aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/eddie/abc9_refactor' into ↵Eddie Hung2020-01-1211-156/+198
|\ | | | | | | eddie/abc9_required
| * 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
| | |\ | | | | | | | | 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>
| | | * 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
| | | |\
| | | * | Add testcase from #1459Eddie Hung2020-01-061-0/+25
| | | | |
| | | * | Re-enable &mfs for synth_{ecp5,xilinx}Eddie Hung2020-01-062-3/+2
| | | | |
| | | * | Bump ABCREVEddie Hung2020-01-061-1/+1
| | | | |
| * | | | Merge branch 'eddie/abc9_refactor' of github.com:YosysHQ/yosys into ↵Eddie Hung2020-01-114-109/+92
| |\ \ \ \ | | | | | | | | | | | | | | | | | | eddie/abc9_refactor
| | * | | | abc9: cleanupEddie Hung2020-01-113-45/+38
| | | | | |
| * | | | | CleanupEddie Hung2020-01-081-5/+3
| | | | | |
* | | | | | log_debug() for abc9_{arrival,required} timesEddie Hung2020-01-102-1/+15
| | | | | |
* | | | | | Add abc9_required to DSP48E1.{A,B,C,D,PCIN}Eddie Hung2020-01-101-38/+117
| | | | | |
* | | | | | abc9_ops -prep_times: generate flop boxes from abc9_required attrEddie Hung2020-01-102-78/+67
| | | | | |
* | | | | | abc9_ops -prep_times: update commentEddie Hung2020-01-101-3/+4
| | | | | |
* | | | | | Add abc9_ops -check, -prep_times, -write_box for required timesEddie Hung2020-01-103-75/+256
| | | | | |
* | | | | | abc9_exe: -box to not require -lutEddie Hung2020-01-091-9/+4
| | | | | |
* | | | | | write_xaiger: cleanupEddie Hung2020-01-091-17/+15
| | | | | |
* | | | | | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into ↵Eddie Hung2020-01-091-56/+50
|\ \ \ \ \ \ | | |/ / / / | |/| | | | | | | | | | eddie/abc9_required
| * | | | | abc9_ops: fix reintegration by removing optimised-away boxesEddie Hung2020-01-091-56/+50
| | | | | |
* | | | | | write_xaiger: cope with abc9_arrival as string of intsEddie Hung2020-01-091-8/+21
| | | | | |
* | | | | | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into ↵Eddie Hung2020-01-091-8/+4
|\| | | | | | | | | | | | | | | | | | | | | | | eddie/abc9_required
| * | | | | read_aiger: more accurate debug messageEddie Hung2020-01-091-2/+4
| | | | | |
| * | | | | read_aiger: do not double-count outputs for flopsEddie Hung2020-01-091-6/+0
| |/ / / /
* | | | | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into ↵Eddie Hung2020-01-0821-3009/+1975
|\| | | | | | | | | | | | | | | | | | | eddie/abc9_required
| * | | | Fix abc9 help, add labelsEddie Hung2020-01-081-58/+71
| | | | |
| * | | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-071-7/+14
| |\| | |
| | * | | 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
| | | |/ | | |/|
| * | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-074-6/+38
| |\| |
| | * | 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
| | | | |