index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
Provers
/
SMTLib
/
SMTLibProverOptions.cs
Commit message (
Expand
)
Author
Age
*
Normalise line endings using a .gitattributes file. Unfortunately
Dan Liew
2015-06-28
*
new option to disable checking for loop maintained invariants - this leads to...
Pantazis Deligiannis
2013-08-15
*
fix: can now setup CVC4 logic properly, default is ALL_SUPPORTED, other logic...
Pantazis Deligiannis
2013-07-15
*
temp fix until CVC4 bug is fixed (using QF_ALL_SUPPORTED instead of ALL_SUPPO...
Pantazis Deligiannis
2013-07-15
*
added specific command line options to enable the SMTLIB2 output model parser...
Pantazis Deligiannis
2013-07-09
*
some clean up
Pantazis Deligiannis
2013-07-09
*
Use the new ProverInterface's Evaluate method in stratified inlinig
Unknown
2013-01-03
*
Bug fix for ExplainHoudini. Made it robust under timeouts.
Unknown
2012-12-20
*
Implement support for alternative SMT solvers -- CVC3 and CVC4
Peter Collingbourne
2012-09-06
*
removed lazy inlining
qadeer
2012-04-28
*
using model instead of labels
Unknown
2012-02-23
*
houdini will not request models now
qadeer
2012-02-08
*
Added option of turning off model generation in SI. Can be very expensive som...
akashlal
2011-11-26
*
SMTLib: Only use (set-logic ...) when requested; quote some more symbols
Michal Moskal
2011-06-30
*
Add MULTI_TRACES prover option (equivalent of /z3multipleErrors)
MichalMoskal
2011-02-23
*
Ask Z3 to generate models, in V2 format, when needed
MichalMoskal
2011-02-18
*
Provide /p: as the short form of /proverOpt:.
MichalMoskal
2011-02-17