summaryrefslogtreecommitdiff
path: root/Source/DafnyExtension
ModeNameSize
-rw-r--r--BraceMatching.cs9312logplain
-rw-r--r--BufferIdleEventUtil.cs4920logplain
-rw-r--r--ClassificationTagger.cs5321logplain
-rw-r--r--ContentType.cs1096logplain
-rw-r--r--DafnyDriver.cs9933logplain
-rw-r--r--DafnyExtension.csproj9071logplain
-rw-r--r--DafnyRuntime.cs19294logplain
-rw-r--r--ErrorModelTagger.cs11211logplain
-rw-r--r--ErrorTagger.cs3153logplain
-rw-r--r--GlobalSuppressions.cs692logplain
-rw-r--r--HoverText.cs4427logplain
-rw-r--r--IdentifierTagger.cs18150logplain
-rw-r--r--MenuProxy.cs4044logplain
-rw-r--r--OutliningTagger.cs8620logplain
-rw-r--r--ProgressMargin.cs14534logplain
d---------Properties43logplain
-rw-r--r--ResolverTagger.cs20135logplain
-rw-r--r--TokenTagger.cs13435logplain
-rw-r--r--WordHighlighter.cs8485logplain
-rw-r--r--source.extension.vsixmanifest1459logplain