summaryrefslogtreecommitdiff
path: root/Test/VSI-Benchmarks/runtest.bat
Commit message (Collapse)AuthorAge
* Dafny: fixed compilation bugs, added @-signs in front of identifiers to ↵Gravatar Rustan Leino2011-05-11
| | | | avoid clashes with C# keywords, added switch in runtest scripts to turn on compilation
* Dafny:Gravatar rustanleino2010-05-06
| | | | | | | | * First crack at a compiler (/compile:1 writes out.cs, if Dafny program verifies) * Added "print" statement (to make running compiled programs more interesting) * Changed name of default class from $default to _default Boogie: * Included "lambda" as a keyword in emacs and latex style files
* Introduced operator !in in Dafny. An expression "x !in S" is equivalent to ↵Gravatar rustanleino2009-11-05
| | | | | | | "!(x in S)". Changed Dafny test files to use the new operator. Included the file b8.dfy into the VSI-Benchmarks test harness.
* Initial version of VSI Benchmarks 1 - 8Gravatar RMonahan2009-10-30
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 02:41:35 +0000