summaryrefslogtreecommitdiff
path: root/Test/VSI-Benchmarks/Answer
Commit message (Expand)AuthorAge
* Dafny: re-ran parser generator to include semicolon-less body-less functions/...Gravatar Rustan Leino2011-07-26
* Fixed regression test failures due to removal of bodiless methods and functions.Gravatar Jason Koenig2011-07-15
* Dafny:Gravatar rustanleino2010-05-21
* Dafny:Gravatar rustanleino2010-05-06
* Dafny:Gravatar rustanleino2010-05-06
* Added wellformedness checks to method specificationsGravatar rustanleino2010-03-12
* * Added decreases clauses to functionsGravatar rustanleino2009-11-24
* Introduced operator !in in Dafny. An expression "x !in S" is equivalent to "...Gravatar rustanleino2009-11-05
* Initial version of VSI Benchmarks 1 - 8Gravatar RMonahan2009-10-30
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-01 10:33:35 +0000