aboutsummaryrefslogtreecommitdiff
path: root/ocaml_emulator
AgeCommit message (Expand)AuthorFilesLines
2019-04-18Parameterise memory read/write primitives by address lengthJon French1-2/+2
2019-04-12Merge branch 'master' into rmem_interpreterrmem_interpreterJon French2-12/+23
2019-04-12ocaml emulator: add ocaml impls for new standard Sail memory functionsJon French1-0/+12
2019-03-29Generalize the previous commit to handle hardwired misa.c.Prashanth Mundkur2-12/+23
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 Mundkur2-8/+62
2019-02-26Reduce default ram to 64MB in ocaml emulator.Prashanth Mundkur1-1/+1
2019-02-26Remove old license header from ml files.Prashanth Mundkur2-100/+0
2019-02-22Add rv32 support to the trace comparer.Prashanth Mundkur1-8/+67
2019-02-21Fix the ocaml platform to respect the architectural width.Prashanth Mundkur1-13/+20
2019-02-20Some changes for arch-specific initialization.Prashanth Mundkur3-25/+50
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 Mundkur6-0/+800