summaryrefslogtreecommitdiff
path: root/Test/dafny0/ResolutionErrors.dfy
Commit message (Expand)AuthorAge
* Dafny: allow various forms of leaving off type arguments in declarationsGravatar Rustan Leino2012-02-16
* Dafny: don't allow ghost expressions in print statementsGravatar Rustan Leino2012-01-03
* Dafny: implemented the wellformedness check that datatype destructors are onl...Gravatar Rustan Leino2011-11-11
* Dafny: fix resolution crash (using multi-dimensional arrays in loop alternative)Gravatar Rustan Leino2011-08-03
* Dafny: added implicit datatype query fields and datatype destructor fieldsGravatar Rustan Leino2011-06-05
* Dafny: added constructorsGravatar Rustan Leino2011-05-28
* Dafny: added chaining operatorsGravatar Rustan Leino2011-05-27
* Dafny:Gravatar Rustan Leino2011-05-26
* Dafny: retired the "call" keywordGravatar Rustan Leino2011-05-26
* Dafny: allow class names to be used when referring to static functions (and, ...Gravatar Rustan Leino2011-05-21
* Cleaner version of ghost loop termination example.Gravatar Unknown2011-05-13
* Dafny: fixed bugs in resolution of multi-dimensional arraysGravatar Rustan Leino2011-05-12
* Dafny: forbid "decreases *" on ghost loopsGravatar Rustan Leino2011-05-12
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-28 23:46:38 +0000