aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* 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
|\
| * 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
| | |\
| * | | Fix DSP48E1 simEddie 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
|\ \ \ | | |/ | |/|
| * | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2020-01-067-1675/+512
| |\|
| | * Merge pull request #1617 from YosysHQ/eddie/abc9_dsp_refactorEddie Hung2020-01-066-1654/+508
| | |\
| | | * Wrap arrival functions inside `YOSYS tooEddie Hung2020-01-061-0/+2
| | | * Fix return value of arrival time functions, fix wordEddie Hung2020-01-061-18/+14
| | | * Bump ABCREV for upstream fixEddie Hung2020-01-061-1/+1
| | | * Drive $[ABCD] explicitlyEddie Hung2020-01-021-15/+21
| | | * Merge remote-tracking branch 'origin/master' into eddie/abc9_dsp_refactorEddie Hung2020-01-0215-58/+83
| | | |\
| | | * | ifndef __ICARUS__ -> ifdef YOSYSEddie Hung2020-01-011-2/+2
| | | * | Rework abc9's DSP48E1 modelEddie Hung2020-01-015-1656/+506
| | * | | Merge pull request #1616 from nakengelhardt/abc_scratchpad_arg_warnEddie Hung2020-01-061-0/+2
| | |\ \ \
| | | * | | error if multiple -g options are given for abcN. Engelhardt2020-01-061-0/+2
| | |/ / /
| * | | | abc9: uncomment nothing to map messageEddie Hung2020-01-061-4/+4
* | | | | Revert "write_xaiger to pad, not abc9_ops -prep_holes"Eddie Hung2020-01-063-20/+58
* | | | | 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
* | | | | Fix bad mergeEddie Hung2020-01-062-59/+69
* | | | | Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactorEddie Hung2020-01-068-255/+295
|\| | | |
| * | | | 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 pull request #1582 from nakengelhardt/abc_scratchpad_scriptEddie Hung2020-01-062-191/+281
| | |\ \ \
| | | * | | check scratchpad for arguments in abc pass tooN. Engelhardt2020-01-061-157/+214
| | | * | | inherit default values when checking scratchpad for argumentsN. Engelhardt2020-01-061-27/+10
| | | * | | share codepath for scratchpad argument handling with command argumentsN. Engelhardt2020-01-031-40/+84
| | | * | | Merge branch 'master' of https://github.com/YosysHQ/yosys into abc_scratchpad...N. Engelhardt2020-01-03122-694/+4372
| | | |\ \ \
| | | * | | | check scratchpad variable abc9.scriptfileN. Engelhardt2019-12-171-0/+2
| | | * | | | check scratchpad variables for custom abc scriptsN. Engelhardt2019-12-132-0/+4
| * | | | | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2020-01-0619-40/+69
| |\| | | | |
| | * | | | | Merge pull request #1611 from YosysHQ/mmicko/wrapcarry_fixMiodrag Milanović2020-01-051-0/+2
| | |\ \ \ \ \ | | | |_|/ / / | | |/| | | |
| | | * | | | Valid to have attribute starting with SB_CARRY.Miodrag Milanovic2020-01-041-0/+2
| | |/ / / /