aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Collapse)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 ↵Eddie Hung2019-04-151-1/+1
| | | | | | | | #931)"
* | 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
| | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| * Added missing argument checking to "mutate" commandClifford Wolf2019-04-041-0/+32
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * proc_mux: Fix crash when trying to optimize non-existant mux to shiftxSylvain Munaut2019-04-031-1/+1
| | | | | | | | | | | | last_mux_cell can be NULL ... Signed-off-by: Sylvain Munaut <tnt@246tNt.com>
| * memory_bram: Consider read enable for address expansion registerDavid Shah2019-04-021-0/+2
| | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| * Merge pull request #895 from YosysHQ/pmux2shiftxEddie Hung2019-04-021-0/+28
| |\ | | | | | | RFC: Add a pmux-to-shiftx optimisation to proc_mux
| | * 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
| |\ \ | | | | | | | | Libertyfixes: accept superfluous ; at end of group.
| | * | 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 ports
| | * | memory_bram: Reset make_transp when growing read portsDavid Shah2019-03-271-0/+1
| | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| * | | Add "rename -output"Clifford Wolf2019-03-271-3/+23
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | Improve "rename" help messageClifford Wolf2019-03-271-0/+6
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | Add "cutpoint -undef"Clifford Wolf2019-03-261-10/+14
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | Add "hdlname" attributeClifford Wolf2019-03-261-0/+2
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | Add "cutpoint" passClifford Wolf2019-03-252-0/+165
| |/ / | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | Merge pull request #896 from YosysHQ/transp_fixesClifford Wolf2019-03-251-9/+16
| |\ \ | | | | | | | | memory_bram: Fix multiclock make_transp
| | * | memory_bram: Fix multiclock make_transpDavid Shah2019-03-241-9/+16
| | |/ | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| * | spaces -> tabsNiels Moseley2019-03-251-78/+78
| | |
| * | EOL is now accepted as ';' replacement on lines that look like: ↵Niels Moseley2019-03-251-4/+3
| | | | | | | | | | | | feature_xyz(option)
| * | Updated the liberty parser to accept [A:B] ranges (AST has not been ↵Niels Moseley2019-03-242-7/+90
| |/ | | | | | | updated). Liberty parser now also accepts key : value pair lines that do not end in ';'.
| * Add "mutate -none -mode", "mutate -mode none"Clifford Wolf2019-03-231-1/+30
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Add "mutate -s <filename>"Clifford Wolf2019-03-231-2/+24
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Trim init attributes when resizing FFs in "wreduce", fixes #887Clifford Wolf2019-03-221-1/+26
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Improve mix of src/wire/wirebit coverage in "mutate -list"Clifford Wolf2019-03-161-29/+84
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Add "fmcombine -fwd -bwd -nop"Clifford Wolf2019-03-151-10/+59
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Add fmcombine passClifford Wolf2019-03-152-0/+293
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Improvements in "mutate" list-reduce algorithmClifford Wolf2019-03-151-13/+36
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Add "mutate -cfg", improve pick_cover behaviorClifford Wolf2019-03-141-46/+101
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Add a strictly coverage-driven mutation selection strategyClifford Wolf2019-03-141-1/+70
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Improve "mutate" wire coverage metricClifford Wolf2019-03-141-1/+16
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-14 06:36:19 +0000