summaryrefslogtreecommitdiff
path: root/Test/dafny1
ModeNameSize
-rw-r--r--Answer4189logplain
-rw-r--r--BDD.dfy1650logplain
-rw-r--r--BinaryTree.dfy6369logplain
-rw-r--r--Celebrity.dfy2314logplain
-rw-r--r--Cubes.dfy505logplain
-rw-r--r--ExtensibleArray.dfy3572logplain
-rw-r--r--ExtensibleArrayAuto.dfy3112logplain
-rw-r--r--FindZero.dfy2482logplain
-rw-r--r--Induction.dfy6166logplain
-rw-r--r--KatzManna.dfy1553logplain
-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.dfy4597logplain
-rw-r--r--Rippling.dfy12931logplain
-rw-r--r--SchorrWaite-stages.dfy13328logplain
-rw-r--r--SchorrWaite.dfy12070logplain
-rw-r--r--SeparationLogicList.dfy5306logplain
-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.bat814logplain
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-31 23:16:22 +0000