| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2014-01-14 | Fix vector concat pattern matching | Gabriel Kerneis | |
| The concatenation list was reversed. | |||
| 2014-01-09 | Fixed bug in resuming after an action (which was manifesting as an apparent ↵ | Kathy Gray | |
| pattern match bug, which was actually working fine). | |||
| 2014-01-08 | Fix pretty-printing of switch-cases | Gabriel Kerneis | |
| Weird bug, cf. test/pattern.sail. | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |