aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Expand)AuthorAgeFilesLines
* Split ABC9 based on clocking only, add "abc_mergeability" attr for enEddie Hung2019-09-271-88/+28
* Add -select option to aigmapEddie Hung2019-09-271-6/+40
* Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-09-2733-454/+2070
|\
| * 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
| | |\ \ \ \ \ \ \ \ \