Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | BraceMatching.cs | 9312 | logplain |
-rw-r--r-- | BufferIdleEventUtil.cs | 4920 | logplain |
-rw-r--r-- | ClassificationTagger.cs | 5321 | logplain |
-rw-r--r-- | ContentType.cs | 1096 | logplain |
-rw-r--r-- | DafnyDriver.cs | 12640 | logplain |
-rw-r--r-- | DafnyExtension.csproj | 15396 | logplain |
-rw-r--r-- | DafnyOptions.txt | 238 | logplain |
-rw-r--r-- | ErrorModelTagger.cs | 11211 | logplain |
-rw-r--r-- | ErrorTagger.cs | 3153 | logplain |
-rw-r--r-- | GlobalSuppressions.cs | 692 | logplain |
-rw-r--r-- | HoverText.cs | 4427 | logplain |
-rw-r--r-- | IdentifierTagger.cs | 21144 | logplain |
-rw-r--r-- | MenuProxy.cs | 5475 | logplain |
-rw-r--r-- | OutliningTagger.cs | 9106 | logplain |
-rw-r--r-- | ProgressMargin.cs | 16213 | logplain |
d--------- | Properties | 43 | logplain |
-rw-r--r-- | ResolverTagger.cs | 20541 | logplain |
-rw-r--r-- | TokenTagger.cs | 21553 | logplain |
-rw-r--r-- | WordHighlighter.cs | 8485 | logplain |
-rw-r--r-- | packages.config | 2469 | logplain |
-rw-r--r-- | source.extension.vsixmanifest | 1589 | logplain |