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
/
ProverInterface.cs
Commit message (
Expand
)
Author
Age
*
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
|
\
|
*
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
*
|
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
|
|
/
|
/
|
*
|
Fixed an issue in the prover interface.
wuestholz
2013-06-07
*
|
Changed the prover interface to report traces for time outs and out of memory.
wuestholz
2013-05-30
*
|
Minor change to prevent prover errors during trace extraction
wuestholz
2013-05-29
|
/
*
Adding background model to fixedpoint counterexamples and small code contract...
Ken McMillan
2013-05-29
*
Getting fixed point backend to work with Corral.
Ken McMillan
2013-05-29
*
Working on fixedpoint backend
Ken McMillan
2013-05-20
*
Adding fixedpoint engine backend
Ken McMillan
2013-05-07
*
fixed datatype bug reported by Chris
Unknown
2013-03-05
*
Parse integers returned by Z3 into BigNum
akashlal
2013-01-29
*
bug fix
Unknown
2012-12-28
*
extended Evaluate to handle more types
Unknown
2012-12-28
*
Added expression evaluation API
Unknown
2012-12-27
*
Fix for parsing error in MAXSAT computation in ProverInterface::CheckAssumpti...
Unknown
2012-10-08
*
Implement support for alternative SMT solvers -- CVC3 and CVC4
Peter Collingbourne
2012-09-06
*
Made error trace generation (without labels) more general for stratified
Unknown
2012-07-04
*
moved class Macro to Absy
qadeer
2012-06-04
*
clean up in stratified inlining
qadeer
2012-04-29
*
eliminated class ErrorModel
qadeer
2012-04-28
*
removed proccopybounding code
qadeer
2012-04-28
*
various changes for using unsat cores in Houdini
qadeer
2012-04-17
*
small fix
qadeer
2012-04-04
*
added nonUniformUnfolding option
qadeer
2012-04-03
*
deleted the option UseUnsatCoreForInlining
qadeer
2012-04-02
*
Merge
qadeer
2012-04-01
|
\
|
*
bug fix for previous refactoring
Unknown
2012-04-02
*
|
Merge
qadeer
2012-04-01
|
\
|
[next]