summaryrefslogtreecommitdiff
path: root/Test/snapshots/runtest.snapshot
Commit message (Expand)AuthorAge
* Merging complete. Everything looks good *crosses fingers*Gravatar Checkmate502016-06-06
* Fixed issues in the verification result caching (old expressions).Gravatar wuestholz2014-11-24
* Fixed issue in the verification result caching.Gravatar wuestholz2014-11-10
* Added more tests for the verification result caching.Gravatar wuestholz2014-10-19
* Worked on the verification result caching.Gravatar wuestholz2014-10-19
* Made it produce more trace output for the verification result caching.Gravatar wuestholz2014-10-18
* Fix issue in verification result caching for assertions without subsumption.Gravatar wuestholz2014-10-13
* Added a test for the issue that was fixed in changeset 'e972f163bb7c'.Gravatar wuestholz2014-09-23
* Worked on the more advanced verification result caching.Gravatar wuestholz2014-07-10
* Worked on the more advanced verification result caching.Gravatar wuestholz2014-07-09
* Added more tests and worked on adding support for "canned errors".Gravatar wuestholz2014-07-06
* Worked on adding support for "canned errors".Gravatar wuestholz2014-07-06
* Did some refactoring, fixed minor issues, and made it apply the more advanced...Gravatar wuestholz2014-07-06
* Implemented an optimization for assignments to assumption variables that are ...Gravatar wuestholz2014-07-04
* Fixed issue involving axioms in the dependency analysis used for verification...Gravatar wuestholz2014-07-03
* Fixed issue in verification result caching.Gravatar wuestholz2014-06-26
* Worked on an extension of the existing verification result caching.Gravatar wuestholz2014-06-23
* Changed the 'verifySnapshots' command-line option to accept a numeric argumen...Gravatar wuestholz2014-06-20
* Added more tests (snapshots).Gravatar wuestholz2014-05-30
* Fix lit test suite when running Boogie under a path that containsGravatar Dan Liew2014-05-27
* Added more tests (snapshots).Gravatar wuestholz2014-05-27
* Enable snapshot test. This test is unusual in that it doesn'tGravatar Dan Liew2014-05-07