aboutsummaryrefslogtreecommitdiffstats
path: root/passes/techmap
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/master' into xc7muxEddie Hung2019-05-215-13/+27
|\
| * Fix two instances of integer-assignment to string.Henner Zeller2019-05-141-1/+1
| * Zinit option '-singleton' -> '-all'Makai Mann2019-05-101-1/+1
| * Merge pull request #991 from kristofferkoch/gcc9-warningsClifford Wolf2019-05-081-2/+2
| |\
| | * Fix all warnings that occurred when compiling with gcc9Kristoffer Ellersgaard Koch2019-05-081-2/+2
| * | abc: Fix handling of postfixed names (e.g. for retiming)David Shah2019-05-041-4/+4
| * | abc: Improve name recoveryDavid Shah2019-05-041-4/+17
| |/
| * If init is 1'bx, do not add to dict as per @cliffordwolfEddie Hung2019-05-031-1/+2
| * Revert "dffinit -noreinit to silently continue when init value is 1'bx"Eddie Hung2019-05-031-12/+4
| * dffinit -noreinit to silently continue when init value is 1'bxEddie Hung2019-05-021-4/+12
* | Merge remote-tracking branch 'origin/master' into xc7muxEddie Hung2019-05-021-1/+11
|\|
| * Copy with 1'bx padding in $shiftxEddie Hung2019-04-281-1/+11
| * Merge pull request #914 from YosysHQ/xc7srlEddie Hung2019-04-221-5/+159
| |\
* | \ Merge branch 'xaig' into xc7muxEddie Hung2019-04-222-7/+38
|\ \ \
| * | | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-222-6/+35
| |\| |
| | * | Merge pull request #951 from YosysHQ/clifford/logdebugClifford Wolf2019-04-221-5/+32
| | |\ \
| | | * | Add log_debug() frameworkClifford Wolf2019-04-221-5/+32
| * | | | Merge remote-tracking branch 'origin/clifford/libwb' into xaigEddie Hung2019-04-211-1/+1
| |\ \ \ \ | | | |/ / | | |/| |
| * | | | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-204-32/+39
| |\ \ \ \
| * | | | | Ignore 'whitebox' attr in flatten with "-wb" optionEddie Hung2019-04-181-5/+19
| * | | | | Merge remote-tracking branch 'origin/clifford/whitebox' into xaigEddie Hung2019-04-182-3/+3
| |\ \ \ \ \
| * | | | | | Skip if abc_box_id earlierEddie Hung2019-04-171-3/+3
| * | | | | | Do not print slack histogramEddie Hung2019-04-171-1/+1
| * | | | | | Working ABC9 scriptEddie Hung2019-04-171-2/+2
| * | | | | | abc9 to output some more infoEddie Hung2019-04-161-1/+2
| * | | | | | Port from xc7mux branchEddie Hung2019-04-161-17/+55
* | | | | | | Merge remote-tracking branch 'origin/xc7srl' into xc7muxEddie Hung2019-04-228-126/+220
|\ \ \ \ \ \ \ | | |_|_|_|_|/ | |/| | | | |
| * | | | | | Merge remote-tracking branch 'origin/master' into xc7srlEddie Hung2019-04-222-2/+4
| |\ \ \ \ \ \ | | | |_|_|_|/ | | |/| | | |
| | * | | | | attrmap: extend -remove to allow removing attributes with any value.whitequark2019-04-221-1/+3
| | | |_|_|/ | | |/| | |
| | * | | | Disable blackbox detection in techmap filesClifford Wolf2019-04-221-1/+1
| | | |_|/ | | |/| |
| * | | | Use new pmux2shiftx from #944, remove my old attemptEddie Hung2019-04-213-134/+0
| * | | | Merge remote-tracking branch 'origin/master' into xc7srlEddie Hung2019-04-203-8/+29
| |\| | |
| | * | | Merge pull request #943 from YosysHQ/clifford/whiteboxClifford Wolf2019-04-203-8/+29
| | |\ \ \
| | | * | | Add "techmap -wb", use in formal flowsClifford Wolf2019-04-201-1/+8
| | | * | | Check blackbox attribute in techmap/simplemapClifford Wolf2019-04-202-2/+2
| | | * | | Ignore 'whitebox' attr in flatten with "-wb" optionEddie Hung2019-04-181-5/+19
| | | | |/ | | | |/|
| | | * | Add "whitebox" attribute, add "read_verilog -wb"Clifford Wolf2019-04-182-3/+3
| * | | | Merge remote-tracking branch 'origin/pmux2shiftx' into xc7srlEddie Hung2019-04-202-0/+82
| |\ \ \ \
| | * | | | Fix ordering of when to insert zero indexEddie Hung2019-04-111-2/+1
| * | | | | Merge remote-tracking branch 'origin' into xc7srlEddie Hung2019-04-202-31/+29
| |\ \ \ \ \ | | | |/ / / | | |/| | |
| | * | | | Spelling fixesEddie Hung2019-04-191-2/+2
| | * | | | Fix abc's remap_name to not ignore [^0-9] when extracting sidEddie Hung2019-04-181-12/+16
| | * | | | ABC to call retime all the timeEddie Hung2019-04-181-15/+11
| | * | | | Revert "abc -dff now implies "-D 0" otherwise retiming doesn't happen"Eddie Hung2019-04-101-2/+0
| | * | | | Revert ""&nf -D 0" fails => use "-D 1" instead"Eddie Hung2019-04-101-1/+1
| * | | | | $_XILINX_SHREG_ to preserve src attributeEddie Hung2019-04-081-0/+1
| * | | | | Cope with undoing #895Eddie Hung2019-04-081-14/+26
| * | | | | Revert "Remove handling for $pmux, since #895"Eddie Hung2019-04-081-0/+40
| * | | | | Call shregmap twice -- once for variable, another for fixedEddie Hung2019-04-051-29/+17
| * | | | | Merge branch 'eddie/fix_retime' into xc7srlEddie Hung2019-04-051-1/+1
| |\| | | |