| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | calc.dfy | 398 | logplain |
| -rw-r--r-- | calc.dfy.expect | 488 | logplain |
| -rw-r--r-- | sequences-literals.dfy | 2732 | logplain |
| -rw-r--r-- | sequences-literals.dfy.expect | 573 | logplain |
| -rw-r--r-- | sequences-s0-in-s.dfy | 765 | logplain |
| -rw-r--r-- | sequences-s0-in-s.dfy.expect | 177 | logplain |
| -rw-r--r-- | strings.dfy | 174 | logplain |
| -rw-r--r-- | strings.dfy.expect | 143 | logplain |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |