summaryrefslogtreecommitdiff
path: root/Test/dafny2
ModeNameSize
-rw-r--r--Answer1970logplain
-rw-r--r--COST-verif-comp-2011-1-MaxArray.dfy3133logplain
-rw-r--r--COST-verif-comp-2011-2-MaxTree-class.dfy5271logplain
-rw-r--r--COST-verif-comp-2011-2-MaxTree-datatype.dfy2941logplain
-rw-r--r--COST-verif-comp-2011-3-TwoDuplicates.dfy5312logplain
-rw-r--r--COST-verif-comp-2011-4-FloydCycleDetect.dfy19759logplain
-rw-r--r--Calculations.dfy5595logplain
-rw-r--r--Classics.dfy3602logplain
-rw-r--r--Intervals.dfy1731logplain
-rw-r--r--MajorityVote.dfy8696logplain
-rw-r--r--MonotonicHeapstate.dfy3630logplain
-rw-r--r--SegmentSum.dfy878logplain
-rw-r--r--SnapshotableTrees.dfy17855logplain
-rw-r--r--StoreAndRetrieve.dfy1722logplain
-rw-r--r--TreeBarrier.dfy4149logplain
-rw-r--r--TreeFill.dfy746logplain
-rw-r--r--TuringFactorial.dfy509logplain
-rw-r--r--runtest.bat707logplain