aboutsummaryrefslogtreecommitdiff
path: root/ocaml_emulator/riscv_ocaml_sim.ml
AgeCommit message (Expand)AuthorFilesLines
2024-09-19Remove the OCaml emulatorTim Hutt1-211/+0
2024-09-02Merge pull request #528 from Alasdair/step_delimit_traceBill McSpadden1-0/+3
2024-08-29Implement Zicbom, Zicboz (cbo.flush, cbo.inval, cbo.zero)Tim Hutt1-0/+9
2024-08-27Add an option to delimit instructions in the traceAlasdair1-0/+3
2024-07-05Add support for B extensionVed Shanbhogue1-0/+3
2024-05-07fixup! Add Svinval extension.Martin Berger1-0/+3
2024-04-15Implement Zcb extensionTim Hutt1-0/+3
2024-02-05Improve PMP supportTim Hutt1-3/+6
2023-10-17RISC-V Vector Extension SupportXinlai Wan1-0/+3
2023-10-11Rename enable-fiom to enable-writable-fiomTim Hutt1-2/+2
2023-10-11Implement menvcfgTim Hutt1-0/+3
2022-01-19Configurable word size for test signature file output (#136)Bilal Sakhawat1-7/+14
2021-02-11Make N extension configurable.Prashanth Mundkur1-0/+3
2019-06-24Add PMP checks to physical memory accesses.Prashanth Mundkur1-0/+3
2019-03-29Generalize the previous commit to handle hardwired misa.c.Prashanth Mundkur1-0/+6
2019-03-14Use Bytes.get instead of square bracket notation. I think this is an ocaml ve...Robert Norton1-4/+4
2019-03-11Fixes for Sv39 TLB.Prashanth Mundkur1-2/+1
2019-02-27Add an option to write signatures for the compliance suite.Prashanth Mundkur1-8/+57
2019-02-26Remove old license header from ml files.Prashanth Mundkur1-50/+0
2019-02-20Some changes for arch-specific initialization.Prashanth Mundkur1-12/+22
2019-02-20Add an option to report the model architecture to the emulators.Prashanth Mundkur1-0/+7
2019-02-20Add ELF architecture checks to the loaders in the OCaml and C emulators.Prashanth Mundkur1-1/+17
2019-01-16Make it clearer that the outer c,ocaml sub-dirs contain supporting files for ...Prashanth Mundkur1-0/+131