summaryrefslogtreecommitdiff
path: root/src/reporting_basic.ml
diff options
context:
space:
mode:
authorAlasdair Armstrong2018-02-15 19:54:55 +0000
committerAlasdair Armstrong2018-02-16 13:52:32 +0000
commit00ca0aa4dce0abdcba574ce907e9a8a62d9d2255 (patch)
tree31b1b0308d68210b483088346b471dfd468bb9d7 /src/reporting_basic.ml
parent737ec26cf494affb346504c482e9b91127b68636 (diff)
Can now compile aarch64/duopod to C
Goes through the C compiler without any errors, but as we still don't have all the requisite builtins it won't actually produce an executable. There are still a few things that don't work properly, such as vectors of non-bit types - but once those are fixed and the Sail library is implemented fully it should work.
Diffstat (limited to 'src/reporting_basic.ml')
0 files changed, 0 insertions, 0 deletions