summaryrefslogtreecommitdiff
path: root/Test/snapshots
Commit message (Collapse)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 ↵Gravatar wuestholz2015-01-16
| | | | verified assertions).
* 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 ↵Gravatar wuestholz2014-07-06
| | | | advanced verification result caching even for implementations with errors.
* Implemented an optimization for assignments to assumption variables that are ↵Gravatar wuestholz2014-07-04
| | | | injected by the verification result caching for calls within loops.
* Fixed issue involving axioms in the dependency analysis used for ↵Gravatar wuestholz2014-07-03
| | | | verification result caching.
* 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 ↵Gravatar wuestholz2014-06-20
| | | | argument instead of a boolean one.
* Added more tests (snapshots).Gravatar wuestholz2014-05-30
|
* Removed old test infrastructure files except forGravatar Dan Liew2014-05-28
| | | | | | | | | ./AbsHoudini/ ./doomed/ ./z3api/ ./test17/ because their conversion to lit incomplete.
* Fix lit test suite when running Boogie under a path that containsGravatar Dan Liew2014-05-27
| | | | spaces.
* Added more tests (snapshots).Gravatar wuestholz2014-05-27
|
* Enable snapshot test. This test is unusual in that it doesn'tGravatar Dan Liew2014-05-07
| | | | | | use .bpl files in the directory directy on the command line. So instead will tell lit to look for *.snapshot files and provide one that runs the commands we want in the right directory.
* Make the dependency analysis for snapshot verification take 'where' clauses ↵Gravatar wuestholz2013-07-30
| | | | into account.
* 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 ↵Gravatar wuestholz2013-06-02
caching and prioritization).