aboutsummaryrefslogtreecommitdiff
path: root/ocaml_emulator/riscv_ocaml_sim.ml
AgeCommit message (Expand)AuthorFilesLines
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