projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge pull request #693 from YosysHQ/rlimit
[yosys.git]
/
backends
/
smt2
/
smtbmc.py
2018-11-04
Clifford Wolf
Add proper error message for when smtbmc "append" fails
blob
|
commitdiff
|
raw
2018-03-05
Clifford Wolf
Imporove yosys-smtbmc error handling, Improve VCD output
blob
|
commitdiff
|
raw
|
diff to current
2018-03-03
Clifford Wolf
Fix smtbmc smtc/aiw parser for wire names containing []
blob
|
commitdiff
|
raw
|
diff to current
2018-02-26
Clifford Wolf
Small fixes and improvements in $allconst/$allseq handling
blob
|
commitdiff
|
raw
|
diff to current
2018-02-23
Clifford Wolf
Merge branch 'forall'
blob
|
commitdiff
|
raw
|
diff to current
2018-02-23
Clifford Wolf
Add smtbmc support for exist-forall problems
blob
|
commitdiff
|
raw
|
diff to current
2018-02-20
Clifford Wolf
Add support for mockup clock signals in yosys-smtbmc...
blob
|
commitdiff
|
raw
|
diff to current
2017-12-14
Clifford Wolf
Merge branch 'master' into btor-ng
blob
|
commitdiff
|
raw
|
diff to current
2017-12-14
Clifford Wolf
Add yosys-smtbmc VCD writer support for memories with...
blob
|
commitdiff
|
raw
|
diff to current
2017-11-28
Clifford Wolf
Merge pull request #462 from daveshah1/up5k
blob
|
commitdiff
|
raw
|
diff to current
2017-11-27
Clifford Wolf
Fixed "yosys-smtbmc -g" handling of no solution
blob
|
commitdiff
|
raw
|
diff to current
2017-11-27
Clifford Wolf
Fixed "yosys-smtbmc -g" handling of no solution
blob
|
commitdiff
|
raw
|
diff to current
2017-11-09
dh73
Merge https://github.com/cliffordwolf/yosys
blob
|
commitdiff
|
raw
|
diff to current
2017-10-25
Clifford Wolf
Fix a bug in yosys-smtbmc in ROM handling
blob
|
commitdiff
|
raw
|
diff to current
2017-08-04
Clifford Wolf
Add "yosys-smtbmc --smtc-init --smtc-top --noinit"
blob
|
commitdiff
|
raw
|
diff to current
2017-07-21
Clifford Wolf
Add verilator support to testbenches generated by yosys...
blob
|
commitdiff
|
raw
|
diff to current
2017-07-12
Clifford Wolf
Generate FSM-style testbenches in smtbmc
blob
|
commitdiff
|
raw
|
diff to current
2017-07-07
Clifford Wolf
Change s/asserts/assertions/ in yosys-smtbmc log messages
blob
|
commitdiff
|
raw
|
diff to current
2017-07-07
Clifford Wolf
Add "yosys-smtbmc --presat"
blob
|
commitdiff
|
raw
|
diff to current
2017-07-03
Clifford Wolf
Merge pull request #352 from rqou/master
blob
|
commitdiff
|
raw
|
diff to current
2017-07-03
Clifford Wolf
Remove unneeded delays in smtbmc vlogtb
blob
|
commitdiff
|
raw
|
diff to current
2017-07-01
Clifford Wolf
Add "yosys-smtbmc --vlogtb-top"
blob
|
commitdiff
|
raw
|
diff to current
2017-07-01
Clifford Wolf
Fix smtbmc vlogtb bug in $anyseq handling
blob
|
commitdiff
|
raw
|
diff to current
2017-06-07
Clifford Wolf
Fix generation of vlogtb output in yosys-smtbmc for...
blob
|
commitdiff
|
raw
|
diff to current
2017-02-28
Clifford Wolf
Use hex addresses in smtbmc vcd mem traces
blob
|
commitdiff
|
raw
|
diff to current
2017-02-26
Clifford Wolf
Add smtbmc support for memory vcd dumping
blob
|
commitdiff
|
raw
|
diff to current
2017-02-26
Clifford Wolf
Fix assert checking in "yosys-smtbmc -c --append"
blob
|
commitdiff
|
raw
|
diff to current
2017-02-26
Clifford Wolf
Improve (and fix for stbv mode) SMT2 memory API
blob
|
commitdiff
|
raw
|
diff to current
2017-02-25
Clifford Wolf
Add support for "yosys-smtbmc -c --append"
blob
|
commitdiff
|
raw
|
diff to current
2017-02-25
Clifford Wolf
Merge branch 'master' of https://github.com/klammerj...
blob
|
commitdiff
|
raw
|
diff to current
2017-02-24
Clifford Wolf
Merge pull request #322 from azonenberg/master
blob
|
commitdiff
|
raw
|
diff to current
2017-02-24
Clifford Wolf
Add "write_smt2 -stbv"
blob
|
commitdiff
|
raw
|
diff to current
2017-02-11
Clifford Wolf
Merge branch 'master' of https://github.com/stv0g/yosys...
blob
|
commitdiff
|
raw
|
diff to current
2017-02-09
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
blob
|
commitdiff
|
raw
|
diff to current
2017-02-04
Clifford Wolf
Add assert check in "yosys-smtbmc -c"
blob
|
commitdiff
|
raw
|
diff to current
2017-02-04
Clifford Wolf
Improve yosys-smtbmc cover() support
blob
|
commitdiff
|
raw
|
diff to current
2017-02-04
Clifford Wolf
Partially implement cover() support in yosys-smtbmc
blob
|
commitdiff
|
raw
|
diff to current
2017-01-31
Clifford Wolf
Merge branch 'opt_compare_pr' of https://github.com...
blob
|
commitdiff
|
raw
|
diff to current
2017-01-30
Clifford Wolf
Add "yosys-smtbmc --aig <aim_filename>:<aiw_filename...
blob
|
commitdiff
|
raw
|
diff to current
2017-01-28
Clifford Wolf
Add "yosys-smtbmc --aig-noheader" and AIGER mem init...
blob
|
commitdiff
|
raw
|
diff to current
2017-01-15
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
blob
|
commitdiff
|
raw
|
diff to current
2017-01-11
Clifford Wolf
Fix $initstate handling bug in yosys-smtbmc
blob
|
commitdiff
|
raw
|
diff to current
2017-01-05
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
blob
|
commitdiff
|
raw
|
diff to current
2017-01-02
Clifford Wolf
Handle "always 1" like "always -1" in .smtc files
blob
|
commitdiff
|
raw
|
diff to current
2016-12-03
Clifford Wolf
Improved yosys-smtbmc default -t/--assume-skipped for...
blob
|
commitdiff
|
raw
|
diff to current
2016-12-01
Clifford Wolf
Added "yosys-smtbmc --aig"
blob
|
commitdiff
|
raw
|
diff to current
2016-11-22
Clifford Wolf
Merge pull request #274 from oldtopman/lcurses
blob
|
commitdiff
|
raw
|
diff to current
2016-11-22
Clifford Wolf
Added "yosys-smtbmc --append"
blob
|
commitdiff
|
raw
|
diff to current
2016-10-19
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
blob
|
commitdiff
|
raw
|
diff to current
2016-10-18
Clifford Wolf
Ignore L_pi nets in "yosys-smtbmc --cex"
blob
|
commitdiff
|
raw
|
diff to current
2016-10-17
Clifford Wolf
Added "yosys-smtbmc --cex <filename>"
blob
|
commitdiff
|
raw
|
diff to current
2016-10-11
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
blob
|
commitdiff
|
raw
|
diff to current
2016-10-08
Clifford Wolf
Added smtc support for top-level state with [], [N...
blob
|
commitdiff
|
raw
|
diff to current
2016-09-24
Clifford Wolf
Minor improvements in yosys-smtbmc
blob
|
commitdiff
|
raw
|
diff to current
2016-09-23
Clifford Wolf
Merge branch 'master' of https://github.com/brouhaha...
blob
|
commitdiff
|
raw
|
diff to current
2016-09-19
Clifford Wolf
Added yosys-smtbmc --noinfo and --dummy
blob
|
commitdiff
|
raw
|
diff to current
2016-09-18
Clifford Wolf
Improved handling of SMT2 logics in yosys-smtbmc
blob
|
commitdiff
|
raw
|
diff to current
2016-09-17
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
blob
|
commitdiff
|
raw
|
diff to current
2016-09-17
Clifford Wolf
yosys-smtbmc: added -i support smtc files
blob
|
commitdiff
|
raw
|
diff to current
2016-09-13
Clifford Wolf
Work-around for boolector bug
blob
|
commitdiff
|
raw
|
diff to current
2016-09-05
Clifford Wolf
yosys-smtbmc: flush stdout after each log msg
blob
|
commitdiff
|
raw
|
diff to current
2016-09-03
Clifford Wolf
Added boolector support to yosys-smtbmc
blob
|
commitdiff
|
raw
|
diff to current
2016-09-02
Clifford Wolf
Merge branch 'smtbmc-kmanfi'
blob
|
commitdiff
|
raw
|
diff to current
2016-09-02
Kaj Tuomi
More PEP 8 fixes.
blob
|
commitdiff
|
raw
|
diff to current
2016-09-02
Kaj Tuomi
Indentation and PEP 8 fixes. CamelCase and white space...
blob
|
commitdiff
|
raw
|
diff to current
2016-09-02
Kaj Tuomi
Some syntax fixes. Generator and comma separated list...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-30
Clifford Wolf
Added $anyconst support to yosys-smtbmc
blob
|
commitdiff
|
raw
|
diff to current
2016-08-29
Clifford Wolf
Added "yosys-smtbmc --dump-all"
blob
|
commitdiff
|
raw
|
diff to current
2016-08-29
Clifford Wolf
More yosys-smtbmc bugfixes
blob
|
commitdiff
|
raw
|
diff to current
2016-08-29
Clifford Wolf
Various fixes and improvements in yosys-smtbmc
blob
|
commitdiff
|
raw
|
diff to current
2016-08-27
Clifford Wolf
Some changes to yosys-smtbmc cmd line options, add...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-27
Clifford Wolf
Added smtc "final" statement
blob
|
commitdiff
|
raw
|
diff to current
2016-08-26
Clifford Wolf
Merge pull request #215 from frznchckn/to_upstream
blob
|
commitdiff
|
raw
|
diff to current
2016-08-24
Clifford Wolf
More yosys-smtbmc smtc features
blob
|
commitdiff
|
raw
|
diff to current
2016-08-24
Clifford Wolf
yosys-smtbmc --smtc -g
blob
|
commitdiff
|
raw
|
diff to current
2016-08-22
Clifford Wolf
Minor yosys-smtbmc bugfix
blob
|
commitdiff
|
raw
|
diff to current
2016-08-22
Clifford Wolf
Added "yosys-smtbmc --constr"
blob
|
commitdiff
|
raw
|
diff to current
2016-08-22
Clifford Wolf
Added "yosys-smtbmc --dump-constr"
blob
|
commitdiff
|
raw
|
diff to current
2016-08-21
Clifford Wolf
yosys-smtbmc: improved --dump-vlogtb handling of memories
blob
|
commitdiff
|
raw
|
diff to current
2016-08-20
Clifford Wolf
Added "yosys-smtbmc --dump-vlogtb"
blob
|
commitdiff
|
raw
|
diff to current
2016-08-20
Clifford Wolf
Added "yosys-smtbmc -g"
blob
|
commitdiff
|
raw
|
diff to current
2016-08-20
Clifford Wolf
Added smtbmc longopt support
blob
|
commitdiff
|
raw
|
diff to current
2016-08-18
Clifford Wolf
Improved smtbmc vcd generation performance
blob
|
commitdiff
|
raw
|
diff to current
2016-08-17
Clifford Wolf
Added printing of code loc of failed asserts to yosys...
blob
|
commitdiff
|
raw
|
diff to current
2016-07-30
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
blob
|
commitdiff
|
raw
|
diff to current
2016-07-27
Clifford Wolf
Added $initstate support to smtbmc flow
blob
|
commitdiff
|
raw
|
diff to current
2016-07-11
Clifford Wolf
Yosys-smtbmc: Support for hierarchical VCD dumping
blob
|
commitdiff
|
raw
|
diff to current
2016-07-11
Clifford Wolf
Moved smt2 yosys info parsing from smtbmc.py to smtio.py
blob
|
commitdiff
|
raw
|
diff to current
2016-07-10
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
blob
|
commitdiff
|
raw
|
diff to current
2016-07-10
Clifford Wolf
Support for hierarchical designs in smt2 back-end
blob
|
commitdiff
|
raw
|
diff to current
2016-07-08
Clifford Wolf
Merge branch 'yosys-0.5-vtr' of https://github.com...
blob
|
commitdiff
|
raw
|
diff to current
2015-12-20
Clifford Wolf
Added yosys-smtbmc -S
blob
|
commitdiff
|
raw
|
diff to current
2015-12-07
Clifford Wolf
Merge pull request #108 from cseed/master
blob
|
commitdiff
|
raw
|
diff to current
2015-10-15
Clifford Wolf
Progress in yosys-smtbmc
blob
|
commitdiff
|
raw
|
diff to current
2015-10-15
Clifford Wolf
Improvements in yosys-smtbmc
blob
|
commitdiff
|
raw
|
diff to current
2015-10-14
Clifford Wolf
More "yosys-smtbmc -c" fixes
blob
|
commitdiff
|
raw
|
diff to current
2015-10-14
Clifford Wolf
Fixed yosys-smtbmc -c
blob
|
commitdiff
|
raw
|
diff to current
2015-10-13
Clifford Wolf
Added yosys-smtbmc copyright
blob
|
commitdiff
|
raw
|
diff to current
2015-10-13
Clifford Wolf
Improvements in yosys-smtbmc
blob
|
commitdiff
|
raw
|
diff to current
2015-10-13
Clifford Wolf
Added yosys-smtbmc
blob
|
commitdiff
|
raw
|
diff to current
next