| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Dafny: incomplete snapshot of verification of iterators |  Rustan Leino | 2012-10-02 |
| * | Dafny: added iterators; for now, only parsing and resolving (and printing and... | Rustan Leino | 2012-09-25 |
| * | Dafny: Added detection and support for tail recursive calls (and an optional... |  Unknown | 2012-09-07 |
| * | Dafny: for refinements, don't consider a newly provided predicate body to be ... | Unknown | 2012-08-30 |
| * | DafnyExtension: fixed more missing cases for hover texts | Unknown | 2012-08-15 |
| * | Dafny: support opening modules into the local scope |  Jason Koenig | 2012-07-30 |
| * | Dafny: removed allocated, changed semantics of fresh | Jason Koenig | 2012-07-29 |
| * | Dafny: added structural refinement check | Jason Koenig | 2012-07-29 |
| * | Dafny: compilation of abstract modules, including local definitions (as in mo... | Jason Koenig | 2012-07-17 |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |