diff options
| author | Alasdair Armstrong | 2019-10-14 19:55:08 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-10-14 20:14:43 +0100 |
| commit | 5056bf80156738b3ed146ae052f751fa703fecad (patch) | |
| tree | 15a9d4adfbff57fae1ea3988844d2a4bdc59c7e2 /src/reporting.mli | |
| parent | 2374aea33aa332f3927dd4dc4d6d9a15f5620ac9 (diff) | |
Add -Ofixed_int and -Ofixed_bits to assume fixed-precision ints and bitvectors in C
Assumes a Sail C library that has functions with the right types to
support this. Currently lib/int128 supports the -Ofixed_int option,
which was previously -Oint128.
Add a version of Sail C library that can be built with -nostdlib and
-ffreestanding, assuming the above options. Currently just a header
file without any implementation, but with the right types
Diffstat (limited to 'src/reporting.mli')
0 files changed, 0 insertions, 0 deletions