summaryrefslogtreecommitdiff
path: root/Source/DafnyExtension/OutliningTagger.cs
Commit message (Expand)AuthorAge
* In the VS IDE, don't generate hover-text information for auto-generated ident...Gravatar leino2015-11-05
* Fixed latent crash of hovertext/outlining with include.Gravatar Rustan Leino2015-10-02
* Added inductive predicatesGravatar leino2015-05-06
* When ambiguous references all resolve to the same declaration, don't complainGravatar leino2015-01-09
* Fixed range bug that was causing extension to sometimes crashGravatar Bryan Parno2014-10-27
* Fixed build break from recent changeGravatar leino2014-07-15
* Deprecated "comethod" keyword in favor of "colemma". (Also, "prefix method" -...Gravatar Rustan Leino2014-02-23
* Introduced keywords "lemma" (like a "ghost method", but not allowed to have a...Gravatar Rustan Leino2013-08-02
* DafnyExtension: Added support for selecting errors and showing the model in BVD.Gravatar wuestholz2013-07-15
* DafnyExtension: Made it display verification errors incrementally.Gravatar wuestholz2013-06-20
* DafnyExtension: Did some refactoring.Gravatar wuestholz2013-06-11
* Improved hover text for collapsed code fragmentsGravatar Rustan Leino2012-11-25
* Parse prefix predicates/methodsGravatar Rustan Leino2012-11-24
* Put all sources under \Source directoryGravatar Rustan Leino2012-10-04
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-14 09:06:14 +0000