aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Split ABC9 based on clocking only, add "abc_mergeability" attr for enEddie Hung2019-09-271-88/+28
* Fix infinite recursionEddie Hung2019-09-271-1/+1
* Add -select option to aigmapEddie Hung2019-09-271-6/+40
* Fix typoEddie Hung2019-09-271-1/+1
* Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-09-27174-2210/+26289
|\
| * Fix _TECHMAP_REMOVEINIT_ handling.Marcin Kościelnicki2019-09-272-15/+29
| * Merge pull request #1409 from YosysHQ/mmicko/fix_getopt_differenceMiodrag Milanović2019-09-271-1/+1
| |\
| | * Change order of parameters, to work on other osMiodrag Milanovic2019-09-271-1/+1
| * | Merge pull request #1404 from YosysHQ/fix_gzip_macosClifford Wolf2019-09-271-3/+11
| |\ \ | | |/ | |/|
| | * Make read/write gzip files on macos works, fixes #1357Miodrag Milanovic2019-09-261-3/+11
| * | Missing an '&'Eddie Hung2019-09-261-1/+1
| |/
| * Merge pull request #1401 from SergeyDegtyar/SergeyDegtyar/ice40Eddie Hung2019-09-252-19/+14
| |\
| | * Change sync controls to async.SergeyDegtyar2019-09-252-8/+8
| | * adffs test update (equiv_opt -multiclock).SergeyDegtyar2019-09-242-18/+13
| * | Merge pull request #1402 from YosysHQ/clifford/portlistClifford Wolf2019-09-252-0/+94
| |\ \
| | * | Improve "portlist" commandClifford Wolf2019-09-251-9/+26
| | * | Add "portlist" commandClifford Wolf2019-09-242-0/+77
| |/ /
| * | Merge pull request #1399 from nakengelhardt/fix-show-macosMiodrag Milanović2019-09-232-0/+9
| |\ \
| | * | add xdot dependency to BrewfileN. Engelhardt2019-09-231-0/+1
| | * | fix show command for macosN. Engelhardt2019-09-231-0/+8
| |/ /
| * | Merge pull request #1392 from YosysHQ/eddie/fix1391Clifford Wolf2019-09-212-1/+69
| |\ \
| | * | Hell let's add the original #1381 testcase tooEddie Hung2019-09-201-3/+22
| | * | Revert abc9.ccEddie Hung2019-09-201-1/+1
| | * | Add testcaseEddie Hung2019-09-201-0/+43
| | * | Trim mismatched connection to be same (smallest) sizeEddie Hung2019-09-201-0/+6
| | * | Fix first testcase in #1391Eddie Hung2019-09-202-2/+2
| |/ /
| * | Merge pull request #1386 from YosysHQ/clifford/fix1360Clifford Wolf2019-09-202-18/+30
| |\ \
| | * | Fix handling of read_verilog config in AstModule::reprocess_module(), fixes #...Clifford Wolf2019-09-202-18/+30
| |/ /
| * | Update CHANGELOGClifford Wolf2019-09-201-0/+2
| * | Add "add -mod"Clifford Wolf2019-09-201-0/+18
| * | Merge pull request #1384 from YosysHQ/clifford/fix1381Clifford Wolf2019-09-201-5/+49
| |\ \
| | * | Add techmap_autopurge attribute, fixes #1381Clifford Wolf2019-09-191-5/+49
| |/ /
| * | Use extractinv for synth_xilinx -iseMarcin Kościelnicki2019-09-198-90/+502
| * | Added extractinv passMarcin Kościelnicki2019-09-195-0/+172
| * | Document (* gentb_skip *) attr for test_autotbEddie Hung2019-09-181-0/+3
| * | Merge pull request #1355 from YosysHQ/eddie/peepopt_dffmuxextEddie Hung2019-09-186-14/+291
| |\ \
| | * | OopsEddie Hung2019-09-131-1/+1
| | * | Add counter-example from @cliffordwolfEddie Hung2019-09-131-0/+24
| | * | Revert "Make one check $shift(x)? only; change testcase to be 8b"Eddie Hung2019-09-132-5/+4
| | * | Tidy upEddie Hung2019-09-111-10/+16
| | * | Fix UBEddie Hung2019-09-111-2/+2
| | * | Cope with presence of reset muxes tooEddie Hung2019-09-112-4/+64
| | * | CleanupEddie Hung2019-09-111-25/+22
| | * | Add more testsEddie Hung2019-09-111-0/+32
| | * | Only display log message if did_somethingEddie Hung2019-09-111-1/+1
| | * | Rename dffmuxext -> dffmux, also remove constants in dff+muxEddie Hung2019-09-114-57/+91
| | * | proc instead of prepEddie Hung2019-09-111-2/+2
| | * | Add unsigned caseEddie Hung2019-09-111-0/+17
| | * | Missing equiv_opt -assertEddie Hung2019-09-061-1/+1
| | * | Make one check $shift(x)? only; change testcase to be 8bEddie Hung2019-09-062-4/+5