| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | BCTProvider.cs | 4019 | logplain |
| -rw-r--r-- | BaseProvider.cs | 3692 | logplain |
| -rw-r--r-- | DafnyProvider.cs | 11864 | logplain |
| -rw-r--r-- | DataModel.cs | 6248 | logplain |
| -rw-r--r-- | Main.Designer.cs | 25686 | logplain |
| -rw-r--r-- | Main.cs | 25013 | logplain |
| -rw-r--r-- | Main.resx | 189610 | logplain |
| -rw-r--r-- | ModelViewer.csproj | 9743 | logplain |
| -rw-r--r-- | Namer.cs | 15999 | logplain |
| d--------- | Properties | 227 | logplain |
| -rw-r--r-- | SourceView.Designer.cs | 2137 | logplain |
| -rw-r--r-- | SourceView.cs | 1437 | logplain |
| -rw-r--r-- | SourceView.resx | 5698 | logplain |
| -rw-r--r-- | TreeSkeleton.cs | 5254 | logplain |
| -rw-r--r-- | VccProvider.cs | 48811 | logplain |
| -rw-r--r-- | bvdicon.design | 7272 | logplain |
| -rw-r--r-- | bvdicon.ico | 123242 | logplain |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |