| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Answer | 1946 | logplain |
| -rw-r--r-- | CachedContainer.dfy | 3138 | logplain |
| -rw-r--r-- | CalcExample.dfy | 616 | logplain |
| -rw-r--r-- | Dijkstra.dfy | 2196 | logplain |
| -rw-r--r-- | Filter.dfy | 7395 | logplain |
| -rw-r--r-- | GenericSort.dfy | 5200 | logplain |
| -rw-r--r-- | InductionVsCoinduction.dfy | 4044 | logplain |
| -rw-r--r-- | InfiniteTrees.dfy | 22586 | logplain |
| -rw-r--r-- | Iter.dfy | 2611 | logplain |
| -rw-r--r-- | OpaqueTrees.dfy | 1015 | logplain |
| -rw-r--r-- | Paulson.dfy | 5267 | logplain |
| -rw-r--r-- | SetIterations.dfy | 1498 | logplain |
| -rw-r--r-- | SimpleCoinduction.dfy | 2086 | logplain |
| -rw-r--r-- | SimpleInduction.dfy | 2439 | logplain |
| -rw-r--r-- | Streams.dfy | 10899 | logplain |
| -rw-r--r-- | WideTrees.dfy | 1067 | logplain |
| -rw-r--r-- | Zip.dfy | 2344 | logplain |
| -rw-r--r-- | runtest.bat | 861 | logplain |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |