| builtin.h |
For alloca, when using KaRaMeL's -falloca |
503 |
| callconv.h |
/
/* Some macros to ease compatibility (TODO: move to miTLS) |
850 |
| compat.h |
A series of macros that define C implementations of types that are not Low*,
to facilitate porting programs to Low*. |
1245 |
| debug.h |
/
/* Debugging helpers - intended only for KaRaMeL developers |
2970 |
| target.h |
Since KaRaMeL emits the inline keyword unconditionally, we follow the
guidelines at https://gcc.gnu.org/onlinedocs/gcc/Inline.html and make this
__inline__ to ensure the code compiles with -std=c90 and earlier. |
11882 |
| types.h |
Types which are either abstract, meaning that have to be implemented in C, or
which are models, meaning that they are swapped out at compile-time for
hand-written C types (in which case they're marked as noextract). |
3679 |
| wasmsupport.h |
This file is automatically included when compiling with -wasm -d force-c |
237 |