index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Added /verifySnapshots:3, which prints recycled errors messages with the sour...
Rustan Leino
2015-08-28
*
Improve support for diagnosing timeouts.
Valentin Wüstholz
2015-06-08
*
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
|
/
*
Merge branch 'master' of https://github.com/boogie-org/boogie
qadeer
2015-05-27
|
\
*
|
bug fix in pop
qadeer
2015-05-27
|
*
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
|
/
*
Merge branch 'master' of https://github.com/boogie-org/boogie
qadeer
2015-05-20
|
\
*
|
added more specifications
qadeer
2015-05-20
|
*
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
|
*
SecureVC: example
Akash Lal
2015-05-07
|
*
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 add build status icon for the Windows build.
Dan Liew
2015-04-28
|
*
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
|
/
*
renamed og to civl
qadeer
2015-04-22
*
Better error message
akashlal
2015-04-21
*
added more examples
qadeer
2015-04-18
*
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
*
first check in
qadeer
2015-04-16
*
patched the type checker to deal with modularity
qadeer
2015-04-16
*
Note that CVC4 support is experimental.
Dan Liew
2015-04-05
*
Fix typo in README.md spotted by Jeroen Ketema.
Dan Liew
2015-04-05
*
Patch by Jeroen Ketema.
Dan Liew
2015-04-05
*
Disable test is ``Test/Secure``. They aren't set up properly.
Dan Liew
2015-04-05
*
Some test cases for SecureVCGen (disabled for lit currently)
akashlal
2015-04-05
*
VC gen for security properties
akashlal
2015-04-05
*
Fix ``Test/test15/CaptureState.bpl`` test under Linux.
Dan Liew
2015-04-03
*
Fix ``livevars/daytona_bug2_ioctl_example_2.bpl`` test under Linux.
Dan Liew
2015-04-03
[next]