Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Updated two test files. | 2013-03-22 | |
* | Changed calc syntax (custom operators are now written before the hint) | 2013-02-08 | |
* | added some calculational proofs from Dijkstra's writings | 2012-10-21 |
![]() |
index : debian-dafny | |
Debian packaging for Dafny |
summaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Updated two test files. | 2013-03-22 | |
* | Changed calc syntax (custom operators are now written before the hint) | 2013-02-08 | |
* | added some calculational proofs from Dijkstra's writings | 2012-10-21 |