Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fixed bug in translation of method termination checks, and also fixed a (prev... | 2013-01-23 | |
* | Bumped version number to 1.6.0.00121 | 2013-01-22 | |
* | Updates of various .sln and .*proj files | 2012-10-04 |
![]() |
index : debian-dafny | |
Debian packaging for Dafny |
summaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fixed bug in translation of method termination checks, and also fixed a (prev... | 2013-01-23 | |
* | Bumped version number to 1.6.0.00121 | 2013-01-22 | |
* | Updates of various .sln and .*proj files | 2012-10-04 |