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
Commit message (
Expand
)
Author
Age
...
*
|
Patch by Jeroen Ketema.
Dan Liew
2014-09-19
|
/
*
Fix nasty bug introduced by commit 61a94f409975.
Dan Liew
2014-07-15
*
OnModel now carries the result of the prover call
akashlal
2014-06-28
*
Small refactoring
Ally Donaldson
2014-06-06
*
Merge duality changes
Ken McMillan
2014-05-26
|
\
|
*
Conjecture printing for duality and child user time tracking.
Ken McMillan
2014-05-26
*
|
Simplify Z3 executable discovery.
wuestholz
2014-05-12
|
/
*
Added /printFixedPoint option
Ken McMillan
2014-04-14
*
Fixed bug in printing real literals
Rustan Leino
2014-02-10
*
Fix Boogie so it compiled with mono. Patch by Dan Liew.
Ally Donaldson
2014-01-14
*
fixed vc generation so that even when builtin array functions are used,
qadeer
2013-12-28
*
Merge
Ally Donaldson
2013-12-09
|
\
*
|
Small change related to CVC4 support. Patch by Pantazis Deligiannis
Ally Donaldson
2013-12-09
|
*
The back pred files have been eliminated. The small backpred string is now d...
qadeer
2013-12-08
|
/
*
added the QED build configuration
qadeer
2013-12-02
*
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
[prev]
[next]