| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Dafny: fixed bug in reverifying allowing old locals to be modified. |  Jason Koenig | 2012-08-01 |
| | | |||
| * | Dafny: fixed bug in which old locals were not properly forbidden from being ↵ | Jason Koenig | 2012-07-12 |
| modified during refinement | |||
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |