summaryrefslogtreecommitdiff
path: root/Test/snapshots
Commit message (Expand)AuthorAge
* Merging complete. Everything looks good *crosses fingers*Gravatar Checkmate502016-06-06
* Worked on the verification result caching (use weights for extracted functions).Gravatar wuestholz2015-01-24
* Worked on the verification result caching (use native support for partially v...Gravatar wuestholz2015-01-16
* Minor change in verification result caching (extracted functions)Gravatar wuestholz2014-12-28
* Worked on the verification result caching (extracted functions).Gravatar wuestholz2014-11-25
* Fixed issues in the verification result caching (old expressions).Gravatar wuestholz2014-11-24
* Fixed issue in the verification result caching.Gravatar wuestholz2014-11-10
* Worked on the verification result caching.Gravatar wuestholz2014-11-10
* Made it never include the statement checksum when printing assert statements.Gravatar wuestholz2014-11-16
* Worked on the verification result caching.Gravatar wuestholz2014-11-03
* Did some refactoring.Gravatar wuestholz2014-11-02
* Added a test for the verification result caching.Gravatar wuestholz2014-10-29
* Worked on the verification result caching.Gravatar wuestholz2014-10-19
* Added more tests for the verification result caching.Gravatar wuestholz2014-10-19
* Worked on the verification result caching.Gravatar wuestholz2014-10-19
* Did some refactoring.Gravatar wuestholz2014-10-18
* Made it produce more trace output for the verification result caching.Gravatar wuestholz2014-10-18
* Worked on the verification result caching.Gravatar wuestholz2014-10-17
* Worked on the verification result caching.Gravatar wuestholz2014-10-15
* 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-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
* Optimized the way that assertions are marked as partially verified.Gravatar wuestholz2014-06-26
* 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
* Removed old test infrastructure files except forGravatar Dan Liew2014-05-28
* 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
* Make the dependency analysis for snapshot verification take 'where' clauses i...Gravatar wuestholz2013-07-30
* Added an option to verify each input file separately.Gravatar wuestholz2013-07-05
* Worked on improving program snapshot verification (automatic prioritization).Gravatar wuestholz2013-06-12
* Worked on improving program snapshot verification.Gravatar wuestholz2013-06-10
* Worked on improving program snapshot verification.Gravatar wuestholz2013-06-05
* Fixed an issue with discovering program snapshots.Gravatar wuestholz2013-06-03
* Added a feature for verifying several program snapshots (incl. result caching...Gravatar wuestholz2013-06-02