| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | ACL2-extractor.dfy | 6954 | logplain |
| -rw-r--r-- | ACL2-extractor.dfy.expect | 62 | logplain |
| -rw-r--r-- | Answer | 1365 | logplain |
| -rw-r--r-- | Circ.dfy | 2270 | logplain |
| -rw-r--r-- | Circ.dfy.expect | 62 | logplain |
| -rw-r--r-- | ClassRefinement.dfy | 1558 | logplain |
| -rw-r--r-- | ClassRefinement.dfy.expect | 62 | logplain |
| -rw-r--r-- | CoqArt-InsertionSort.dfy | 4324 | logplain |
| -rw-r--r-- | CoqArt-InsertionSort.dfy.expect | 62 | logplain |
| -rw-r--r-- | Fstar-QuickSort.dfy | 4379 | logplain |
| -rw-r--r-- | Fstar-QuickSort.dfy.expect | 61 | logplain |
| -rw-r--r-- | GHC-MergeSort.dfy | 22351 | logplain |
| -rw-r--r-- | GHC-MergeSort.dfy.expect | 62 | logplain |
| -rw-r--r-- | KozenSilva.dfy | 13509 | logplain |
| -rw-r--r-- | KozenSilva.dfy.expect | 62 | logplain |
| -rw-r--r-- | NumberRepresentations.dfy | 9331 | logplain |
| -rw-r--r-- | NumberRepresentations.dfy.expect | 62 | logplain |
| -rw-r--r-- | Primes.dfy | 5470 | logplain |
| -rw-r--r-- | Primes.dfy.expect | 62 | logplain |
| -rw-r--r-- | SoftwareFoundations-Basics.dfy | 11485 | logplain |
| -rw-r--r-- | SoftwareFoundations-Basics.dfy.expect | 164 | logplain |
| -rw-r--r-- | runtest.bat | 349 | logplain |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |