aboutsummaryrefslogtreecommitdiff
path: root/model/riscv_sys_exceptions.sail
AgeCommit message (Expand)AuthorFilesLines
2024-02-08Shorten copyright notice at the top of each fileTim Hutt1-65/+3
2024-01-31Update bitfield syntaxAlasdair1-6/+6
2023-09-12Remove effectsTim Hutt1-3/+3
2023-06-15Run the pre-commit hook on all filesAlex Richardson1-1/+1
2023-05-29apply_headers: regenerate copyright headersupdate-copyright-headersPhilipp Tomsich1-1/+3
2023-03-06Add wildcard cases to matches to suppress Sail warnings. (#197)Robert Norton1-1/+1
2021-07-29Use headache to apply copyright header at request of Peter Sewell.Robert Norton1-0/+68
2019-11-05Add a hook to allow extensions to veto xret. This will be used by CHERI exten...xret_extRobert Norton1-0/+5
2019-05-24Make xret hooks differentiate between just reading xret target values and get...Prashanth Mundkur1-1/+11
2019-05-08Allow overide of utvec in identical way to mtvec/stvec in previous commit.Robert Norton1-0/+8
2019-05-07Allow overrides for mtvec/stvec accessors.Prashanth Mundkur1-0/+18
2019-04-24Add extended model from cheri-merge.Prashanth Mundkur1-0/+38