index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Test
Commit message (
Expand
)
Author
Age
*
Improve precision of abstract interpreter for modulo operations.
Valentin Wüstholz
2015-12-28
*
Use the EndCurly token when creating the ReturnCmd for unifiedExit
qunyanm
2015-12-02
*
Update test output for Z3 4.4.1.
Valentin Wüstholz
2015-12-01
*
Fix issue with partially-verified assertions.
Valentin Wüstholz
2015-11-19
*
Update test output after Nikolaj's enhancement in Z3.
Valentin Wüstholz
2015-11-19
*
Add a test.
Valentin Wüstholz
2015-11-19
*
Minor changes
Valentin Wüstholz
2015-11-19
*
Improve experimental support for optimization (requires Z3 changeset 5948013b...
Valentin Wüstholz
2015-11-18
*
Add experimental support for optimization (requires Z3 build after changeset ...
Valentin Wüstholz
2015-11-18
*
Fix test output.
Valentin Wüstholz
2015-11-17
*
Fix issue #25.
Valentin Wüstholz
2015-11-17
*
Add a test.
Valentin Wüstholz
2015-11-16
*
Add a test.
Valentin Wüstholz
2015-11-16
*
Add support for identifying unnecessary assumes.
Valentin Wüstholz
2015-11-16
*
Added test cases for the new asterisk wildcard behaviour of the
Dan Liew
2015-10-31
*
fix for deterministicExtractLoops for nested loops
Shuvendu Lahiri
2015-10-27
*
fixed
Shaz Qadeer
2015-10-26
*
Bug fix for deterministExtractLoops for Shaobo's example
Shuvendu Lahiri
2015-10-26
*
bug fix in the type checking of calls to atomic procedures
Shaz Qadeer
2015-10-16
*
bug fix
Shaz Qadeer
2015-10-09
*
another fix requested by Chris
Shaz Qadeer
2015-10-01
*
fixed a small bug
Shaz Qadeer
2015-09-27
*
added introduced and ghost local variables
Shaz Qadeer
2015-09-25
*
fixed a crash when there is no collector
Shaz Qadeer
2015-09-02
*
Merge branch 'master' of https://github.com/boogie-org/boogie
Rustan Leino
2015-08-28
|
\
*
|
Added /verifySnapshots:3, which prints recycled errors messages with the sour...
Rustan Leino
2015-08-28
|
*
Added another test.
Valentin Wüstholz
2015-07-20
|
*
Added more tests.
Valentin Wüstholz
2015-07-20
|
*
Try to unbreak the tests added in
Dan Liew
2015-06-28
|
*
Fix issue #16 reported by @crazykt
Dan Liew
2015-06-28
|
*
Normalise line endings using a .gitattributes file. Unfortunately
Dan Liew
2015-06-28
|
*
updated with Serdar's changes
qadeer
2015-06-25
|
*
added another sample
qadeer
2015-06-17
|
*
modified desugaring so that in commutatitivity checks copies of original
qadeer
2015-06-17
|
*
fixed bug reported by Chris
qadeer
2015-06-15
|
*
Fix issue with computation of statement checksums for lambda expressions.
Valentin Wüstholz
2015-06-12
|
*
Add a test case.
Valentin Wüstholz
2015-06-12
|
*
relaxed the check for created and hidden layers for skip actions
qadeer
2015-06-10
|
*
fixed crash
qadeer
2015-06-10
|
/
*
bug fix in pop
qadeer
2015-05-27
*
Merge branch 'master' of https://github.com/boogie-org/boogie
qadeer
2015-05-20
|
\
*
|
added more specifications
qadeer
2015-05-20
|
*
Make caching of verification results more fine-grained for changes that affec...
Valentin Wüstholz
2015-05-17
|
*
SecureVC: example
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
|
*
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
|
/
*
renamed og to civl
qadeer
2015-04-22
*
added more examples
qadeer
2015-04-18
*
patched ghost checking
qadeer
2015-04-18
[next]