aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
| * | | | | | | | | 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
| |\ \ \ \ \ \ \ \ \
| * | | | | | | | | | cleanupEddie Hung2020-01-112-3/+1
| | | | | | | | | | |
| * | | | | | | | | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-110-0/+0
| |\ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-1110-116/+170
| |\ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ 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
| | | | | | | | | | | | | |
| | * | | | | | | | | | | | abc9_ops: fix reintegration by removing optimised-away boxesEddie Hung2020-01-091-56/+50
| | | | | | | | | | | | | |
| | * | | | | | | | | | | | 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
| | | | | | | | | | | | | |
| * | | | | | | | | | | | | CleanupEddie Hung2020-01-081-5/+3
| |/ / / / / / / / / / / /
| * | | | | | | | | | | | 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
| |\ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-074-6/+38
| |\ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | read_aiger fixesEddie Hung2020-01-071-5/+5
| | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | tests/aiger: write Yosys outputEddie Hung2020-01-071-2/+2
| | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | abc9_ops -reintegrate: process box connectionsEddie Hung2020-01-071-27/+134
| | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | read_aiger: do not process box connections, work standaloneEddie Hung2020-01-071-115/+46
| | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | Fix tabs and cleanupEddie Hung2020-01-071-38/+38
| | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | read_aiger: consistency between ascii and binaryEddie Hung2020-01-071-13/+7
| | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | abc_exe: move 'count_outputs' check to abcEddie Hung2020-01-072-54/+50
| | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | Merge branch 'master' into eddie/abc9_refactorEddie Hung2020-01-061-3/+3
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | Add abc9_ops -reintegrate; moved out from now abc9_exeEddie Hung2020-01-064-361/+315
| | | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | | abc9_map: drop padding in box connectionsEddie Hung2020-01-061-32/+35
| | | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | | Stray log_moduleEddie Hung2020-01-061-2/+0
| | | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | | Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactorEddie Hung2020-01-067-1675/+512
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | Revert "write_xaiger to pad, not abc9_ops -prep_holes"Eddie Hung2020-01-063-20/+58
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This reverts commit b5f60e055d07579a2d4f23fc053ca030f103f377.
| * | | | | | | | | | | | | | | | CleanupEddie Hung2020-01-061-5/+2
| | | | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | | | read_aiger: add -xaiger optionEddie Hung2020-01-061-7/+17
| | | | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | | | scc to use design->selected_modules() which avoids black/white-boxesEddie Hung2020-01-061-26/+25
| | | | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | | | Revert "scc command to ignore blackboxes"Eddie Hung2020-01-061-3/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This reverts commit 32695e5032fcaa932a67f63946ae5e2a1edc8d65.
| * | | | | | | | | | | | | | | | Fix bad mergeEddie Hung2020-01-062-59/+69
| | | | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | | | Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactorEddie Hung2020-01-068-255/+295
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | | 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
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-0240-117/+192
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactorEddie Hung2019-12-300-0/+0
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \