index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Test
/
dafny3
Mode
Name
Size
-rw-r--r--
CachedContainer.dfy
3259
log
plain
-rw-r--r--
CachedContainer.dfy.expect
62
log
plain
-rw-r--r--
CalcExample.dfy
709
log
plain
-rw-r--r--
CalcExample.dfy.expect
61
log
plain
-rw-r--r--
Dijkstra.dfy
2261
log
plain
-rw-r--r--
Dijkstra.dfy.expect
62
log
plain
-rw-r--r--
Filter.dfy
7486
log
plain
-rw-r--r--
Filter.dfy.expect
62
log
plain
-rw-r--r--
GenericSort.dfy
6594
log
plain
-rw-r--r--
GenericSort.dfy.expect
62
log
plain
-rw-r--r--
InductionVsCoinduction.dfy
4136
log
plain
-rw-r--r--
InductionVsCoinduction.dfy.expect
62
log
plain
-rw-r--r--
InfiniteTrees.dfy
22725
log
plain
-rw-r--r--
InfiniteTrees.dfy.expect
62
log
plain
-rw-r--r--
Iter.dfy
2704
log
plain
-rw-r--r--
Iter.dfy.expect
62
log
plain
-rw-r--r--
OpaqueTrees.dfy
1117
log
plain
-rw-r--r--
OpaqueTrees.dfy.expect
61
log
plain
-rw-r--r--
Paulson.dfy
5358
log
plain
-rw-r--r--
Paulson.dfy.expect
62
log
plain
-rw-r--r--
SetIterations.dfy
1591
log
plain
-rw-r--r--
SetIterations.dfy.expect
62
log
plain
-rw-r--r--
SimpleCoinduction.dfy
2372
log
plain
-rw-r--r--
SimpleCoinduction.dfy.expect
62
log
plain
-rw-r--r--
SimpleInduction.dfy
2531
log
plain
-rw-r--r--
SimpleInduction.dfy.expect
62
log
plain
-rw-r--r--
Streams.dfy
10990
log
plain
-rw-r--r--
Streams.dfy.expect
62
log
plain
-rw-r--r--
WideTrees.dfy
1160
log
plain
-rw-r--r--
WideTrees.dfy.expect
62
log
plain
-rw-r--r--
Zip.dfy
2436
log
plain
-rw-r--r--
Zip.dfy.expect
62
log
plain