| FStar_UInt_8_16_32_64.h |
|
6065 |
| FStar_UInt128.h |
|
3073 |
| fstar_uint128_gcc64.h |
/
/* Machine integers (128-bit arithmetic) |
4809 |
| 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
|
16651 |
| fstar_uint128_struct_endianness.h |
Hand-written implementation of endianness-related uint128 functions
for the extracted uint128 implementation |
1670 |
| FStar_UInt128_Verified.h |
|
10421 |
| libkrmllib.def |
|
214 |
| LowStar_Endianness.h |
|
678 |
| Makefile.basic |
|
1414 |
| Makefile.include |
|
153 |