| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | FIFO.dfy | 911 | logplain |
| -rw-r--r-- | FIFO.dfy.expect | 115 | logplain |
| -rw-r--r-- | LIFO.dfy | 911 | logplain |
| -rw-r--r-- | LIFO.dfy.expect | 115 | logplain |
| -rw-r--r-- | Queue.dfyi | 457 | logplain |
| -rw-r--r-- | inheritreqs0.dfy | 426 | logplain |
| -rw-r--r-- | inheritreqs0.dfy.expect | 276 | logplain |
| -rw-r--r-- | inheritreqs1.dfy | 425 | logplain |
| -rw-r--r-- | inheritreqs1.dfy.expect | 271 | logplain |
| -rw-r--r-- | opened_workaround.dfy | 348 | logplain |
| -rw-r--r-- | opened_workaround.dfy.expect | 126 | logplain |
| -rw-r--r-- | optimize0.dfy | 162 | logplain |
| -rw-r--r-- | optimize0.dfy.expect | 112 | logplain |
| -rw-r--r-- | xrefine0.dfy | 255 | logplain |
| -rw-r--r-- | xrefine0.dfy.expect | 146 | logplain |
| -rw-r--r-- | xrefine1.dfy | 1550 | logplain |
| -rw-r--r-- | xrefine1.dfy.expect | 274 | logplain |
| -rw-r--r-- | xrefine2.dfy | 1550 | logplain |
| -rw-r--r-- | xrefine2.dfy.expect | 184 | logplain |
| -rw-r--r-- | xrefine3.dfy | 1471 | logplain |
| -rw-r--r-- | xrefine3.dfy.expect | 115 | logplain |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |