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