diff options
| author | Alasdair Armstrong | 2018-08-29 18:01:50 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-08-29 18:35:50 +0100 |
| commit | a5ad2059821b86ef26a86d78c40cc680c57aa94e (patch) | |
| tree | 468eb6bb76f995fb24872e028b0f7a9c7af8f06a /src/process_file.mli | |
| parent | 07e3591e2427db2d9407d554ac57984ca566c6ed (diff) | |
C: Fix some issues with tuples as arguments to polymorphic constructors
Now all we need to do is make sure the RISC-V builtins are mapped to
the correct C functions, and RISC-V in C should work
(hopefully). We're still missing some of the functions in sail.c for
the mappings so those have to be implemented.
Diffstat (limited to 'src/process_file.mli')
0 files changed, 0 insertions, 0 deletions