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