aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* FDCE_1 does not have IS_CLR_INVERTEDEddie Hung2019-09-291-1/+1
* Fix "scc" call inside abc9 to consider all wiresEddie Hung2019-09-291-1/+1
* Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-09-297-9/+12
|\
| * Merge pull request #1413 from YosysHQ/mmicko/backend_binary_outMiodrag Milanović2019-09-295-7/+7
| |\
| | * Add aiger and protobuf backends binary supportMiodrag Milanovic2019-09-282-3/+3
| | * Support binary files for backends, fixes #1407Miodrag Milanovic2019-09-283-4/+4
| * | Merge pull request #1411 from aman-goel/YosysHQ-masterClifford Wolf2019-09-291-1/+4
| |\ \ | | |/ | |/|
| | * Corrects btor2 backendAman Goel2019-09-271-1/+4
| | * Merge pull request #7 from YosysHQ/masterAman Goel2019-09-27679-8313/+71733
| | |\
| * | | Fix box nameEddie Hung2019-09-271-1/+1
* | | | Big rework; flop info now mostly in cells_sim.vEddie Hung2019-09-289-441/+485
* | | | Use abc_mergeability attr for "r" extensionEddie Hung2019-09-271-58/+66
* | | | 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