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
Commit message (
Expand
)
Author
Age
*
do monomorphic checking
qadeer
2013-11-22
*
Fixedpoint VC catch up with recent changes
Ken McMillan
2013-11-11
*
Merge duality changes to mainline
Ken McMillan
2013-11-09
|
\
|
*
handling timeouts for fixedpoint engines
Ken McMillan
2013-11-09
*
|
ProverInterface: model isn't available on timeout
akashlal
2013-11-02
*
|
small refactoring
Pantazis Deligiannis
2013-10-02
*
|
changes to support a configured errorLimit
Pantazis Deligiannis
2013-09-30
*
|
Merge
Pantazis Deligiannis
2013-08-20
|
\
\
*
|
|
new option to disable checking for loop maintained invariants - this leads to...
Pantazis Deligiannis
2013-08-15
|
*
|
Reverted change to use MODEL_ON_FINAL_CHECK, which seems to cause Z3 unexpect...
Rustan Leino
2013-08-02
|
*
|
Turned on options in Z3 to try producing models for timeouts.
wuestholz
2013-08-02
|
*
|
Removed harmful "Assert(false)".
wuestholz
2013-07-26
|
/
/
*
|
Resolved some issues with data races.
wuestholz
2013-07-23
*
|
More refactoring
Ally Donaldson
2013-07-22
*
|
small fix to pickup correctly the CVC4 executable
Pantazis Deligiannis
2013-07-22
*
|
fix
Pantazis Deligiannis
2013-07-22
*
|
refactoring
Pantazis Deligiannis
2013-07-22
*
|
refactoring
Pantazis Deligiannis
2013-07-22
*
|
merge
Pantazis Deligiannis
2013-07-19
|
\
\
*
|
|
refactoring and fixes in the SMTLIB2 parser
Pantazis Deligiannis
2013-07-19
|
*
|
Revamp of staged Houdini, and completion of parallel support.
allydonaldson
2013-07-18
*
|
|
fix: can now setup CVC4 logic properly, default is ALL_SUPPORTED, other logic...
Pantazis Deligiannis
2013-07-15
*
|
|
fix for SetTimeOut in ProverInterface to work only under Z3 parser
Pantazis Deligiannis
2013-07-15
*
|
|
small fix
Pantazis Deligiannis
2013-07-15
*
|
|
Merge
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
|
*
|
code cleanup and refactoring
Pantazis Deligiannis
2013-07-11
|
*
|
code cleanup & refactoring
Pantazis Deligiannis
2013-07-11
*
|
|
Worked on the parallelization.
wuestholz
2013-07-10
|
*
|
the cvc4 parser can now parse nested array expressions
Pantazis Deligiannis
2013-07-10
|
*
|
fixed a bug where a formula was being send to CVC4 although it shouldn't norm...
Pantazis Deligiannis
2013-07-10
|
*
|
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
*
|
|
Worked on the parallelization.
wuestholz
2013-07-08
|
*
|
allows (reset) to be send only to the Z3 prover
Pantazis Deligiannis
2013-07-09
*
|
|
Worked on the parallelization.
wuestholz
2013-07-08
|
*
|
merge
Pantazis Deligiannis
2013-07-06
|
|
\
\
|
|
/
/
|
/
|
|
*
|
|
Worked on the parallelization.
wuestholz
2013-07-05
*
|
|
Worked on the parallelization.
wuestholz
2013-07-02
*
|
|
Worked on the parallelization.
wuestholz
2013-07-01
|
|
/
|
/
|
*
|
fixed bad merge
Ken McMillan
2013-06-15
*
|
Merge fixes for duality
Ken McMillan
2013-06-14
|
\
\
|
*
|
Fixes for duality under corral
Ken McMillan
2013-06-14
|
|
*
fixed the CVC4 SMTLIB array parsing to work under the latest CVC4 model repre...
pantazis
2013-06-13
|
|
*
merged more CVC4 and Z3 SMTLIB2 parsing methods ... results into a more compa...
pantazis
2013-06-13
|
|
*
Z3 new parser takes now a new option for pp-bv-literals
pantazis
2013-06-12
|
|
*
naive SMTLIB2 Parser
pantazis
2013-06-12
|
|
*
CVC4 Parser
pantazis
2013-06-12
|
|
*
cvc4 command line option & cvc4.cs in Provers
pantazis
2013-06-12
|
|
/
|
/
|
*
|
Fixed an issue in the prover interface.
wuestholz
2013-06-07
[next]