| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-03-07 | Add a rewrite to remove impossible cases on integer literals | Brian Campbell | |
| (e.g., for the dual 32/64 bit RISC-V model) Apply this rewrite in Coq backend. | |||
| 2019-03-07 | Simplify handling of referenced variables in constant propagation | Brian Campbell | |
| 2019-03-07 | Extract constant propagation and related functions from monomorphisation. | Brian Campbell | |
| This shouldn't change any functionality. | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |