Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | BaseProvider.cs | 3828 | logplain |
-rw-r--r-- | DafnyProvider.cs | 11842 | logplain |
-rw-r--r-- | DataModel.cs | 6084 | logplain |
-rw-r--r-- | Main.Designer.cs | 25412 | logplain |
-rw-r--r-- | Main.cs | 23114 | logplain |
-rw-r--r-- | Main.resx | 191801 | logplain |
-rw-r--r-- | ModelViewer.csproj | 9490 | logplain |
-rw-r--r-- | Namer.cs | 16080 | logplain |
-rw-r--r-- | Program.cs | 722 | logplain |
d--------- | Properties | 227 | logplain |
-rw-r--r-- | SourceView.Designer.cs | 2199 | logplain |
-rw-r--r-- | SourceView.cs | 1245 | logplain |
-rw-r--r-- | SourceView.resx | 5817 | logplain |
-rw-r--r-- | TreeSkeleton.cs | 5459 | logplain |
-rw-r--r-- | VccProvider.cs | 40703 | logplain |
-rw-r--r-- | bvdicon.ico | 123242 | logplain |