| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Fix test failure. Print the resulting boogie code to a file instead |  qunyanm | 2016-02-26 |
| | | | | | of console. | ||
| * | Fix issue 136. Less aggressive Lit wrap for assert/assume. | qunyanm | 2016-02-26 |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |