aboutsummaryrefslogtreecommitdiff
path: root/ocaml_emulator/tracecmp.ml
AgeCommit message (Expand)AuthorFilesLines
2024-09-19Remove the OCaml emulatorTim Hutt1-358/+0
2023-06-15Run the pre-commit hook on all filesAlex Richardson1-1/+0
2019-02-22Add rv32 support to the trace comparer.Prashanth Mundkur1-8/+67
2019-01-16Make it clearer that the outer c,ocaml sub-dirs contain supporting files for ...Prashanth Mundkur1-0/+300