Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | FIFO.dfy | 900 | logplain |
-rw-r--r-- | FIFO.dfy.expect | 115 | logplain |
-rw-r--r-- | LIFO.dfy | 900 | 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-- | optimize0.dfy | 162 | logplain |
-rw-r--r-- | optimize0.dfy.expect | 112 | logplain |
-rw-r--r-- | xrefine0.dfy | 244 | logplain |
-rw-r--r-- | xrefine0.dfy.expect | 146 | logplain |
-rw-r--r-- | xrefine1.dfy | 1539 | logplain |
-rw-r--r-- | xrefine1.dfy.expect | 274 | logplain |
-rw-r--r-- | xrefine2.dfy | 1539 | logplain |
-rw-r--r-- | xrefine2.dfy.expect | 184 | logplain |
-rw-r--r-- | xrefine3.dfy | 1460 | logplain |
-rw-r--r-- | xrefine3.dfy.expect | 115 | logplain |