aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Expand)AuthorAgeFilesLines
* Working ABC9 scriptEddie Hung2019-04-171-2/+2
* abc9 to output some more infoEddie Hung2019-04-161-1/+2
* Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-161-28/+0
|\
| * Revert #895Eddie Hung2019-04-161-28/+0
* | Port from xc7mux branchEddie Hung2019-04-162-17/+58
* | abc9 to call "setundef -zero" behaving as for abcEddie Hung2019-04-161-0/+3
* | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-151-1/+1
|\|
| * Revert "Recognise default entry in case even if all cases covered (fix for #9...Eddie Hung2019-04-151-1/+1
* | Handle __dummy_o__ and __const[01]__ in read_aiger not abcEddie Hung2019-04-121-18/+4
* | abc to ignore __dummy_o__ and __const[01]__ when re-integratingEddie Hung2019-04-121-6/+20
* | Use -map instead of -symbols for aigerEddie Hung2019-04-121-2/+3
* | Comment outEddie Hung2019-04-121-1/+1
* | Add support for synth_xilinx -abc9 and ignore abc9 -dress optEddie Hung2019-04-121-0/+5
* | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-122-4/+4
|\|
| * Recognise default entry in case even if all cases covered (#931)Eddie Hung2019-04-111-1/+1
| * Fix a few typosEddie Hung2019-04-081-3/+3
* | More space fixingEddie Hung2019-04-081-2/+2
* | Merge branch 'master' into xaigEddie Hung2019-04-0818-58/+1951
|\|
| * memory_bram: Fix multiport make_transpDavid Shah2019-04-071-1/+2
| * Added missing argument checking to "mutate" commandClifford Wolf2019-04-041-0/+32
| * proc_mux: Fix crash when trying to optimize non-existant mux to shiftxSylvain Munaut2019-04-031-1/+1
| * memory_bram: Consider read enable for address expansion registerDavid Shah2019-04-021-0/+2
| * Merge pull request #895 from YosysHQ/pmux2shiftxEddie Hung2019-04-021-0/+28
| |\
| | * Create one $shiftx per bit in widthEddie Hung2019-03-251-10/+17
| | * Add a pmux-to-shiftx optimisation to proc_muxEddie Hung2019-03-231-0/+21
| * | Merge pull request #901 from trcwm/libertyfixesClifford Wolf2019-03-281-7/+54
| |\ \
| | * | Liberty file parser now accepts superfluous ;Niels Moseley2019-03-271-1/+1
| | * | Liberty file parser now accepts superfluous ;Niels Moseley2019-03-271-7/+54
| * | | Merge pull request #903 from YosysHQ/bram_reset_transpClifford Wolf2019-03-281-0/+1
| |\ \ \ | | |/ / | |/| |
| | * | memory_bram: Reset make_transp when growing read portsDavid Shah2019-03-271-0/+1
| * | | Add "rename -output"Clifford Wolf2019-03-271-3/+23
| * | | Improve "rename" help messageClifford Wolf2019-03-271-0/+6
| * | | Add "cutpoint -undef"Clifford Wolf2019-03-261-10/+14
| * | | Add "hdlname" attributeClifford Wolf2019-03-261-0/+2
| * | | Add "cutpoint" passClifford Wolf2019-03-252-0/+165
| |/ /
| * | Merge pull request #896 from YosysHQ/transp_fixesClifford Wolf2019-03-251-9/+16
| |\ \
| | * | memory_bram: Fix multiclock make_transpDavid Shah2019-03-241-9/+16
| | |/
| * | spaces -> tabsNiels Moseley2019-03-251-78/+78
| * | EOL is now accepted as ';' replacement on lines that look like: feature_xyz(o...Niels Moseley2019-03-251-4/+3
| * | Updated the liberty parser to accept [A:B] ranges (AST has not been updated)....Niels Moseley2019-03-242-7/+90
| |/
| * Add "mutate -none -mode", "mutate -mode none"Clifford Wolf2019-03-231-1/+30
| * Add "mutate -s <filename>"Clifford Wolf2019-03-231-2/+24
| * Trim init attributes when resizing FFs in "wreduce", fixes #887Clifford Wolf2019-03-221-1/+26
| * Improve mix of src/wire/wirebit coverage in "mutate -list"Clifford Wolf2019-03-161-29/+84
| * Add "fmcombine -fwd -bwd -nop"Clifford Wolf2019-03-151-10/+59
| * Add fmcombine passClifford Wolf2019-03-152-0/+293
| * Improvements in "mutate" list-reduce algorithmClifford Wolf2019-03-151-13/+36
| * Add "mutate -cfg", improve pick_cover behaviorClifford Wolf2019-03-141-46/+101
| * Add a strictly coverage-driven mutation selection strategyClifford Wolf2019-03-141-1/+70
| * Improve "mutate" wire coverage metricClifford Wolf2019-03-141-1/+16