aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)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
| |\ | | | | | | 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
| | | |
* | | | 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
| | |/ | |/| | | | | | | | | | | | | | | | | | | 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
| | | | |
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-22 09:38:11 +0000