aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Expand)AuthorAgeFilesLines
* Open aig frontend as binary fileMiodrag Milanovic2019-09-291-1/+1
* Fix _TECHMAP_REMOVEINIT_ handling.Marcin Kościelnicki2019-09-271-13/+17
* Improve "portlist" commandClifford Wolf2019-09-251-9/+26
* Add "portlist" commandClifford Wolf2019-09-242-0/+77
* fix show command for macosN. Engelhardt2019-09-231-0/+8
* Revert abc9.ccEddie Hung2019-09-201-1/+1
* Trim mismatched connection to be same (smallest) sizeEddie Hung2019-09-201-0/+6
* Fix first testcase in #1391Eddie Hung2019-09-202-2/+2
* Add "add -mod"Clifford Wolf2019-09-201-0/+18
* Add techmap_autopurge attribute, fixes #1381Clifford Wolf2019-09-191-5/+49
* Added extractinv passMarcin Kościelnicki2019-09-192-0/+124
* Document (* gentb_skip *) attr for test_autotbEddie Hung2019-09-181-0/+3
* Merge pull request #1355 from YosysHQ/eddie/peepopt_dffmuxextEddie Hung2019-09-183-0/+115
|\
| * Revert "Make one check $shift(x)? only; change testcase to be 8b"Eddie Hung2019-09-131-3/+2
| * Tidy upEddie Hung2019-09-111-10/+16
| * Fix UBEddie Hung2019-09-111-2/+2
| * Cope with presence of reset muxes tooEddie Hung2019-09-111-4/+25
| * CleanupEddie Hung2019-09-111-25/+22
| * 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
| * Make one check $shift(x)? only; change testcase to be 8bEddie Hung2019-09-061-2/+3
| * Remove log_cell() callsEddie Hung2019-09-041-3/+0
| * Add peepopt_dffmuxextEddie Hung2019-09-043-0/+60
* | Merge pull request #1374 from YosysHQ/eddie/fix1371Eddie Hung2019-09-151-4/+15
|\ \
| * | Explicitly order function argumentsEddie Hung2019-09-131-4/+15
| * | Revert "SigSet<Cell*> to use stable compare class"Eddie Hung2019-09-134-5/+5
| * | SigSet<Cell*> to use stable compare classEddie Hung2019-09-124-5/+5
* | | Fix handling of z_digit "?" and fix optimization of cmp with "z"Clifford Wolf2019-09-131-0/+4
|/ /
* | Merge pull request #1370 from YosysHQ/dave/equiv_opt_multiclockDavid Shah2019-09-121-1/+11
|\ \
| * | Add equiv_opt -multiclockDavid Shah2019-09-111-1/+11
* | | Add -match-init option to dff2dffs.Marcin Kościelnicki2019-09-111-3/+26
|/ /
* | Merge pull request #1362 from xobs/smtbmc-msvc2-build-fixesDavid Shah2019-09-111-3/+4
|\ \
| * | passes: opt_share: don't statically initialize mergeable_type_mapSean Cross2019-09-091-3/+4
* | | Fix misspellingEddie Hung2019-09-091-1/+1
|/ /
* | techmap: Add support for extracting init values of portsMarcin Kościelnicki2019-09-071-1/+70
* | Merge pull request #1312 from YosysHQ/xaig_arrivalEddie Hung2019-09-051-42/+16
|\ \
| * | Merge remote-tracking branch 'origin/master' into xaig_arrivalEddie Hung2019-09-041-0/+24
| |\|
| * | Merge remote-tracking branch 'origin/master' into xaig_arrivalEddie Hung2019-09-023-8/+3
| |\ \
| * \ \ Merge remote-tracking branch 'origin/master' into xaig_arrivalEddie Hung2019-08-301-16/+10
| |\ \ \
| * \ \ \ Merge branch 'eddie/xilinx_srl' into xaig_arrivalEddie Hung2019-08-301-4/+0
| |\ \ \ \
| * \ \ \ \ Merge remote-tracking branch 'origin/master' into xaig_arrivalEddie Hung2019-08-301-1/+1
| |\ \ \ \ \
| * | | | | | Use a dummy box file if none specifiedEddie Hung2019-08-281-3/+8
| * | | | | | Account for D port being a constantEddie Hung2019-08-281-4/+4
| * | | | | | Merge branch 'eddie/xilinx_srl' into xaig_arrivalEddie Hung2019-08-285-177/+608
| |\ \ \ \ \ \
| * \ \ \ \ \ \ Merge remote-tracking branch 'origin/master' into xaig_arrivalEddie Hung2019-08-2810-122/+772
| |\ \ \ \ \ \ \
| * | | | | | | | CleanupEddie Hung2019-08-231-130/+59
| * | | | | | | | Merge remote-tracking branch 'origin/master' into xaig_arrivalEddie Hung2019-08-233-7/+29
| |\ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/master' into xaig_arrivalEddie Hung2019-08-211-1/+1
| |\ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ Merge branch 'eddie/fix_techmap' into xaig_arrivalEddie Hung2019-08-201-1/+1
| |\ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | techmap -max_iter to apply to each module individuallyEddie Hung2019-08-201-4/+6