summaryrefslogtreecommitdiff
path: root/Test/dafny1
ModeNameSize
-rw-r--r--BDD.dfy1776logplain
-rw-r--r--BDD.dfy.expect61logplain
-rw-r--r--BinaryTree.dfy6488logplain
-rw-r--r--BinaryTree.dfy.expect62logplain
-rw-r--r--Celebrity.dfy2293logplain
-rw-r--r--Celebrity.dfy.expect62logplain
-rw-r--r--Cubes.dfy598logplain
-rw-r--r--Cubes.dfy.expect61logplain
-rw-r--r--ExtensibleArray.dfy3626logplain
-rw-r--r--ExtensibleArray.dfy.expect62logplain
-rw-r--r--ExtensibleArrayAuto.dfy3143logplain
-rw-r--r--ExtensibleArrayAuto.dfy.expect62logplain
-rw-r--r--FindZero.dfy2608logplain
-rw-r--r--FindZero.dfy.expect61logplain
-rw-r--r--Induction.dfy6365logplain
-rw-r--r--Induction.dfy.expect62logplain
-rw-r--r--KatzManna.dfy2006logplain
-rw-r--r--KatzManna.dfy.expect61logplain
-rw-r--r--ListContents.dfy2869logplain
-rw-r--r--ListContents.dfy.expect62logplain
-rw-r--r--ListCopy.dfy1578logplain
-rw-r--r--ListCopy.dfy.expect61logplain
-rw-r--r--ListReverse.dfy969logplain
-rw-r--r--ListReverse.dfy.expect61logplain
-rw-r--r--MatrixFun.dfy3000logplain
-rw-r--r--MatrixFun.dfy.expect61logplain
-rw-r--r--MoreInduction.dfy2536logplain
-rw-r--r--MoreInduction.dfy.expect942logplain
-rw-r--r--PriorityQueue.dfy6101logplain
-rw-r--r--PriorityQueue.dfy.expect62logplain
-rw-r--r--Queue.dfy4682logplain
-rw-r--r--Queue.dfy.expect62logplain
-rw-r--r--Rippling.dfy12791logplain
-rw-r--r--Rippling.dfy.expect63logplain
-rw-r--r--SchorrWaite-stages.dfy13622logplain
-rw-r--r--SchorrWaite-stages.dfy.expect62logplain
-rw-r--r--SchorrWaite.dfy11911logplain
-rw-r--r--SchorrWaite.dfy.expect62logplain
-rw-r--r--SeparationLogicList.dfy5425logplain
-rw-r--r--SeparationLogicList.dfy.expect62logplain
-rw-r--r--Substitution.dfy2869logplain
-rw-r--r--Substitution.dfy.expect62logplain
-rw-r--r--SumOfCubes.dfy2364logplain
-rw-r--r--SumOfCubes.dfy.expect62logplain
-rw-r--r--TerminationDemos.dfy2262logplain
-rw-r--r--TerminationDemos.dfy.expect62logplain
-rw-r--r--TreeDatatype.dfy2092logplain
-rw-r--r--TreeDatatype.dfy.expect62logplain
-rw-r--r--UltraFilter.dfy3336logplain
-rw-r--r--UltraFilter.dfy.expect62logplain
-rw-r--r--UnboundedStack.dfy2599logplain
-rw-r--r--UnboundedStack.dfy.expect62logplain
-rw-r--r--pow2.dfy970logplain
-rw-r--r--pow2.dfy.expect61logplain