projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
Fix different abc9 test
[yosys.git]
/
backends
/
smt2
/
2018-03-08
Clifford Wolf
Remove debug prints from yosys-smtbmc VCD writer
tree
|
commitdiff
2018-03-07
Clifford Wolf
Check results of (check-sat) in yosys-smtbmc
tree
|
commitdiff
2018-03-05
Clifford Wolf
Imporove yosys-smtbmc error handling, Improve VCD output
tree
|
commitdiff
2018-03-04
Clifford Wolf
Improve SMT2 encoding of $reduce_{and,or,bool}
tree
|
commitdiff
2018-03-04
Clifford Wolf
Fix a hangup in yosys-smtbmc error handling
tree
|
commitdiff
2018-03-03
Clifford Wolf
Improved error handling in yosys-smtbmc
tree
|
commitdiff
2018-03-03
Clifford Wolf
Terminate running SMT solver when smtbmc is terminated
tree
|
commitdiff
2018-03-03
Clifford Wolf
Fix smtbmc smtc/aiw parser for wire names containing []
tree
|
commitdiff
2018-03-01
Clifford Wolf
Mangle names with square brackets in VCD files to work...
tree
|
commitdiff
2018-02-26
Clifford Wolf
Small fixes and improvements in $allconst/$allseq handling
tree
|
commitdiff
2018-02-23
Clifford Wolf
Merge branch 'forall'
tree
|
commitdiff
2018-02-23
Clifford Wolf
Add smtbmc support for exist-forall problems
tree
|
commitdiff
2018-02-20
Clifford Wolf
Add support for mockup clock signals in yosys-smtbmc...
tree
|
commitdiff
2018-02-08
Clifford Wolf
Fix handling of zero-length cell connections in SMT2...
tree
|
commitdiff
2018-02-03
Clifford Wolf
Merge pull request #488 from azonenberg/for_clifford
tree
|
commitdiff
2018-01-29
Clifford Wolf
Fix smtio.py for large SMT2 S-expressions
tree
|
commitdiff
2018-01-18
Clifford Wolf
Move user-provided smt2 info stmts to the top of the...
tree
|
commitdiff
2017-12-14
Clifford Wolf
Merge branch 'master' into btor-ng
tree
|
commitdiff
2017-12-14
Clifford Wolf
Add yosys-smtbmc VCD writer support for memories with...
tree
|
commitdiff
2017-12-14
Clifford Wolf
Merge branch 'master' into btor-ng
tree
|
commitdiff
2017-12-14
Clifford Wolf
Add smt2 back-end support for async write memories
tree
|
commitdiff
2017-11-28
Clifford Wolf
Merge pull request #462 from daveshah1/up5k
tree
|
commitdiff
2017-11-27
Clifford Wolf
Fixed "yosys-smtbmc -g" handling of no solution
tree
|
commitdiff
2017-11-27
Clifford Wolf
Fixed "yosys-smtbmc -g" handling of no solution
tree
|
commitdiff
2017-11-24
Clifford Wolf
Merge pull request #446 from mithro/travis-rework
tree
|
commitdiff
2017-11-09
dh73
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2017-10-29
Clifford Wolf
Fix SMT2 handling of initstate in sub-modules
tree
|
commitdiff
2017-10-25
Clifford Wolf
Improve smtio performance by using reader thread, not...
tree
|
commitdiff
2017-10-25
Clifford Wolf
Use separate writer thread for talking to SMT solver...
tree
|
commitdiff
2017-10-25
Clifford Wolf
Improve p_* functions in smtio.py
tree
|
commitdiff
2017-10-25
Clifford Wolf
Capsulate smt-solver read/write in separate functions
tree
|
commitdiff
2017-10-25
Clifford Wolf
Fix a bug in yosys-smtbmc in ROM handling
tree
|
commitdiff
2017-08-25
Clifford Wolf
Merge branch 'extract_fa'
tree
|
commitdiff
2017-08-25
Clifford Wolf
Fix bug in write_smt2 (export logic driving hierarchica...
tree
|
commitdiff
2017-08-04
Clifford Wolf
Add "yosys-smtbmc --smtc-init --smtc-top --noinit"
tree
|
commitdiff
2017-07-21
Clifford Wolf
Add verilator support to testbenches generated by yosys...
tree
|
commitdiff
2017-07-12
Clifford Wolf
Generate FSM-style testbenches in smtbmc
tree
|
commitdiff
2017-07-07
Clifford Wolf
Change s/asserts/assertions/ in yosys-smtbmc log messages
tree
|
commitdiff
2017-07-07
Clifford Wolf
Add "yosys-smtbmc --presat"
tree
|
commitdiff
2017-07-03
Clifford Wolf
Merge pull request #352 from rqou/master
tree
|
commitdiff
2017-07-03
Clifford Wolf
Remove unneeded delays in smtbmc vlogtb
tree
|
commitdiff
2017-07-01
Clifford Wolf
Add "yosys-smtbmc --vlogtb-top"
tree
|
commitdiff
2017-07-01
Clifford Wolf
Fix smtbmc vlogtb bug in $anyseq handling
tree
|
commitdiff
2017-06-07
Clifford Wolf
Fix generation of vlogtb output in yosys-smtbmc for...
tree
|
commitdiff
2017-05-27
Clifford Wolf
Change default smt2 solver to yices (Yices 2 has switch...
tree
|
commitdiff
2017-05-17
Clifford Wolf
Add $_ANDNOT_ and $_ORNOT_ gates
tree
|
commitdiff
2017-05-08
Clifford Wolf
Fix boolector support in yosys-smtbmc
tree
|
commitdiff
2017-03-20
Clifford Wolf
Add "write_smt2 -stdt" mode
tree
|
commitdiff
2017-03-04
Clifford Wolf
Improve smt2 encodings of assert/assume/cover, better...
tree
|
commitdiff
2017-02-28
Clifford Wolf
Use hex addresses in smtbmc vcd mem traces
tree
|
commitdiff
2017-02-26
Clifford Wolf
Add smtbmc support for memory vcd dumping
tree
|
commitdiff
2017-02-26
Clifford Wolf
Fix extra newline bug in write_smt2
tree
|
commitdiff
2017-02-26
Clifford Wolf
Fix bug in smtio unroll code
tree
|
commitdiff
2017-02-26
Clifford Wolf
Fix assert checking in "yosys-smtbmc -c --append"
tree
|
commitdiff
2017-02-26
Clifford Wolf
Improve (and fix for stbv mode) SMT2 memory API
tree
|
commitdiff
2017-02-25
Clifford Wolf
Add support for "yosys-smtbmc -c --append"
tree
|
commitdiff
2017-02-25
Clifford Wolf
Merge branch 'master' of https://github.com/klammerj...
tree
|
commitdiff
2017-02-24
Clifford Wolf
Merge pull request #322 from azonenberg/master
tree
|
commitdiff
2017-02-24
Clifford Wolf
Add "write_smt2 -stbv"
tree
|
commitdiff
2017-02-24
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2017-02-24
Clifford Wolf
Add SMT2 statebv mode (inactive for now)
tree
|
commitdiff
2017-02-19
Clifford Wolf
Add "yosys-smtbmc -S <opt>"
tree
|
commitdiff
2017-02-11
Clifford Wolf
Merge branch 'master' of https://github.com/stv0g/yosys...
tree
|
commitdiff
2017-02-09
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2017-02-04
Clifford Wolf
Add assert check in "yosys-smtbmc -c"
tree
|
commitdiff
2017-02-04
Clifford Wolf
Improve yosys-smtbmc cover() support
tree
|
commitdiff
2017-02-04
Clifford Wolf
Partially implement cover() support in yosys-smtbmc
tree
|
commitdiff
2017-02-04
Clifford Wolf
Further improve cover() support
tree
|
commitdiff
2017-01-31
Clifford Wolf
Merge branch 'opt_compare_pr' of https://github.com...
tree
|
commitdiff
2017-01-30
Clifford Wolf
Add "yosys-smtbmc --aig <aim_filename>:<aiw_filename...
tree
|
commitdiff
2017-01-28
Clifford Wolf
Add "yosys-smtbmc --aig-noheader" and AIGER mem init...
tree
|
commitdiff
2017-01-15
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2017-01-11
Clifford Wolf
Fix $initstate handling bug in yosys-smtbmc
tree
|
commitdiff
2017-01-05
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2017-01-04
Clifford Wolf
Implicitly set "yosys-smtbmc --noprogress" on windows
tree
|
commitdiff
2017-01-04
Clifford Wolf
Fixed "yosys-smtbmc --noprogress"
tree
|
commitdiff
2017-01-02
Clifford Wolf
Handle "always 1" like "always -1" in .smtc files
tree
|
commitdiff
2016-12-03
Clifford Wolf
Improved yosys-smtbmc default -t/--assume-skipped for...
tree
|
commitdiff
2016-12-01
Clifford Wolf
Added "yosys-smtbmc --aig"
tree
|
commitdiff
2016-12-01
Clifford Wolf
Added support for partially initialized regs to smt2...
tree
|
commitdiff
2016-11-28
Clifford Wolf
Bugfix in smt2 back-end for pure checker modules
tree
|
commitdiff
2016-11-27
Clifford Wolf
Removed shebang line from smtio.py, fixes #279
tree
|
commitdiff
2016-11-22
Clifford Wolf
Merge pull request #274 from oldtopman/lcurses
tree
|
commitdiff
2016-11-22
Clifford Wolf
Added "yosys-smtbmc --append"
tree
|
commitdiff
2016-10-19
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2016-10-18
Clifford Wolf
Ignore L_pi nets in "yosys-smtbmc --cex"
tree
|
commitdiff
2016-10-17
Clifford Wolf
Added "yosys-smtbmc --cex <filename>"
tree
|
commitdiff
2016-10-16
Clifford Wolf
cleanup in write_smt2 log messages (-bv and -mem are...
tree
|
commitdiff
2016-10-14
Clifford Wolf
Added $anyseq cell type
tree
|
commitdiff
2016-10-11
Clifford Wolf
Added $ff and $_FF_ cell types
tree
|
commitdiff
2016-10-11
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2016-10-08
Clifford Wolf
Added smtc support for top-level state with [], [N...
tree
|
commitdiff
2016-10-03
Clifford Wolf
Bugfix in yosys-smtbmc --noincr
tree
|
commitdiff
2016-10-03
Clifford Wolf
yosys-smtbmc: ABC is a QF_BV solver
tree
|
commitdiff
2016-10-03
Clifford Wolf
Added "yosys-smtbmc --noincr"
tree
|
commitdiff
2016-10-02
Clifford Wolf
yosys-smtbmc: added smtc [...] support for cells
tree
|
commitdiff
2016-10-01
Clifford Wolf
Added "yosys-smtbmc -s abc"
tree
|
commitdiff
2016-09-24
Clifford Wolf
Minor improvements in yosys-smtbmc
tree
|
commitdiff
2016-09-23
Clifford Wolf
Merge branch 'master' of https://github.com/brouhaha...
tree
|
commitdiff
2016-09-19
Clifford Wolf
Added yosys-smtbmc --noinfo and --dummy
tree
|
commitdiff
next