Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Added inductive predicates | leino | 2015-05-06 |
* | When ambiguous references all resolve to the same declaration, don't complain | leino | 2015-01-09 |
* | Fixed range bug that was causing extension to sometimes crash | Bryan Parno | 2014-10-27 |
* | Fixed build break from recent change | leino | 2014-07-15 |
* | Deprecated "comethod" keyword in favor of "colemma". (Also, "prefix method" -... | Rustan Leino | 2014-02-23 |
* | Introduced keywords "lemma" (like a "ghost method", but not allowed to have a... | Rustan Leino | 2013-08-02 |
* | DafnyExtension: Added support for selecting errors and showing the model in BVD. | wuestholz | 2013-07-15 |
* | DafnyExtension: Made it display verification errors incrementally. | wuestholz | 2013-06-20 |
* | DafnyExtension: Did some refactoring. | wuestholz | 2013-06-11 |
* | Improved hover text for collapsed code fragments | Rustan Leino | 2012-11-25 |
* | Parse prefix predicates/methods | Rustan Leino | 2012-11-24 |
* | Put all sources under \Source directory | Rustan Leino | 2012-10-04 |