Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Changed computation of ghosts until pass 2 of resolution. | 2015-09-28 | |
* | Preliminary refactoring of ghost-statement computations to after type checking | 2015-09-20 | |
* | Set up the same test infrastructure as in Boogie. | 2014-05-29 | |
* | The "choose" statement, hacky and specialized as it was, is now gone. Use th... | 2013-03-27 | |
* | Disallow allocations in ghost contexts | 2013-03-06 | |
* | Renamed "parallel" statement to "forall" statement, and made the parentheses ... | 2013-03-06 | |
* | Dafny: Changed the semantics of the assign-such-that statement "x :| P;" to c... | 2012-06-13 | |
* | Dafny: fixed lack of assign-such-that restriction in parallel statement | 2012-03-15 | |
* | Dafny: parallel statements: | 2012-01-17 | |
* | Dafny induction: | 2011-10-29 | |
* | Dafny: implemented compilation of parallel statements | 2011-10-25 |