Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fix: Unify column numbers in Dafny's errors | 2015-07-23 | |
* | Changed logical order of requires and reads clauses on functions. Reads clauses | 2015-06-15 | |
* | Do postponsed reads checking also for the body of functions -- see Test/dafny... | 2015-06-15 | |
* | Some more reads tests | 2015-06-15 | |
* | More reads tests | 2015-06-15 | |
* | Postpone reads checks of function preconditions until after the entire precon... | 2015-06-15 | |
* | More tests of reads-clause checking | 2015-06-15 | |
* | Combined some common routines into CheckWellformedAndAssume, which also allow... | 2015-06-12 | |
* | Add higher-order-functions and some other goodies | 2014-08-11 |