summaryrefslogtreecommitdiff
path: root/Test/dafny0/Definedness.dfy
Commit message (Expand)AuthorAge
* Add higher-order-functions and some other goodiesGravatar Dan Rosén2014-08-11
* Set up the same test infrastructure as in Boogie.Gravatar wuestholz2014-05-29
* Improve error information by generating "Related location" information that t...Gravatar Rustan Leino2014-01-14
* Frame expressions are now checked to be well formed.Gravatar Rustan Leino2013-02-13
* Dafny: removed Dafny's "foreach" statements (replaced by the new "parallel" s...Gravatar Rustan Leino2011-10-26
* 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: changed syntax of havoc statements from "havoc X;" to "X := *;"Gravatar Rustan Leino2011-05-28
* Dafny: retired "use" statementsGravatar Rustan Leino2011-05-27
* Dafny:Gravatar rustanleino2011-02-17
* Dafny: allow self-calls in function postconditions--these simply refer to the...Gravatar rustanleino2011-02-03
* Dafny: added ensures clauses to functionsGravatar rustanleino2011-02-02
* Dafny: Added two additional heuristics for guessing missing loop decreases c...Gravatar rustanleino2010-06-11
* Dafny:Gravatar rustanleino2010-05-08
* Dafny:Gravatar rustanleino2010-03-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-21 20:54:30 +0000