index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
backends
/
smt2
/
smtbmc.py
Commit message (
Expand
)
Author
Age
Files
Lines
*
smtbmc: Add --check-witness mode
Jannis Harder
2022-08-16
1
-1
/
+22
*
smtbmc: Add native json based witness format + smt2 backend support
Jannis Harder
2022-08-16
1
-108
/
+292
*
smtbmc: fix bmc with no assertions
Jannis Harder
2022-03-29
1
-0
/
+2
*
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
*
|
ignore # comment lines
N. Engelhardt
2022-03-24
1
-1
/
+1
|
/
*
Add a bit of flexibilty re trace length when processing aiger witnesses in sm...
Claire Xenia Wolf
2022-02-11
1
-1
/
+4
*
yosys-smtbmc: Fix reused loop variable.
Marcelina KoĆcielnicka
2021-09-10
1
-4
/
+4
*
Fixing old e-mail addresses and deadnames
Claire Xenia Wolf
2021-06-08
1
-1
/
+1
*
smtbmc: escape identifiers in verilog testbench
Jakob Wenzel
2020-10-06
1
-11
/
+29
*
Only allow "sat" and "unsat" smt solver responses in yosys-smtbmc
Claire Wolf
2020-07-20
1
-2
/
+2
*
smtbmc and qbfsat: Add timeout option to set solver timeouts for Z3, Yices, a...
Alberto Gonzalez
2020-05-25
1
-2
/
+3
*
smtbmc: Fix typo in error message.
Alberto Gonzalez
2020-05-19
1
-1
/
+1
*
smtbmc: Fix return status handling.
Alberto Gonzalez
2020-05-14
1
-2
/
+2
*
Merge pull request #1830 from boqwxp/qbfsat
N. Engelhardt
2020-04-15
1
-3
/
+15
|
\
|
*
Updated `yosys-smtbmc` to optionally dump raw bit strings, and fixed hole val...
Alberto Gonzalez
2020-04-04
1
-3
/
+15
*
|
Support custom PROGRAM_PREFIX
Miodrag Milanovic
2020-04-10
1
-2
/
+1
|
/
*
Add support for optimizing exists-forall problems.
Alberto Gonzalez
2020-03-13
1
-0
/
+14
*
Change smtbmc "Warmup failed" status to "PREUNSAT"
Clifford Wolf
2019-10-03
1
-14
/
+14
*
Fix smtbmc.py handling of zero appended steps
Clifford Wolf
2019-03-14
1
-5
/
+5
*
Fix typographical and grammatical errors and inconsistencies.
whitequark
2019-01-02
1
-4
/
+4
*
Add yosys-smtbmc support for btor witness
Clifford Wolf
2018-12-10
1
-15
/
+100
*
Add "yosys-smtbmc --btorwit" skeleton
Clifford Wolf
2018-12-08
1
-1
/
+19
*
Add proper error message for when smtbmc "append" fails
Clifford Wolf
2018-11-04
1
-2
/
+10
*
Imporove yosys-smtbmc error handling, Improve VCD output
Clifford Wolf
2018-03-05
1
-3
/
+6
*
Fix smtbmc smtc/aiw parser for wire names containing []
Clifford Wolf
2018-03-03
1
-1
/
+1
*
Small fixes and improvements in $allconst/$allseq handling
Clifford Wolf
2018-02-26
1
-12
/
+18
*
Add smtbmc support for exist-forall problems
Clifford Wolf
2018-02-23
1
-73
/
+209
*
Add support for mockup clock signals in yosys-smtbmc vcd output
Clifford Wolf
2018-02-20
1
-1
/
+5
*
Add yosys-smtbmc VCD writer support for memories with async writes
Clifford Wolf
2017-12-14
1
-4
/
+8
*
Fixed "yosys-smtbmc -g" handling of no solution
Clifford Wolf
2017-11-27
1
-1
/
+1
*
Fix a bug in yosys-smtbmc in ROM handling
Clifford Wolf
2017-10-25
1
-0
/
+3
*
Add "yosys-smtbmc --smtc-init --smtc-top --noinit"
Clifford Wolf
2017-08-04
1
-20
/
+66
*
Add verilator support to testbenches generated by yosys-smtbmc
Clifford Wolf
2017-07-21
1
-3
/
+15
*
Generate FSM-style testbenches in smtbmc
Clifford Wolf
2017-07-12
1
-5
/
+23
*
Change s/asserts/assertions/ in yosys-smtbmc log messages
Clifford Wolf
2017-07-07
1
-2
/
+2
*
Add "yosys-smtbmc --presat"
Clifford Wolf
2017-07-07
1
-3
/
+23
*
Remove unneeded delays in smtbmc vlogtb
Clifford Wolf
2017-07-03
1
-1
/
+1
*
Add "yosys-smtbmc --vlogtb-top"
Clifford Wolf
2017-07-01
1
-15
/
+32
*
Fix smtbmc vlogtb bug in $anyseq handling
Clifford Wolf
2017-07-01
1
-3
/
+3
*
Fix generation of vlogtb output in yosys-smtbmc for "rand reg" and "rand cons...
Clifford Wolf
2017-06-07
1
-1
/
+19
*
Use hex addresses in smtbmc vcd mem traces
Clifford Wolf
2017-02-28
1
-1
/
+1
*
Add smtbmc support for memory vcd dumping
Clifford Wolf
2017-02-26
1
-0
/
+98
*
Fix assert checking in "yosys-smtbmc -c --append"
Clifford Wolf
2017-02-26
1
-1
/
+1
*
Improve (and fix for stbv mode) SMT2 memory API
Clifford Wolf
2017-02-26
1
-19
/
+24
*
Add support for "yosys-smtbmc -c --append"
Clifford Wolf
2017-02-25
1
-1
/
+13
*
Add "write_smt2 -stbv"
Clifford Wolf
2017-02-24
1
-4
/
+4
*
Add assert check in "yosys-smtbmc -c"
Clifford Wolf
2017-02-04
1
-7
/
+28
*
Improve yosys-smtbmc cover() support
Clifford Wolf
2017-02-04
1
-5
/
+19
[next]