| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | calc.dfy | 398 | logplain |
| -rw-r--r-- | calc.dfy.expect | 488 | logplain |
| -rw-r--r-- | exists-b-exists-not-b.dfy | 389 | logplain |
| -rw-r--r-- | exists-b-exists-not-b.dfy.expect | 253 | logplain |
| d--------- | granted | 139 | logplain |
| -rw-r--r-- | naked-function-in-recursive-setting.dfy | 277 | logplain |
| -rw-r--r-- | naked-function-in-recursive-setting.dfy.expect | 345 | 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 | 792 | 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 |
| -rw-r--r-- | tooltips-on-inductive-lemmas.dfy | 368 | logplain |
| -rw-r--r-- | tooltips-on-inductive-lemmas.dfy.expect | 345 | logplain |
| -rw-r--r-- | we-should-always-print-tooltips.dfy | 204 | logplain |
| -rw-r--r-- | we-should-always-print-tooltips.dfy.expect | 61 | logplain |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |