| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |