aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #1413 from YosysHQ/mmicko/backend_binary_outMiodrag Milanović2019-09-295-7/+7
|\ | | | | Support binary files for backends, fixes #1407
| * 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 backend
| * Corrects btor2 backendAman Goel2019-09-271-1/+4
| |
| * Merge pull request #7 from YosysHQ/masterAman Goel2019-09-27679-8313/+71733
| |\ | | | | | | Syncing with official repo
* | | Fix box nameEddie Hung2019-09-271-1/+1
| | |
* | | Fix _TECHMAP_REMOVEINIT_ handling.Marcin Kościelnicki2019-09-272-15/+29
| |/ |/| | | | | | | | | | | | | Previously, this wire was handled in the code that populated the "do or do not" techmap cache, resulting in init value removal being performed only for the first use of a given template. Fixes the problem identified in #1396.
* | Merge pull request #1409 from YosysHQ/mmicko/fix_getopt_differenceMiodrag Milanović2019-09-271-1/+1
|\ \ | | | | | | Change order of parameters, to work on other OS
| * | 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 #1357
| * | 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
|\ \ | | | | | | ICE40 tests. adffs test update (equiv_opt -multiclock).
| * | 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
|\ \ \ | | | | | | | | Add "portlist" command
| * | | Improve "portlist" commandClifford Wolf2019-09-251-9/+26
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | Add "portlist" commandClifford Wolf2019-09-242-0/+77
|/ / / | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | Merge pull request #1399 from nakengelhardt/fix-show-macosMiodrag Milanović2019-09-232-0/+9
|\ \ \ | | | | | | | | fix show command for macos
| * | | 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
|\ \ \ | | | | | | | | (* techmap_autopurge *) fixes when ports aren't consistently-sized
| * | | 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()
| * | | Fix handling of read_verilog config in AstModule::reprocess_module(), fixes ↵Clifford Wolf2019-09-202-18/+30
|/ / / | | | | | | | | | | | | | | | #1360 Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | Update CHANGELOGClifford Wolf2019-09-201-0/+2
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | Add "add -mod"Clifford Wolf2019-09-201-0/+18
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | Merge pull request #1384 from YosysHQ/clifford/fix1381Clifford Wolf2019-09-201-5/+49
|\ \ \ | | | | | | | | Add techmap_autopurge attribute
| * | | Add techmap_autopurge attribute, fixes #1381Clifford Wolf2019-09-191-5/+49
|/ / / | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | 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
|\ \ \ | | | | | | | | peepopt_dffmux -- bit optimisations for word level $dff + (enable/reset) $mux cells
| * | | 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
| | | | | | | | | | | | | | | | This reverts commit e2c2d784c8217e4bcf29fb6b156b6a8285036b80.
| * | | 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
| | | |