Home
last modified time | relevance | path

Searched refs:KRML_VERIFIED_UINT128 (Results 1 – 3 of 3) sorted by relevance

/mbedtls-development/3rdparty/everest/include/everest/kremlin/internal/
A Dtypes.h47 #if !defined(KRML_VERIFIED_UINT128) && defined(_MSC_VER) && defined(_M_X64)
50 #elif !defined(KRML_VERIFIED_UINT128) && !defined(_MSC_VER)
/mbedtls-development/3rdparty/everest/library/
A DHacl_Curve25519_joined.c33 #define KRML_VERIFIED_UINT128 macro
A Dx25519.c29 #define KRML_VERIFIED_UINT128 macro

Completed in 7 milliseconds