Home
last modified time | relevance | path

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

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