Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Configuration.cs | 1000 | logplain |
-rw-r--r-- | DafnyLanguageService.csproj | 8934 | logplain |
-rw-r--r-- | GlobalSuppressions.cs | 602 | logplain |
-rw-r--r-- | Grammar.cs | 14133 | logplain |
-rw-r--r-- | Guids.cs | 517 | logplain |
d--------- | Integration | 545 | logplain |
-rw-r--r-- | IronyLanguageServicePackage.cs | 4379 | logplain |
-rw-r--r-- | Key.snk | 596 | logplain |
d--------- | Properties | 43 | logplain |
-rw-r--r-- | Resources.Designer.cs | 2831 | logplain |
-rw-r--r-- | Resources.resx | 6445 | logplain |
d--------- | Resources | 37 | logplain |
-rw-r--r-- | VSPackage.resx | 6084 | logplain |
-rw-r--r-- | source.extension.vsixmanifest | 950 | logplain |