Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2023-06-15 | Add a clang-format configuration and reformat C code (#261) | Alexander Richardson | 1 | -10/+12 |
2022-08-24 | Allow building without -fcommon | Alex Richardson | 1 | -2/+2 |
2021-03-16 | Fix sending version2 trace optional data | Alex Richardson | 1 | -0/+4 |
2021-03-16 | Add a -v rvfi flag to add RVFI debug logging | Alex Richardson | 1 | -0/+4 |
2021-03-16 | Initial implementation of new RVFI_DII socket format | Alex Richardson | 1 | -1/+5 |
2019-11-06 | Add hooks for misa.{F,D} for C and OCaml, and fix 64-bit OCaml build. | Prashanth Mundkur | 1 | -0/+3 |
2019-11-04 | First cut at adding externs for softfloat. | Prashanth Mundkur | 1 | -0/+2 |
2019-07-09 | Add ext_rvfi_init to allow model to be initialised differently for rvfi. | Robert Norton | 1 | -0/+1 |
2019-03-11 | Fixes for Sv39 TLB. | Prashanth Mundkur | 1 | -2/+1 |
2019-02-20 | Add ELF architecture checks to the loaders in the OCaml and C emulators. | Prashanth Mundkur | 1 | -0/+1 |
2019-01-16 | Make it clearer that the outer c,ocaml sub-dirs contain supporting files for ... | Prashanth Mundkur | 1 | -0/+54 |