aboutsummaryrefslogtreecommitdiff
path: root/model/riscv_step_rvfi.sail
AgeCommit message (Expand)AuthorFilesLines
2024-02-08Shorten copyright notice at the top of each fileTim Hutt1-65/+3
2023-09-12Remove effectsTim Hutt1-1/+1
2023-08-01Rename EXTZ and EXTSAlasdair1-1/+1
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
2021-03-16Initial implementation of new RVFI_DII socket formatAlex Richardson1-6/+1
2020-02-06Initialize fdregs for rvfi.Prashanth Mundkur1-0/+1
2019-07-19Add a new pc access function to get the architectural PC: on CHERI this is no...master-cleanupRobert Norton1-1/+1
2019-07-09Add ext_rvfi_init to allow model to be initialised differently for rvfi.Robert Norton1-0/+1
2019-06-27Zero extend rather than sign extend rvfi-dii reports (usefull for 32 rvfi-dii...Alexandre Joannou1-1/+1
2019-05-02rvfi: fixes for RV32Prashanth Mundkur1-1/+1
2019-05-02rvfi: initialize registers between test runs.Prashanth Mundkur1-0/+1
2019-04-24Add extended model from cheri-merge.Prashanth Mundkur1-0/+22