| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-07-24 | Move monomorphisation after mapping rewrites | Brian Campbell | |
| Fixes monomorphisation on files using mappings. Also extended constant propagation to handle pattern matches on bitvector expressions (because an earlier rewrite replaces the literals). Also moved L_undef rewriting because monomorphisation can handle them but not the replacement functions. | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |