Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2019-07-09 | Add ext_rvfi_init to allow model to be initialised differently for rvfi. | Robert Norton | 1 | -0/+1 |
2019-06-27 | Zero extend rather than sign extend rvfi-dii reports (usefull for 32 rvfi-dii... | Alexandre Joannou | 1 | -1/+1 |
2019-05-02 | rvfi: fixes for RV32 | Prashanth Mundkur | 1 | -1/+1 |
2019-05-02 | rvfi: initialize registers between test runs. | Prashanth Mundkur | 1 | -0/+1 |
2019-04-24 | Add extended model from cheri-merge. | Prashanth Mundkur | 1 | -0/+22 |