| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-01-23 | Run tests for Lem shallow embedding | Thomas Bauereiss | |
| Uses the typechecker tests for now. Also fix two minor bugs in pretty-printer and rewriter uncovered by the tests. | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |