| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-09-07 | Fix typo a mono_rewrites definition | Brian Campbell | |
| - add tests for a couple of related rewrites - accept same range of constants for sign extension in the rewrite as for the zero extension version (to make the test simpler) | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |