Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge | 2011-05-27 | |
|\ | |||
| * | Dafny: permanently changed the syntax of "datatype" declarations to what prev... | 2011-05-27 | |
* | | Dafny: fixed bug in induction-tactic heuristic (should never pick values whos... | 2011-05-26 | |
| * | Dafny: retired the "call" keyword | 2011-05-26 | |
| * | Dafny: | 2011-05-21 | |
|/ | |||
* | Dafny: Alternative (and candidate replacement) syntax for declaring datatypes | 2011-04-20 | |
* | Dafny: fixed bug in induction over integers | 2011-04-04 | |
* | Dafny: compile quantifiers | 2011-03-26 | |
* | Dafny: Added heuristic for when to turn on the induction tactic | 2011-03-05 | |
* | Dafny: | 2011-03-04 |