summaryrefslogtreecommitdiff
path: root/Test/dafny0/Comprehensions.dfy
Commit message (Expand)AuthorAge
* Set up the same test infrastructure as in Boogie.Gravatar wuestholz2014-05-29
* The "choose" statement, hacky and specialized as it was, is now gone. Use th...Gravatar Rustan Leino2013-03-27
* Dafny: allowed strictly finite datatypes in comprehensions, quantifiers, and ...Gravatar Jason Koenig2012-07-17
* Dafny: retired the "call" keywordGravatar Rustan Leino2011-05-26
* Dafny: added set comprehension expressionsGravatar Rustan Leino2011-05-18