summaryrefslogtreecommitdiff
path: root/Test/dafny0/Simple.dfy
Commit message (Expand)AuthorAge
* Parsing and pretty printing of the new "existential guards" of the two kinds ...Gravatar leino2015-10-03
* Added 'protected' keyword (syntax)Gravatar leino2015-03-07
* Stop pretty-print from emitting deprecated semi-colons.Gravatar qunyanm2015-03-05
* Set up the same test infrastructure as in Boogie.Gravatar wuestholz2014-05-29
* Introduced keywords "lemma" (like a "ghost method", but not allowed to have a...Gravatar Rustan Leino2013-08-02
* Dafny: permanently changed the syntax of "datatype" declarations to what prev...Gravatar Rustan Leino2011-05-27
* Dafny: retired the "call" keywordGravatar Rustan Leino2011-05-26
* Dafny:Gravatar Rustan Leino2011-05-21
* Dafny: Added stratosphere tests for datatypes--that is, it is now checked th...Gravatar rustanleino2010-03-11
* Dafny: Added if-then-else expressions (replacing and extending the previous b...Gravatar rustanleino2010-02-04
* Start (some parsing and resolution) of adding algebraic datatypes to Dafny.Gravatar rustanleino2009-11-08
* Added a sequence update expression in Dafny.Gravatar rustanleino2009-11-06
* Initial set of files.Gravatar mikebarnett2009-07-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-15 04:08:08 +0000