index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Test
/
snapshots
/
runtest.snapshot.expect
Commit message (
Expand
)
Author
Age
*
Worked on the more advanced verification result caching.
wuestholz
2014-07-09
*
Added more tests and worked on adding support for "canned errors".
wuestholz
2014-07-06
*
Worked on adding support for "canned errors".
wuestholz
2014-07-06
*
Did some refactoring, fixed minor issues, and made it apply the more advanced...
wuestholz
2014-07-06
*
Implemented an optimization for assignments to assumption variables that are ...
wuestholz
2014-07-04
*
Fixed issue involving axioms in the dependency analysis used for verification...
wuestholz
2014-07-03
*
Optimized the way that assertions are marked as partially verified.
wuestholz
2014-06-26
*
Fixed issue in verification result caching.
wuestholz
2014-06-26
*
Worked on an extension of the existing verification result caching.
wuestholz
2014-06-23
*
Added more tests (snapshots).
wuestholz
2014-05-30
*
Added more tests (snapshots).
wuestholz
2014-05-27
*
Enable snapshot test. This test is unusual in that it doesn't
Dan Liew
2014-05-07