diff options
| author | Alasdair Armstrong | 2018-02-15 19:54:55 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-02-16 13:52:32 +0000 |
| commit | 00ca0aa4dce0abdcba574ce907e9a8a62d9d2255 (patch) | |
| tree | 31b1b0308d68210b483088346b471dfd468bb9d7 /src/reporting_basic.ml | |
| parent | 737ec26cf494affb346504c482e9b91127b68636 (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
