Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Dafny: fix resolution crash (using multi-dimensional arrays in loop alternative) | 2011-08-03 | |
* | Dafny: added implicit datatype query fields and datatype destructor fields | 2011-06-05 | |
* | Dafny: added constructors | 2011-05-28 | |
* | Dafny: added chaining operators | 2011-05-27 | |
* | Dafny: | 2011-05-26 | |
* | Dafny: retired the "call" keyword | 2011-05-26 | |
* | Dafny: allow class names to be used when referring to static functions (and, ... | 2011-05-21 | |
* | Cleaner version of ghost loop termination example. | 2011-05-13 | |
* | Dafny: fixed bugs in resolution of multi-dimensional arrays | 2011-05-12 | |
* | Dafny: forbid "decreases *" on ghost loops | 2011-05-12 |