index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
backends
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
pass metadata: fixed some of the output formatting
Aki Van Ness
2022-04-08
1
-0
/
+3
*
pass metadata: initial commit of the metadata pass for exporting design metad...
Aki Van Ness
2022-04-08
2
-0
/
+277
*
smtbmc: fix bmc with no assertions
Jannis Harder
2022-03-29
1
-0
/
+2
*
Merge pull request #3253 from jix/smtbmc-nodeepcopy
Jannis Harder
2022-03-28
1
-6
/
+6
|
\
|
*
smtbmc: Avoid unnecessary deep copies during unrolling
Jannis Harder
2022-03-28
1
-6
/
+6
*
|
Merge pull request #3247 from jix/smtbmc-keepgoing
Jannis Harder
2022-03-28
1
-50
/
+143
|
\
\
|
|
/
|
/
|
|
*
yosys-smtbmc: Option to keep going after failed assertions in BMC mode
Jannis Harder
2022-03-24
1
-48
/
+141
|
*
yosys-smtbmc: Fix typo in help text, remove trailing whitespace
Jannis Harder
2022-03-24
1
-2
/
+2
*
|
Add -no-startoffset option to write_aiger
Miodrag Milanovic
2022-03-25
1
-8
/
+17
*
|
ignore # comment lines
N. Engelhardt
2022-03-24
1
-1
/
+1
|
/
*
Merge pull request #3226 from YosysHQ/micko/btor2witness
Miodrag Milanović
2022-03-11
1
-2
/
+2
|
\
|
*
Fix handling of some formal cells in btor back-end
Claire Xenia Wolf
2022-03-11
1
-6
/
+2
|
*
handle state names of $anyconst and $anyseq
Miodrag Milanovic
2022-03-11
1
-1
/
+5
*
|
Merge pull request #3210 from rqou/json-signed
Miodrag Milanović
2022-03-07
1
-0
/
+2
|
\
\
|
|
/
|
/
|
|
*
json: Add help message for `signed` field
R
2022-02-21
1
-0
/
+2
*
|
Merge pull request #3186 from nakengelhardt/smtbmc_sby_print_id
Miodrag Milanović
2022-03-04
2
-4
/
+12
|
\
\
|
*
|
print cell name for properties in yosys-smtbmc
N. Engelhardt
2022-02-22
2
-4
/
+12
|
|
/
*
|
Merge pull request #3207 from nakengelhardt/json_escape_quotes
Miodrag Milanović
2022-03-04
1
-1
/
+16
|
\
\
|
*
|
fix handling of escaped chars in json backend and frontend
N. Engelhardt
2022-02-18
1
-1
/
+16
|
|
/
*
/
Add a bit of flexibilty re trace length when processing aiger witnesses in sm...
Claire Xenia Wolf
2022-02-11
1
-1
/
+4
|
/
*
verilog backend: Emit a `wire` for ports as well.
Marcelina Kościelnicka
2022-01-31
1
-1
/
+1
*
Add $bmux and $demux cells.
Marcelina Kościelnicka
2022-01-28
7
-2
/
+77
*
cxxrtl: don't reset elided wires with \init attribute.
Catherine
2021-12-25
1
-0
/
+2
*
cxxrtl: demote wires not inlinable only in debug_eval to locals.
Catherine
2021-12-15
1
-3
/
+4
*
Add clean_zerowidth pass, use it for Verilog output.
Marcelina Kościelnicka
2021-12-12
1
-0
/
+2
*
Merge pull request #3105 from whitequark/cxxrtl-reset-memories-2
Catherine
2021-12-12
2
-108
/
+80
|
\
|
*
cxxrtl: preserve interior memory pointers across reset.
Catherine
2021-12-11
2
-95
/
+67
|
*
cxxrtl: use unique_ptr<value<>[]> to store memory contents.
whitequark
2021-12-11
1
-16
/
+16
*
|
rtlil: Dump empty connections when whole module is selected.
Marcelina Kościelnicka
2021-12-12
1
-2
/
+2
*
|
write_verilog: dump zero width sigspecs correctly.
whitequark
2021-12-11
1
-1
/
+2
|
/
*
sta: very crude static timing analysis pass
Lofty
2021-11-25
1
-15
/
+16
*
Give initial wire unique ID, fixes #2914
Miodrag Milanovic
2021-11-17
1
-4
/
+6
*
Split module ports, 20 per line
Miodrag Milanovic
2021-10-09
1
-0
/
+2
*
Hook up $aldff support in various passes.
Marcelina Kościelnicka
2021-10-02
4
-4
/
+19
*
kernel/ff: Refactor FfData to enable FFs with async load.
Marcelina Kościelnicka
2021-10-02
1
-43
/
+70
*
Add optimization to rtlil back-end for all-x parameter values
Claire Xenia Wolf
2021-09-27
1
-9
/
+13
*
Fix protobuf backend build dependencies
the6p4c
2021-09-17
1
-0
/
+2
*
yosys-smtbmc: Fix reused loop variable.
Marcelina Kościelnicka
2021-09-10
1
-4
/
+4
*
kernel/mem: Introduce transparency masks.
Marcelina Kościelnicka
2021-08-11
2
-27
/
+30
*
backend/verilog: Add alternate mode for transparent read port output.
Marcelina Kościelnicka
2021-08-01
1
-1
/
+71
*
backends/verilog: Support meminit with mask.
Marcelina Kościelnicka
2021-07-28
1
-3
/
+18
*
Merge pull request #2885 from whitequark/cxxrtl-fix-2883
whitequark
2021-07-20
1
-2
/
+8
|
\
|
*
cxxrtl: treat wires with multiple defs as not inlinable.
whitequark
2021-07-20
1
-2
/
+8
*
|
cxxrtl: treat assignable internal wires used only for debug as locals.
whitequark
2021-07-20
1
-10
/
+12
|
/
*
cxxrtl: escape colon in variable names in VCD writer.
whitequark
2021-07-19
1
-1
/
+14
*
cxxrtl: add debug_item::{get,set}.
whitequark
2021-07-18
1
-0
/
+16
*
cxxrtl: treat internal wires used only for debug as constants.
whitequark
2021-07-17
1
-0
/
+6
*
Merge pull request #2874 from whitequark/cxxrtl-fix-2589
whitequark
2021-07-16
1
-9
/
+6
|
\
|
*
cxxrtl: run hierarchy pass regardless of (*top*) attribute presence.
whitequark
2021-07-16
1
-9
/
+6
*
|
Merge pull request #2873 from whitequark/cxxrtl-fix-2500
whitequark
2021-07-16
1
-3
/
+3
|
\
\
[prev]
[next]