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