| FStar_UInt_8_16_32_64.h |
|
6445 |
- |
| FStar_UInt128.h |
FStar_UInt128_H |
2688 |
- |
| fstar_uint128_gcc64.h |
/
/* Machine integers (128-bit arithmetic) |
4776 |
- |
| fstar_uint128_msvc.h |
This file was generated by KaRaMeL <https://github.com/FStarLang/karamel>
then hand-edited to use MSVC intrinsics KaRaMeL invocation:
C:\users\barrybo\mitls2c\karamel\_build\src\Karamel.native -minimal -fnouint128 C:/users/barrybo/mitls2c/FStar/ulib/FStar.UInt128.fst -tmpdir ../secure_api/out/runtime_switch/uint128 -skip-compilation -add-include "krmllib0.h" -drop FStar.Int.Cast.Full -bundle FStar.UInt128=FStar.*,Prims
F* version: 15104ff8
KaRaMeL version: 318b7fa8
|
16018 |
- |
| fstar_uint128_struct_endianness.h |
Hand-written implementation of endianness-related uint128 functions
for the extracted uint128 implementation |
1679 |
- |
| FStar_UInt128_Verified.h |
|
9791 |
- |
| libkrmllib.def |
|
214 |
- |
| LowStar_Endianness.h |
LowStar_Endianness_H |
707 |
- |
| Makefile.basic |
|
1414 |
- |
| Makefile.include |
|
153 |
- |