aboutsummaryrefslogtreecommitdiff
path: root/ocaml_emulator/platform.ml
AgeCommit message (Expand)AuthorFilesLines
2021-11-17Revert "Initial introduction of zfinx (#75)"Jessica Clarke1-2/+0
2021-11-17Initial introduction of zfinx (#75)Ibrahim Abu Kharmeh1-0/+2
2021-10-18scalar-crypto: Initial commit of 1.0.0-rc2 spec work. (#99)Ben Marshall1-0/+5
2021-02-11Make N extension configurable.Prashanth Mundkur1-0/+2
2019-11-26Add individual ocaml stubs for the softfloat functions.Prashanth Mundkur1-6/+0
2019-11-06Add hooks for misa.{F,D} for C and OCaml, and fix 64-bit OCaml build.Prashanth Mundkur1-0/+7
2019-06-26Merge branch 'master-cleanup' into pmpPrashanth Mundkur1-0/+5
2019-06-26Add command line option in c_emulator for disabling tracing. Add builtins for...Robert Norton1-0/+5
2019-06-24Add PMP checks to physical memory accesses.Prashanth Mundkur1-0/+2
2019-04-18Parameterise memory read/write primitives by address lengthJon French1-2/+2
2019-04-12Merge branch 'master' into rmem_interpreterrmem_interpreterJon French1-12/+17
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 Mundkur1-12/+17
2019-02-27Add an option to write signatures for the compliance suite.Prashanth Mundkur1-0/+5
2019-02-26Remove old license header from ml files.Prashanth Mundkur1-50/+0
2019-02-21Fix the ocaml platform to respect the architectural width.Prashanth Mundkur1-13/+20
2019-02-20Some changes for arch-specific initialization.Prashanth Mundkur1-5/+6
2019-01-16Make it clearer that the outer c,ocaml sub-dirs contain supporting files for ...Prashanth Mundkur1-0/+174