Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Answer | 988 | logplain |
-rw-r--r-- | COST-verif-comp-2011-1-MaxArray.dfy | 3133 | logplain |
-rw-r--r-- | COST-verif-comp-2011-2-MaxTree-class.dfy | 5271 | logplain |
-rw-r--r-- | COST-verif-comp-2011-2-MaxTree-datatype.dfy | 2941 | logplain |
-rw-r--r-- | COST-verif-comp-2011-3-TwoDuplicates.dfy | 5312 | logplain |
-rw-r--r-- | COST-verif-comp-2011-4-FloydCycleDetect.dfy | 19759 | logplain |
-rw-r--r-- | SnapshotableTrees.dfy | 17826 | logplain |
-rw-r--r-- | TreeBarrier.dfy | 4149 | logplain |
-rw-r--r-- | runtest.bat | 881 | logplain |