index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
Commit message (
Expand
)
Author
Age
*
Fix minor issue.
Valentin Wüstholz
2015-06-05
*
Improve support for diagnosing timeouts.
Valentin Wüstholz
2015-06-05
*
Fix for SI: initialize extraRecBound
Akash Lal
2015-06-05
*
Merge branch 'master' of https://github.com/boogie-org/boogie
akashlal
2015-06-01
|
\
*
|
Simplified StratifiedVC interface
akashlal
2015-06-01
|
*
Merge branch 'master' of https://github.com/boogie-org/boogie
qadeer
2015-05-31
|
|
\
|
|
/
|
/
|
|
*
added assume about gate after calls and parallel calls
qadeer
2015-05-31
*
|
Improve heuristics for diagnosing timeouts.
Valentin Wüstholz
2015-05-31
|
/
*
Allow for extra instrumentation on program before vc gen
Akash Lal
2015-05-25
*
Improve support for diagnosing timeouts.
Valentin Wüstholz
2015-05-22
*
Minor changes
Valentin Wüstholz
2015-05-20
*
Minor refactoring
Valentin Wüstholz
2015-05-20
*
Improve support for diagnosing timeouts.
Valentin Wüstholz
2015-05-20
*
Improve support for diagnosing timeouts.
Valentin Wüstholz
2015-05-19
*
Make it not return cached verification results for timed-out implementations ...
Valentin Wüstholz
2015-05-18
*
Add some experimental support for diagnosing timeouts.
Valentin Wüstholz
2015-05-18
*
Minor refactoring
Valentin Wüstholz
2015-05-17
*
Make caching of verification results more fine-grained for changes that affec...
Valentin Wüstholz
2015-05-17
*
Fix for printFixedPoint when dealing with functions
Akash Lal
2015-05-13
*
Fix for secureVCGen
Akash Lal
2015-05-07
*
Make it preserve the fact that the value of an assumption variable never beco...
Valentin Wüstholz
2015-05-06
*
Fix for AbsHoudini
akashlal
2015-05-01
*
AbsHoudini: made disjunct bound a parameter
akashlal
2015-05-01
*
Add support for 'verified_under' attributes on procedure calls and invariants.
Valentin Wüstholz
2015-04-29
*
Try to fix the emission of invalid SMT-LIBv2 queries when Boogie has a
Dan Liew
2015-04-26
*
Minor fixes for AbsHoudini
Akash Lal
2015-04-23
*
Better error message
akashlal
2015-04-21
*
patched ghost checking
qadeer
2015-04-18
*
changed aux attribute to ghost
qadeer
2015-04-18
*
fixed the treatment of extern
qadeer
2015-04-17
*
patched the type checker to deal with modularity
qadeer
2015-04-16
*
Patch by Jeroen Ketema.
Dan Liew
2015-04-05
*
VC gen for security properties
akashlal
2015-04-05
*
Patch by Jeroen Ketema
Dan Liew
2015-03-27
*
Compute MustReach information lazily, on-demand
akashlal
2015-03-16
*
Added MustReach information to VC gen
akashlal
2015-03-11
*
If using -proverLog: make sure we flush after writing every line
Dan Liew
2015-03-10
*
Work around bug in Z3 4.3.2 and newer (https://z3.codeplex.com/workitem/188)
Dan Liew
2015-03-10
*
Fix bug in BigDec.FloorCeiling() which gave the wrong answers for
Dan Liew
2015-03-10
*
fixed crash reported by Dan.
qadeer
2015-03-02
*
Parse Bv values
akashlal
2015-03-02
*
Fix using "mkbv" as a variable name in a boogie program. This was
Dan Liew
2015-02-27
*
Fix using reserved Z3 keywords for real/int arithmetic operators. These are t...
Dan Liew
2015-02-27
*
Fix using reserved Z3 keywords for float operators. These are taken
Dan Liew
2015-02-27
*
Merge.
Dan Liew
2015-02-18
|
\
*
|
Fix bug where some reserved Z3 keywords were not sanitized
Dan Liew
2015-02-18
|
*
Eliminated calls to deprecated method.
wuestholz
2015-02-18
|
*
Added a setter for CommandLineOptions.ProverOptions and fixed several contracts.
wuestholz
2015-02-18
|
/
*
Protect Bitvector field of BvExtractExpr when it is immutable.
Dan Liew
2015-02-12
*
Protect E0 and E1 in BvConcatExpr if Expr is immutable.
Dan Liew
2015-02-12
[next]