Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Suppress many warnings in the test suite. | 2015-08-28 | |
* | Improved AnalyzeList encoding in a way that performs way better. | 2014-07-09 | |
* | New logical encoding of types with Is and IsAlloc | 2014-07-07 | |
* | Set up the same test infrastructure as in Boogie. | 2014-05-29 | |
* | Change a test program to verify faster (by a factor of 10-25). | 2013-12-10 | |
* | Dafny: fixed performance-buggy translation of exists, and also added some oth... | 2011-10-19 | |
* | Dafny: added COST Verification Competition challenge programs to test suite | 2011-10-07 |