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.cs10802logplain
-rw-r--r--DafnyExtension.csproj12377logplain
-rw-r--r--DafnyRuntime.cs22786logplain
-rw-r--r--ErrorModelTagger.cs11211logplain
-rw-r--r--ErrorTagger.cs3153logplain
-rw-r--r--GlobalSuppressions.cs692logplain
-rw-r--r--HoverText.cs4427logplain
-rw-r--r--IdentifierTagger.cs18520logplain
-rw-r--r--MenuProxy.cs4505logplain
-rw-r--r--OutliningTagger.cs8612logplain
-rw-r--r--ProgressMargin.cs15644logplain
d---------Properties43logplain
-rw-r--r--ResolverTagger.cs20135logplain
-rw-r--r--TokenTagger.cs15516logplain
-rw-r--r--WordHighlighter.cs8485logplain
-rw-r--r--source.extension.vsixmanifest1459logplain