Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Added inductive predicates | 2015-05-06 | |
* | When ambiguous references all resolve to the same declaration, don't complain | 2015-01-09 | |
* | Fixed range bug that was causing extension to sometimes crash | 2014-10-27 | |
* | 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 |