Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2021-07-29 | Use headache to apply copyright header at request of Peter Sewell. | Robert Norton | 1 | -0/+68 |
2021-03-16 | Also set the IXL field in the RVFI trace | Alex Richardson | 1 | -0/+1 |
2021-03-16 | Report the current privilege level via RVFI | Alex Richardson | 1 | -0/+1 |
2021-03-16 | Initial implementation of new RVFI_DII socket format | Alex Richardson | 1 | -8/+3 |
2020-11-09 | Perform PTE checks on DII fetch (with jrtc27) | Peter Rugg | 1 | -16/+23 |
2019-09-10 | Call ext_fetch_check_pc for rvfi fetch as for normal fetch. | Robert Norton | 1 | -19/+31 |
2019-09-06 | Fix rvfi build for cast free prelude. | Robert Norton | 1 | -2/+2 |
2019-07-19 | Add a new pc access function to get the architectural PC: on CHERI this is no...master-cleanup | Robert Norton | 1 | -1/+1 |
2019-06-27 | Zero extend rather than sign extend rvfi-dii reports (usefull for 32 rvfi-dii... | Alexandre Joannou | 1 | -4/+4 |
2019-05-02 | rvfi: fixes for RV32 | Prashanth Mundkur | 1 | -4/+4 |
2019-04-24 | Add extended model from cheri-merge. | Prashanth Mundkur | 1 | -0/+21 |