| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-06-30 | Fix bug with toplevel pattern in RISC-V duopod | Alasdair | |
| Do this by making sure that generic pattern literal re-writing gets applied to top-level function clauses. This requires re-ordering the rewrites for most backends otherwise they break, which hopefully wo anything. After doing this re-ordering I had to turn off casting when rewriting bitvector patterns, otherwise insane things can happen. | |||
| 2018-08-22 | Fix a bug in nested vector concatenation patterns | Alasdair Armstrong | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |