aboutsummaryrefslogtreecommitdiff
path: root/model/riscv_ext_regs.sail
AgeCommit message (Collapse)AuthorFilesLines
2019-07-09Add ext_rvfi_init to allow model to be initialised differently for rvfi.Robert Norton1-0/+8
2019-04-24Add extended model from cheri-merge.Prashanth Mundkur1-0/+6