aboutsummaryrefslogtreecommitdiff
path: root/model/riscv_insts_hints.sail
AgeCommit message (Collapse)AuthorFilesLines
2023-05-29apply_headers: regenerate copyright headersupdate-copyright-headersPhilipp Tomsich1-1/+3
2021-07-29Use headache to apply copyright header at request of Peter Sewell.Robert Norton1-0/+68
2020-09-04Handle hints explicitly in order to not trap on them.Prashanth Mundkur1-0/+158
This currently maps their assembly renditions to non-standard instructions to preserve bidirectional mappings. Fixes #67 and #29.