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