summaryrefslogtreecommitdiff
path: root/Test/dafny0/FunctionSpecifications.dfy
Commit message (Expand)AuthorAge
* Dafny: permanently changed the syntax of "datatype" declarations to what prev...Gravatar Rustan Leino2011-05-27
* Dafny: allow self-calls in function postconditions--these simply refer to the...Gravatar rustanleino2011-02-03