summaryrefslogtreecommitdiff
path: root/test/ocaml
diff options
context:
space:
mode:
authorJon French2018-05-10 13:13:56 +0100
committerJon French2018-05-10 13:13:56 +0100
commit2fd802b56d098f547420621b92e7372ec7f55842 (patch)
tree0512450e8f0acafc9da8086d6614511bacfc59ef /test/ocaml
parentb7307bd33a1c0fe7190fc4b34a9d3eca9beda565 (diff)
move common mappings to riscv_types.sail
Diffstat (limited to 'test/ocaml')
0 files changed, 0 insertions, 0 deletions