| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | BHeap.jen | 801 | logplain |
| -rw-r--r-- | DList.jen | 773 | logplain |
| -rw-r--r-- | List.jen | 1526 | logplain |
| -rw-r--r-- | List2.jen | 1107 | logplain |
| -rw-r--r-- | List3.jen | 1305 | logplain |
| -rw-r--r-- | Number.jen | 982 | logplain |
| -rw-r--r-- | NumberMethods.jen | 1054 | logplain |
| -rw-r--r-- | Set.jen | 1391 | logplain |
| -rw-r--r-- | Set2.jen | 1222 | logplain |
| -rw-r--r-- | Simple.jen | 593 | logplain |
| -rw-r--r-- | jennisys-synth_List.dfy | 3141 | logplain |
| -rw-r--r-- | jennisys-synth_List2.dfy | 4758 | logplain |
| -rw-r--r-- | jennisys-synth_List3.dfy | 5913 | logplain |
| -rw-r--r-- | jennisys-synth_Number.dfy | 4070 | logplain |
| -rw-r--r-- | jennisys-synth_Set.dfy | 9730 | logplain |
| d--------- | mod | 258 | logplain |
| d--------- | mod2 | 370 | logplain |
| d--------- | oopsla12 | 398 | logplain |
| -rw-r--r-- | set.dfy | 6436 | logplain |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |