Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Answer | 12820 | logplain |
-rw-r--r-- | BQueue.bpl | 15402 | logplain |
-rw-r--r-- | BinaryTree.dfy | 6694 | logplain |
-rw-r--r-- | DTypes.dfy | 1713 | logplain |
-rw-r--r-- | Datatypes.dfy | 1236 | logplain |
-rw-r--r-- | Definedness.dfy | 5846 | logplain |
-rw-r--r-- | ListContents.dfy | 2960 | logplain |
-rw-r--r-- | ListCopy.dfy | 1507 | logplain |
-rw-r--r-- | ListReverse.dfy | 860 | logplain |
-rw-r--r-- | Modules0.dfy | 2144 | logplain |
-rw-r--r-- | Modules1.dfy | 941 | logplain |
-rw-r--r-- | Queue.dfy | 4681 | logplain |
-rw-r--r-- | SchorrWaite.dfy | 12107 | logplain |
-rw-r--r-- | Simple.dfy | 1255 | logplain |
-rw-r--r-- | SmallTests.dfy | 3892 | logplain |
-rw-r--r-- | SumOfCubes.dfy | 2464 | logplain |
-rw-r--r-- | Termination.dfy | 1712 | logplain |
-rw-r--r-- | TerminationDemos.dfy | 1590 | logplain |
-rw-r--r-- | TypeParameters.dfy | 1606 | logplain |
-rw-r--r-- | TypeTests.dfy | 1195 | logplain |
-rw-r--r-- | UnboundedStack.dfy | 2542 | logplain |
-rw-r--r-- | Use.dfy | 4229 | logplain |
-rw-r--r-- | runtest.bat | 844 | logplain |