index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
passes
Commit message (
Expand
)
Author
Age
Files
Lines
*
chformal: Test -coverprecond and reuse the src attribute
Jannis Harder
2022-06-18
1
-2
/
+2
*
chformal: Add -coverprecond option
George Rennie
2022-06-18
1
-0
/
+14
*
memory_map: Add -rom-only option.
Marcelina Kościelnicka
2022-06-17
1
-4
/
+18
*
memory_map: Use const drivers instead of FFs for ROMs.
Marcelina Kościelnicka
2022-06-17
1
-52
/
+59
*
memory_libmap: Fix wrprio handling.
Marcelina Kościelnicka
2022-06-17
1
-1
/
+1
*
memory_libmap: Fix params emitted for unused ports for consistency.
Marcelina Kościelnicka
2022-06-16
1
-2
/
+3
*
Merge pull request #3196 from bfg86/bfg86/rename
N. Engelhardt
2022-06-13
1
-4
/
+13
|
\
|
*
Updating help-text with nakengelhardts suggestion.
bfg86
2022-06-13
1
-2
/
+2
|
*
Add -suffix option to rename -wire.
bfg86
2022-02-11
1
-4
/
+13
*
|
opt_ffinv: Fix use after free.
Marcelina Kościelnicka
2022-06-13
1
-3
/
+6
*
|
Merge pull request #3349 from nakengelhardt/select_count_scratchpad
N. Engelhardt
2022-06-09
2
-0
/
+12
|
\
\
|
*
|
also make 'stat' save counts to scratchpad
N. Engelhardt
2022-06-01
1
-0
/
+9
|
*
|
have 'select -count' save the count to scratchpad entry 'select.count'
N. Engelhardt
2022-06-01
1
-0
/
+3
*
|
|
Merge pull request #3359 from jix/fmcombine-memid
N. Engelhardt
2022-06-09
1
-0
/
+3
|
\
\
\
|
*
|
|
fmcombine: Add _gold/_gate suffix to memids
Jannis Harder
2022-06-03
1
-0
/
+3
*
|
|
|
Avoid unnecessary copy of a potential large constant value.
Henner Zeller
2022-06-09
1
-2
/
+2
*
|
|
|
wreduce: Introduce -mux_undef option (aligned with opt_expr).
Marcelina Kościelnicka
2022-06-08
1
-1
/
+9
*
|
|
|
sta: warn on unrecognised cells only once
Lofty
2022-06-08
1
-1
/
+4
*
|
|
|
opt_ffinv: Harden against simple ff/inv loop.
Marcelina Kościelnicka
2022-06-07
1
-0
/
+4
*
|
|
|
iopadmap: Fix z assignment removal.
Marcelina Kościelnicka
2022-06-07
1
-7
/
+21
|
/
/
/
*
|
|
Fix preventing show crashing with newer graphviz
Miodrag Milanovic
2022-06-03
1
-1
/
+6
*
|
|
Add -no-rw-check option to memory_dff + memory + synth_{ice40,ecp5,gowin}.
Marcelina Kościelnicka
2022-06-02
2
-7
/
+23
*
|
|
memory_dff: Add support for no_rw_check attribute.
Marcelina Kościelnicka
2022-06-02
2
-0
/
+13
|
/
/
*
|
Observe $TMPDIR variable when creating tmp files
Mohamed A. Bamakhrama
2022-05-27
3
-3
/
+3
*
|
abc9_ops: Don't leave unused derived modules lying around
gatecat
2022-05-23
1
-0
/
+9
*
|
select: Fix -assert-none and -assert-any error output and docs
Jannis Harder
2022-05-19
1
-8
/
+10
*
|
Add memory_bmux2rom pass.
Marcelina Kościelnicka
2022-05-18
3
-1
/
+97
*
|
Add memory_libmap pass.
Marcelina Kościelnicka
2022-05-18
5
-0
/
+3872
*
|
proc_rom: Add special handling of const-0 address bits.
Marcelina Kościelnicka
2022-05-18
1
-15
/
+40
*
|
opt_ffinv: Use ModIndex instead of ModWalker.
Marcelina Kościelnicka
2022-05-17
1
-50
/
+53
*
|
Add opt_ffinv pass.
Marcelina Kościelnicka
2022-05-13
2
-0
/
+256
*
|
Add proc_rom pass.
Marcelina Kościelnicka
2022-05-13
3
-0
/
+239
*
|
Merge pull request #3299 from YosysHQ/mmicko/sim_memory
Miodrag Milanović
2022-05-09
1
-2
/
+18
|
\
\
|
*
|
fix crash when no fst input
Miodrag Milanovic
2022-05-04
1
-1
/
+2
|
*
|
Start restoring memory state from VCD/FST
Miodrag Milanovic
2022-05-04
1
-2
/
+17
*
|
|
opt_mem: Remove constant-value bit lanes.
Marcelina Kościelnicka
2022-05-07
1
-13
/
+143
*
|
|
memory_share: fix wrong argidx in extra_args
imhcyx
2022-05-05
1
-1
/
+1
*
|
|
abc: Use dict/pool instead of std::map/std::set
Marcelina Kościelnicka
2022-05-04
1
-14
/
+14
|
/
/
*
|
AIM file could have gaps in or between inputs and inits
Miodrag Milanovic
2022-05-02
1
-3
/
+6
*
|
Merge pull request #3257 from jix/tribuf-formal
Jannis Harder
2022-04-25
1
-3
/
+46
|
\
\
|
*
|
tribuf: `-formal` option: convert all to logic and detect conflicts
Jannis Harder
2022-04-12
1
-3
/
+46
*
|
|
Match $anyseq input if connected to public wire
Miodrag Milanovic
2022-04-22
1
-6
/
+12
*
|
|
Treat $anyseq as input from FST
Miodrag Milanovic
2022-04-22
1
-0
/
+21
*
|
|
Last sample from input does not represent change
Miodrag Milanovic
2022-04-22
1
-1
/
+2
*
|
|
latches are always set to zero
Miodrag Milanovic
2022-04-22
1
-6
/
+1
*
|
|
If not multiclock, output only on clock edges
Miodrag Milanovic
2022-04-22
1
-0
/
+18
*
|
|
Set init state for all wires from FST and set past
Miodrag Milanovic
2022-04-22
1
-13
/
+12
*
|
|
Fix multiclock for btor2 witness
Miodrag Milanovic
2022-04-22
1
-5
/
+9
*
|
|
Merge pull request #3280 from YosysHQ/micko/fix_readaiw
Miodrag Milanović
2022-04-18
1
-2
/
+2
|
\
\
\
|
*
|
|
Fix reading aiw from other solvers
Miodrag Milanovic
2022-04-15
1
-2
/
+2
|
|
/
/
[next]