| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2023-09-12 | Remove effects | Tim Hutt | 1 | -11/+11 |
| 2023-08-01 | Rename EXTZ and EXTS | Alasdair | 1 | -7/+7 |
| 2023-06-15 | Run the pre-commit hook on all files | Alex Richardson | 1 | -1/+1 |
| 2023-05-29 | apply_headers: regenerate copyright headersupdate-copyright-headers | Philipp Tomsich | 1 | -1/+3 |
| 2021-07-29 | Use headache to apply copyright header at request of Peter Sewell. | Robert Norton | 1 | -0/+68 |
| 2021-03-16 | Fix sending version2 trace optional data | Alex Richardson | 1 | -6/+16 |
| 2021-03-16 | Improvements to the version 2 RVFI trace format | Alex Richardson | 1 | -47/+57 |
| 2021-03-16 | Fix missing rvfi_halt field when converting v2 to v1 RVFI trace format | Alex Richardson | 1 | -0/+1 |
| 2021-03-16 | Add a -v rvfi flag to add RVFI debug logging | Alex Richardson | 1 | -3/+3 |
| 2021-03-16 | Initial implementation of new RVFI_DII socket format | Alex Richardson | 1 | -27/+222 |
| 2019-05-02 | rvfi: fix mask encoding | Prashanth Mundkur | 1 | -0/+5 |
| 2019-03-07 | Get rvfi building again. | Prashanth Mundkur | 1 | -1/+1 |
| 2019-01-14 | Reorganize directory structure. | Prashanth Mundkur | 1 | -0/+98 |
 |
index : sail-riscv.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |