aboutsummaryrefslogtreecommitdiff
path: root/model/riscv_step_rvfi.sail
AgeCommit message (Expand)AuthorFilesLines
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