summaryrefslogtreecommitdiff
path: root/Test/dafny2
ModeNameSize
-rw-r--r--COST-verif-comp-2011-1-MaxArray.dfy3226logplain
-rw-r--r--COST-verif-comp-2011-1-MaxArray.dfy.expect61logplain
-rw-r--r--COST-verif-comp-2011-2-MaxTree-class.dfy5586logplain
-rw-r--r--COST-verif-comp-2011-2-MaxTree-class.dfy.expect62logplain
-rw-r--r--COST-verif-comp-2011-2-MaxTree-datatype.dfy3033logplain
-rw-r--r--COST-verif-comp-2011-2-MaxTree-datatype.dfy.expect61logplain
-rw-r--r--COST-verif-comp-2011-3-TwoDuplicates.dfy5469logplain
-rw-r--r--COST-verif-comp-2011-3-TwoDuplicates.dfy.expect61logplain
-rw-r--r--COST-verif-comp-2011-4-FloydCycleDetect.dfy19534logplain
-rw-r--r--COST-verif-comp-2011-4-FloydCycleDetect.dfy.expect62logplain
-rw-r--r--Calculations.dfy7062logplain
-rw-r--r--Calculations.dfy.expect62logplain
-rw-r--r--Classics.dfy3695logplain
-rw-r--r--Classics.dfy.expect61logplain
-rw-r--r--Intervals.dfy1959logplain
-rw-r--r--Intervals.dfy.expect61logplain
-rw-r--r--MajorityVote.dfy16641logplain
-rw-r--r--MajorityVote.dfy.expect62logplain
-rw-r--r--MonotonicHeapstate.dfy3752logplain
-rw-r--r--MonotonicHeapstate.dfy.expect62logplain
-rw-r--r--SegmentSum.dfy971logplain
-rw-r--r--SegmentSum.dfy.expect61logplain
-rw-r--r--SnapshotableTrees.dfy25182logplain
-rw-r--r--SnapshotableTrees.dfy.expect696logplain
-rw-r--r--StoreAndRetrieve.dfy1879logplain
-rw-r--r--StoreAndRetrieve.dfy.expect62logplain
-rw-r--r--TreeBarrier.dfy4296logplain
-rw-r--r--TreeBarrier.dfy.expect61logplain
-rw-r--r--TreeFill.dfy836logplain
-rw-r--r--TreeFill.dfy.expect61logplain
-rw-r--r--TuringFactorial.dfy602logplain
-rw-r--r--TuringFactorial.dfy.expect61logplain