index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Test
/
dafny2
Mode
Name
Size
-rw-r--r--
COST-verif-comp-2011-1-MaxArray.dfy
3226
log
plain
-rw-r--r--
COST-verif-comp-2011-1-MaxArray.dfy.expect
61
log
plain
-rw-r--r--
COST-verif-comp-2011-2-MaxTree-class.dfy
5370
log
plain
-rw-r--r--
COST-verif-comp-2011-2-MaxTree-class.dfy.expect
61
log
plain
-rw-r--r--
COST-verif-comp-2011-2-MaxTree-datatype.dfy
3034
log
plain
-rw-r--r--
COST-verif-comp-2011-2-MaxTree-datatype.dfy.expect
61
log
plain
-rw-r--r--
COST-verif-comp-2011-3-TwoDuplicates.dfy
5405
log
plain
-rw-r--r--
COST-verif-comp-2011-3-TwoDuplicates.dfy.expect
61
log
plain
-rw-r--r--
COST-verif-comp-2011-4-FloydCycleDetect.dfy
19514
log
plain
-rw-r--r--
COST-verif-comp-2011-4-FloydCycleDetect.dfy.expect
62
log
plain
-rw-r--r--
Calculations.dfy
7147
log
plain
-rw-r--r--
Calculations.dfy.expect
62
log
plain
-rw-r--r--
Classics.dfy
3695
log
plain
-rw-r--r--
Classics.dfy.expect
61
log
plain
-rw-r--r--
Intervals.dfy
1824
log
plain
-rw-r--r--
Intervals.dfy.expect
61
log
plain
-rw-r--r--
MajorityVote.dfy
16655
log
plain
-rw-r--r--
MajorityVote.dfy.expect
62
log
plain
-rw-r--r--
MonotonicHeapstate.dfy
3723
log
plain
-rw-r--r--
MonotonicHeapstate.dfy.expect
62
log
plain
-rw-r--r--
SegmentSum.dfy
971
log
plain
-rw-r--r--
SegmentSum.dfy.expect
61
log
plain
-rw-r--r--
StoreAndRetrieve.dfy
1856
log
plain
-rw-r--r--
StoreAndRetrieve.dfy.expect
62
log
plain
-rw-r--r--
TreeBarrier.dfy
4242
log
plain
-rw-r--r--
TreeBarrier.dfy.expect
61
log
plain
-rw-r--r--
TreeFill.dfy
836
log
plain
-rw-r--r--
TreeFill.dfy.expect
61
log
plain
-rw-r--r--
TuringFactorial.dfy
602
log
plain
-rw-r--r--
TuringFactorial.dfy.expect
61
log
plain
d---------
unsupported
90
log
plain
