aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Open aig frontend as binary fileMiodrag Milanovic2019-09-294-5/+5
* 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
* | | 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