summaryrefslogtreecommitdiff
path: root/Test/dafny1
ModeNameSize
-rw-r--r--Answer4189logplain
-rw-r--r--BDD.dfy1650logplain
-rw-r--r--BinaryTree.dfy6395logplain
-rw-r--r--Celebrity.dfy2304logplain
-rw-r--r--Cubes.dfy505logplain
-rw-r--r--ExtensibleArray.dfy3533logplain
-rw-r--r--ExtensibleArrayAuto.dfy3073logplain
-rw-r--r--FindZero.dfy2482logplain
-rw-r--r--Induction.dfy6166logplain
-rw-r--r--KatzManna.dfy1913logplain
-rw-r--r--ListContents.dfy2773logplain
-rw-r--r--ListCopy.dfy1467logplain
-rw-r--r--ListReverse.dfy860logplain
-rw-r--r--MatrixFun.dfy2907logplain
-rw-r--r--MoreInduction.dfy2386logplain
-rw-r--r--PriorityQueue.dfy5788logplain
-rw-r--r--Queue.dfy4589logplain
-rw-r--r--Rippling.dfy12843logplain
-rw-r--r--SchorrWaite-stages.dfy13337logplain
-rw-r--r--SchorrWaite.dfy12070logplain
-rw-r--r--SeparationLogicList.dfy5332logplain
-rw-r--r--Substitution.dfy2847logplain
-rw-r--r--SumOfCubes.dfy2271logplain
-rw-r--r--TerminationDemos.dfy2169logplain
-rw-r--r--TreeDatatype.dfy2046logplain
-rw-r--r--UltraFilter.dfy3227logplain
-rw-r--r--UnboundedStack.dfy2506logplain
-rw-r--r--pow2.dfy895logplain
-rw-r--r--runtest.bat826logplain