Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fixed build break from recent change | 2014-07-15 | |
* | Deprecated "comethod" keyword in favor of "colemma". (Also, "prefix method" -... | 2014-02-23 | |
* | Introduced keywords "lemma" (like a "ghost method", but not allowed to have a... | 2013-08-02 | |
* | DafnyExtension: Added support for selecting errors and showing the model in BVD. | 2013-07-15 | |
* | DafnyExtension: Made it display verification errors incrementally. | 2013-06-20 | |
* | DafnyExtension: Did some refactoring. | 2013-06-11 | |
* | Improved hover text for collapsed code fragments | 2012-11-25 | |
* | Parse prefix predicates/methods | 2012-11-24 | |
* | Put all sources under \Source directory | 2012-10-04 |