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
...
*
|
Merge pull request #3319 from programmerjake/smtlib2-expr-support
Jannis Harder
2022-06-07
1
-6
/
+57
|
\
\
|
*
|
smt2: Add smtlib2_comb_expr attribute to allow user-selected smtlib2 expressions
Jacob Lifshay
2022-06-02
1
-6
/
+57
|
|
/
*
/
smtbmc: Force nonincremental mode when yices is used with forall
Jannis Harder
2022-06-03
1
-1
/
+4
|
/
*
Use proper operator
Miodrag Milanovic
2022-05-27
1
-4
/
+4
*
add $divfloor support to write_smt2
Jacob Lifshay
2022-05-24
1
-0
/
+21
*
Add propagated clock signals into btor info file
Claire Xenia Wolf
2022-05-04
1
-0
/
+2
*
smt2: Make write port array stores conditional on nonzero write mask
Jannis Harder
2022-04-20
1
-2
/
+4
*
pass jny: flipped the defaults for the inclusion of various bits of metadata
Aki Van Ness
2022-04-08
1
-30
/
+30
*
pass jny: ensured the cell collection is cleared between modules
Aki Van Ness
2022-04-08
1
-0
/
+1
*
pass jny: fixed missing quotes around the type value for the cell sort
Aki Van Ness
2022-04-08
1
-1
/
+1
*
pass jny: fixed the backslash escape for strings
Aki Van Ness
2022-04-08
1
-2
/
+1
*
pass jny: removed the invalid json escapes
Aki Van Ness
2022-04-08
1
-12
/
+0
*
pass jny: added some todo comments about things that need to be done before a...
Aki Van Ness
2022-04-08
1
-0
/
+5
*
pass jny: changed the constructor initializers to use parens rather than curl...
Aki Van Ness
2022-04-08
1
-2
/
+2
*
pass jny: fixed the string escape method to be less jank and more proper
Aki Van Ness
2022-04-08
1
-21
/
+58
*
pass jny: fixed the signed output for param value output
Aki Van Ness
2022-04-08
1
-1
/
+1
*
pass jny: added connection output
Aki Van Ness
2022-04-08
1
-4
/
+88
*
pass jny: added filter options for including connections, attributes, and pro...
Aki Van Ness
2022-04-08
1
-25
/
+125
*
pass jny: large chunk of refactoring to make the JSON output more pretty and ...
Aki Van Ness
2022-04-08
1
-75
/
+89
*
metadata -> jny: migrated to the proper name for the pass
Aki Van Ness
2022-04-08
3
-21
/
+19
*
pass metadata: added the machinery to write param and attributes
Aki Van Ness
2022-04-08
1
-8
/
+27
*
pass metadata: removed superfluous `stringf` calls
Aki Van Ness
2022-04-08
1
-37
/
+40
*
pass metadata: some more rough work on dumping the parameters and attributes
Aki Van Ness
2022-04-08
1
-6
/
+6
*
pass metadata: fixed the MetadataWriter object initializer so GCC 4.8 is happy
Aki Van Ness
2022-04-08
1
-1
/
+1
*
pass metadata: added the output of parameters,
Aki Van Ness
2022-04-08
1
-7
/
+35
*
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
[prev]
[next]