index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Test
/
dafny4
Mode
Name
Size
-rw-r--r--
ACL2-extractor.dfy
6954
log
plain
-rw-r--r--
ACL2-extractor.dfy.expect
62
log
plain
-rw-r--r--
BinarySearch.dfy
2116
log
plain
-rw-r--r--
BinarySearch.dfy.expect
337
log
plain
-rw-r--r--
Bug54.dfy
426
log
plain
-rw-r--r--
Bug54.dfy.expect
61
log
plain
-rw-r--r--
Bug60.dfy
357
log
plain
-rw-r--r--
Bug60.dfy.expect
157
log
plain
-rw-r--r--
Circ.dfy
2270
log
plain
-rw-r--r--
Circ.dfy.expect
62
log
plain
-rw-r--r--
ClassRefinement.dfy
1578
log
plain
-rw-r--r--
ClassRefinement.dfy.expect
62
log
plain
-rw-r--r--
CoqArt-InsertionSort.dfy
4324
log
plain
-rw-r--r--
CoqArt-InsertionSort.dfy.expect
62
log
plain
-rw-r--r--
Fstar-QuickSort.dfy
4379
log
plain
-rw-r--r--
Fstar-QuickSort.dfy.expect
61
log
plain
-rw-r--r--
GHC-MergeSort.dfy
22351
log
plain
-rw-r--r--
GHC-MergeSort.dfy.expect
62
log
plain
-rw-r--r--
KozenSilva.dfy
13509
log
plain
-rw-r--r--
KozenSilva.dfy.expect
62
log
plain
-rw-r--r--
NumberRepresentations.dfy
9551
log
plain
-rw-r--r--
NumberRepresentations.dfy.expect
62
log
plain
-rw-r--r--
Primes.dfy
5470
log
plain
-rw-r--r--
Primes.dfy.expect
62
log
plain
-rw-r--r--
SoftwareFoundations-Basics.dfy
11485
log
plain
-rw-r--r--
SoftwareFoundations-Basics.dfy.expect
164
log
plain