Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Deleted a non-keyword | 2013-04-04 | |
* | Renamed "parallel" statement to "forall" statement, and made the parentheses ... | 2013-03-06 | |
* | Rename _reverifyPost to $_reverifyPost, so that it doesn't show up in BVD | 2012-10-30 | |
* | removed deprecated "allocated" keyword from DafnyExtension syntax highlighting | 2012-10-22 | |
* | renamed "abstract module" to "module facade" | 2012-10-22 | |
* | allow a refinement to introduce "return" statements, at the price of re-verif... | 2012-10-22 | |
* | New feature: | 2012-10-11 | |
* | Put all sources under \Source directory | 2012-10-04 |