diff options
| author | Alasdair Armstrong | 2018-02-21 21:00:40 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-02-21 21:03:26 +0000 |
| commit | c63741a21b5a1f77f85987f15f6aac3321a91f0a (patch) | |
| tree | 3894269108112a0569573213954a3dcc53528ddf /src/util.mli | |
| parent | 4f0214a06ff70a9486fc1d47049f04d894a102e9 (diff) | |
Can now compile aarch64/no_vector into C
Now compiles to C and builds a working executable. Just need to
correctly implement all the library builtins (some are still stubs),
and it should work.
Diffstat (limited to 'src/util.mli')
0 files changed, 0 insertions, 0 deletions