Home
last modified time | relevance | path

Searched refs:FStar_UInt128_uint128 (Results 1 – 4 of 4) sorted by relevance

/mbedtls-development/3rdparty/everest/include/everest/kremlib/
A DFStar_UInt128.h26 FStar_UInt128_uint128 FStar_UInt128_add(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
28 FStar_UInt128_uint128
31 FStar_UInt128_uint128 FStar_UInt128_add_mod(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
33 FStar_UInt128_uint128 FStar_UInt128_sub(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
38 FStar_UInt128_uint128 FStar_UInt128_sub_mod(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
40 FStar_UInt128_uint128 FStar_UInt128_logand(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
42 FStar_UInt128_uint128 FStar_UInt128_logxor(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
44 FStar_UInt128_uint128 FStar_UInt128_logor(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
46 FStar_UInt128_uint128 FStar_UInt128_lognot(FStar_UInt128_uint128 a);
62 FStar_UInt128_uint128 FStar_UInt128_eq_mask(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
[all …]
/mbedtls-development/3rdparty/everest/library/kremlib/
A DFStar_UInt128_extracted.c35 FStar_UInt128_uint128 FStar_UInt128_add(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_add()
42 FStar_UInt128_uint128
50 FStar_UInt128_uint128 FStar_UInt128_add_mod(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_add_mod()
57 FStar_UInt128_uint128 FStar_UInt128_sub(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_sub()
80 FStar_UInt128_uint128 FStar_UInt128_sub_mod(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_sub_mod()
85 FStar_UInt128_uint128 FStar_UInt128_logand(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_logand()
91 FStar_UInt128_uint128 FStar_UInt128_logxor(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_logxor()
97 FStar_UInt128_uint128 FStar_UInt128_logor(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_logor()
103 FStar_UInt128_uint128 FStar_UInt128_lognot(FStar_UInt128_uint128 a) in FStar_UInt128_lognot()
224 FStar_UInt128_uint128 FStar_UInt128_eq_mask(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_eq_mask()
[all …]
/mbedtls-development/3rdparty/everest/library/legacy/
A DHacl_Curve25519.c17 extern FStar_UInt128_uint128
18 FStar_UInt128_add(FStar_UInt128_uint128 x0, FStar_UInt128_uint128 x1);
20 extern FStar_UInt128_uint128
21 FStar_UInt128_add_mod(FStar_UInt128_uint128 x0, FStar_UInt128_uint128 x1);
23 extern FStar_UInt128_uint128
24 FStar_UInt128_logand(FStar_UInt128_uint128 x0, FStar_UInt128_uint128 x1);
182 FStar_UInt128_uint128 in Hacl_Bignum_Fsquare_fsquare__()
187 FStar_UInt128_uint128 in Hacl_Bignum_Fsquare_fsquare__()
192 FStar_UInt128_uint128 in Hacl_Bignum_Fsquare_fsquare__()
197 FStar_UInt128_uint128 in Hacl_Bignum_Fsquare_fsquare__()
[all …]
/mbedtls-development/3rdparty/everest/include/everest/kremlin/internal/
A Dtypes.h49 typedef __m128i FStar_UInt128_uint128; typedef
51 typedef unsigned __int128 FStar_UInt128_uint128; typedef
56 } FStar_UInt128_uint128; typedef
59 typedef FStar_UInt128_uint128 FStar_UInt128_t, FStar_UInt128_t_, uint128_t;

Completed in 18 milliseconds