diff options
| author | Prashanth Mundkur | 2018-08-30 14:05:54 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-08-30 14:19:34 -0700 |
| commit | 2dd89e3b26cbf4c31d47aa4a978ade28914acb24 (patch) | |
| tree | 9ef8737844bbfe8333328e3f3b50a27863e67292 /lib/main.ml | |
| parent | dee068786b2ef0b0d57fc02ca042e176c74db9b0 (diff) | |
Annotate the RISC-V prelude for C builtins.
Add some builtins to the C sail lib.
Enable some gcc warnings.
Diffstat (limited to 'lib/main.ml')
0 files changed, 0 insertions, 0 deletions