summaryrefslogtreecommitdiff
path: root/Test/dafny0/NatTypes.dfy
Commit message (Expand)AuthorAge
* Dafny: fixed part of a type-inference issue with datatypes and the < operator...Gravatar Rustan Leino2011-11-09
* Fixed failing regression tests.Gravatar Jason Koenig2011-07-14
* Dafny: allow constructors only inside classes, removed semi-colons at end of ...Gravatar Rustan Leino2011-07-11
* 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:Gravatar Rustan Leino2011-05-11
* Dafny: added type "nat"Gravatar Rustan Leino2011-04-19