| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Dafny: better error reporting on resolution of refinements. Replace ↵ |  kyessenov | 2010-07-14 |
| assertions with "if"s to handle errors gently and add cycle detection check. | |||
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |