summaryrefslogtreecommitdiff
path: root/Test/dafny1
ModeNameSize
-rw-r--r--Answer2323logplain
-rw-r--r--BQueue.bpl15402logplain
-rw-r--r--BinaryTree.dfy6431logplain
-rw-r--r--Celebrity.dfy2399logplain
-rw-r--r--Cubes.dfy505logplain
-rw-r--r--KatzManna.dfy1553logplain
-rw-r--r--ListContents.dfy2791logplain
-rw-r--r--ListCopy.dfy1507logplain
-rw-r--r--ListReverse.dfy860logplain
-rw-r--r--MatrixFun.dfy2987logplain
-rw-r--r--PriorityQueue.dfy3051logplain
-rw-r--r--Queue.dfy4711logplain
-rw-r--r--SchorrWaite.dfy11892logplain
-rw-r--r--SeparationLogicList.dfy5316logplain
-rw-r--r--Substitution.dfy2986logplain
-rw-r--r--SumOfCubes.dfy2314logplain
-rw-r--r--TerminationDemos.dfy1527logplain
-rw-r--r--TreeDatatype.dfy1382logplain
-rw-r--r--UltraFilter.dfy3245logplain
-rw-r--r--UnboundedStack.dfy2542logplain
-rw-r--r--runtest.bat778logplain