aboutsummaryrefslogtreecommitdiff
path: root/ocaml_emulator
AgeCommit message (Expand)AuthorFilesLines
2024-09-19Remove the OCaml emulatorTim Hutt7-1190/+0
2024-09-02Merge pull request #528 from Alasdair/step_delimit_traceBill McSpadden2-0/+9
2024-08-29Implement Zicbom, Zicboz (cbo.flush, cbo.inval, cbo.zero)Tim Hutt3-0/+32
2024-08-27Add an option to delimit instructions in the traceAlasdair2-0/+9
2024-07-05Add support for B extensionVed Shanbhogue2-0/+5
2024-05-07fixup! fixup! Add Svinval extension.Martin Berger1-2/+2
2024-05-07fixup! Add Svinval extension.Martin Berger2-0/+5
2024-04-15Implement Zcb extensionTim Hutt2-0/+5
2024-02-05Improve PMP supportTim Hutt2-5/+13
2023-10-17RISC-V Vector Extension SupportXinlai Wan2-0/+5
2023-10-11Rename enable-fiom to enable-writable-fiomTim Hutt2-4/+4
2023-10-11Implement menvcfgTim Hutt2-0/+5
2023-06-15Run the pre-commit hook on all filesAlex Richardson1-1/+0
2023-05-29Add Zfa extension support (excl. quad-precision)Philipp Tomsich1-0/+27
2022-01-19Configurable word size for test signature file output (#136)Bilal Sakhawat1-7/+14
2022-01-19Add support for Zfh extension (#129)Bilal Sakhawat1-0/+63
2021-11-22Implement support for Zfinx (#130)Jessica Clarke1-0/+1
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 Mundkur2-0/+5
2020-04-07Switch floating-point comparisons to using softfloat to avoid missed corner-c...Prashanth Mundkur1-0/+17
2019-11-26Add individual ocaml stubs for the softfloat functions.Prashanth Mundkur2-6/+91
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 Mundkur2-0/+5
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
generated by cgit v1.1 at 2024-11-05 06:06:51 +0000