summaryrefslogtreecommitdiff
path: root/Test/dafny2/runtest.bat
Commit message (Expand)AuthorAge
* Fixed some goof-ups in the test script editsGravatar Rustan Leino2012-10-04
* Added Test/dafny3 and another test file for iterators (hey, you can even run ...Gravatar Rustan Leino2012-10-04
* Dafny: some test cases for "calc" (very cool!)Gravatar Unknown2012-09-17
* Dafny: added MonotonicHeapstate refinement exampleGravatar Unknown2012-08-09
* Dafny: reinstated autocontractsGravatar Jason Koenig2012-07-02
* Dafny: fixed some test casesGravatar Jason Koenig2012-06-28
* Dafny: cleaned up test scripts a littleGravatar Unknown2012-06-14
* Dafny: beefed up allocation axioms for boxes stored in fieldsGravatar Unknown2012-06-12
* Dafny: added some test programsGravatar Rustan Leino2012-06-08
* Dafny: added StoreAndRetrieve refinement exampleGravatar Unknown2012-03-15
* Dafny: implemented thresholds for the new interval domain (/infer:j)Gravatar Rustan Leino2011-12-12
* Dafny tests: Disabled SnapshotableTrees.dfy for now while performance issues ...Gravatar Rustan Leino2011-12-07
* Dafny: call C# compiler directly from inside Dafny, and optionally produce a ...Gravatar Rustan Leino2011-11-22
* Added some Dafny and Boogie test cases, including Turing's factorial program,...Gravatar Rustan Leino2011-11-03
* Dafny: added COST Verification Competition challenge programs to test suiteGravatar Rustan Leino2011-10-07
* Dafny: Added TreeBarrier as a test caseGravatar peter mueller peter.mueller@inf.ethz.ch2011-09-29
* Dafny: added Snapshotable Trees exampleGravatar Rustan Leino2011-09-11