| /dports/www/firefox-esr/firefox-91.8.0/security/nss/lib/freebl/verified/ |
| H A D | Hacl_Bignum25519_51.h | 99 FStar_UInt128_uint128 o00 = FStar_UInt128_mul_wide(f10, f20); in Hacl_Impl_Curve25519_Field51_fmul()
100 FStar_UInt128_uint128 o10 = FStar_UInt128_mul_wide(f10, f21); in Hacl_Impl_Curve25519_Field51_fmul()
101 FStar_UInt128_uint128 o20 = FStar_UInt128_mul_wide(f10, f22); in Hacl_Impl_Curve25519_Field51_fmul()
102 FStar_UInt128_uint128 o30 = FStar_UInt128_mul_wide(f10, f23); in Hacl_Impl_Curve25519_Field51_fmul()
103 FStar_UInt128_uint128 o40 = FStar_UInt128_mul_wide(f10, f24); in Hacl_Impl_Curve25519_Field51_fmul()
225 FStar_UInt128_uint128 o0 = FStar_UInt128_mul_wide(f30, f40); in Hacl_Impl_Curve25519_Field51_fmul2()
226 FStar_UInt128_uint128 o1 = FStar_UInt128_mul_wide(f30, f41); in Hacl_Impl_Curve25519_Field51_fmul2()
387 FStar_UInt128_mul_wide(d2, f3)); in Hacl_Impl_Curve25519_Field51_fsqr()
392 FStar_UInt128_mul_wide(d3, f3)); in Hacl_Impl_Curve25519_Field51_fsqr()
397 FStar_UInt128_mul_wide(d4, f3)); in Hacl_Impl_Curve25519_Field51_fsqr()
[all …]
|
| H A D | Hacl_Kremlib.h | 56 static inline FStar_UInt128_uint128 FStar_UInt128_mul_wide(uint64_t x, uint64_t y);
|
| /dports/security/ca_root_nss/nss-3.71/nss/lib/freebl/verified/ |
| H A D | Hacl_Bignum25519_51.h | 99 FStar_UInt128_uint128 o00 = FStar_UInt128_mul_wide(f10, f20); in Hacl_Impl_Curve25519_Field51_fmul()
100 FStar_UInt128_uint128 o10 = FStar_UInt128_mul_wide(f10, f21); in Hacl_Impl_Curve25519_Field51_fmul()
101 FStar_UInt128_uint128 o20 = FStar_UInt128_mul_wide(f10, f22); in Hacl_Impl_Curve25519_Field51_fmul()
102 FStar_UInt128_uint128 o30 = FStar_UInt128_mul_wide(f10, f23); in Hacl_Impl_Curve25519_Field51_fmul()
103 FStar_UInt128_uint128 o40 = FStar_UInt128_mul_wide(f10, f24); in Hacl_Impl_Curve25519_Field51_fmul()
225 FStar_UInt128_uint128 o0 = FStar_UInt128_mul_wide(f30, f40); in Hacl_Impl_Curve25519_Field51_fmul2()
226 FStar_UInt128_uint128 o1 = FStar_UInt128_mul_wide(f30, f41); in Hacl_Impl_Curve25519_Field51_fmul2()
387 FStar_UInt128_mul_wide(d2, f3)); in Hacl_Impl_Curve25519_Field51_fsqr()
392 FStar_UInt128_mul_wide(d3, f3)); in Hacl_Impl_Curve25519_Field51_fsqr()
397 FStar_UInt128_mul_wide(d4, f3)); in Hacl_Impl_Curve25519_Field51_fsqr()
[all …]
|
| H A D | Hacl_Kremlib.h | 56 static inline FStar_UInt128_uint128 FStar_UInt128_mul_wide(uint64_t x, uint64_t y);
|
| /dports/www/firefox/firefox-99.0/security/nss/lib/freebl/verified/ |
| H A D | Hacl_Bignum25519_51.h | 99 FStar_UInt128_uint128 o00 = FStar_UInt128_mul_wide(f10, f20); in Hacl_Impl_Curve25519_Field51_fmul()
100 FStar_UInt128_uint128 o10 = FStar_UInt128_mul_wide(f10, f21); in Hacl_Impl_Curve25519_Field51_fmul()
101 FStar_UInt128_uint128 o20 = FStar_UInt128_mul_wide(f10, f22); in Hacl_Impl_Curve25519_Field51_fmul()
102 FStar_UInt128_uint128 o30 = FStar_UInt128_mul_wide(f10, f23); in Hacl_Impl_Curve25519_Field51_fmul()
103 FStar_UInt128_uint128 o40 = FStar_UInt128_mul_wide(f10, f24); in Hacl_Impl_Curve25519_Field51_fmul()
225 FStar_UInt128_uint128 o0 = FStar_UInt128_mul_wide(f30, f40); in Hacl_Impl_Curve25519_Field51_fmul2()
226 FStar_UInt128_uint128 o1 = FStar_UInt128_mul_wide(f30, f41); in Hacl_Impl_Curve25519_Field51_fmul2()
387 FStar_UInt128_mul_wide(d2, f3)); in Hacl_Impl_Curve25519_Field51_fsqr()
392 FStar_UInt128_mul_wide(d3, f3)); in Hacl_Impl_Curve25519_Field51_fsqr()
397 FStar_UInt128_mul_wide(d4, f3)); in Hacl_Impl_Curve25519_Field51_fsqr()
[all …]
|
| H A D | Hacl_Kremlib.h | 56 static inline FStar_UInt128_uint128 FStar_UInt128_mul_wide(uint64_t x, uint64_t y);
|
| /dports/security/nss/nss-3.76.1/nss/lib/freebl/verified/ |
| H A D | Hacl_Bignum25519_51.h | 99 FStar_UInt128_uint128 o00 = FStar_UInt128_mul_wide(f10, f20); in Hacl_Impl_Curve25519_Field51_fmul()
100 FStar_UInt128_uint128 o10 = FStar_UInt128_mul_wide(f10, f21); in Hacl_Impl_Curve25519_Field51_fmul()
101 FStar_UInt128_uint128 o20 = FStar_UInt128_mul_wide(f10, f22); in Hacl_Impl_Curve25519_Field51_fmul()
102 FStar_UInt128_uint128 o30 = FStar_UInt128_mul_wide(f10, f23); in Hacl_Impl_Curve25519_Field51_fmul()
103 FStar_UInt128_uint128 o40 = FStar_UInt128_mul_wide(f10, f24); in Hacl_Impl_Curve25519_Field51_fmul()
225 FStar_UInt128_uint128 o0 = FStar_UInt128_mul_wide(f30, f40); in Hacl_Impl_Curve25519_Field51_fmul2()
226 FStar_UInt128_uint128 o1 = FStar_UInt128_mul_wide(f30, f41); in Hacl_Impl_Curve25519_Field51_fmul2()
387 FStar_UInt128_mul_wide(d2, f3)); in Hacl_Impl_Curve25519_Field51_fsqr()
392 FStar_UInt128_mul_wide(d3, f3)); in Hacl_Impl_Curve25519_Field51_fsqr()
397 FStar_UInt128_mul_wide(d4, f3)); in Hacl_Impl_Curve25519_Field51_fsqr()
[all …]
|
| H A D | Hacl_Kremlib.h | 56 static inline FStar_UInt128_uint128 FStar_UInt128_mul_wide(uint64_t x, uint64_t y);
|
| /dports/mail/thunderbird/thunderbird-91.8.0/security/nss/lib/freebl/verified/ |
| H A D | Hacl_Bignum25519_51.h | 99 FStar_UInt128_uint128 o00 = FStar_UInt128_mul_wide(f10, f20); in Hacl_Impl_Curve25519_Field51_fmul()
100 FStar_UInt128_uint128 o10 = FStar_UInt128_mul_wide(f10, f21); in Hacl_Impl_Curve25519_Field51_fmul()
101 FStar_UInt128_uint128 o20 = FStar_UInt128_mul_wide(f10, f22); in Hacl_Impl_Curve25519_Field51_fmul()
102 FStar_UInt128_uint128 o30 = FStar_UInt128_mul_wide(f10, f23); in Hacl_Impl_Curve25519_Field51_fmul()
103 FStar_UInt128_uint128 o40 = FStar_UInt128_mul_wide(f10, f24); in Hacl_Impl_Curve25519_Field51_fmul()
225 FStar_UInt128_uint128 o0 = FStar_UInt128_mul_wide(f30, f40); in Hacl_Impl_Curve25519_Field51_fmul2()
226 FStar_UInt128_uint128 o1 = FStar_UInt128_mul_wide(f30, f41); in Hacl_Impl_Curve25519_Field51_fmul2()
387 FStar_UInt128_mul_wide(d2, f3)); in Hacl_Impl_Curve25519_Field51_fsqr()
392 FStar_UInt128_mul_wide(d3, f3)); in Hacl_Impl_Curve25519_Field51_fsqr()
397 FStar_UInt128_mul_wide(d4, f3)); in Hacl_Impl_Curve25519_Field51_fsqr()
[all …]
|
| H A D | Hacl_Kremlib.h | 56 static inline FStar_UInt128_uint128 FStar_UInt128_mul_wide(uint64_t x, uint64_t y);
|
| /dports/lang/spidermonkey78/firefox-78.9.0/security/nss/lib/freebl/verified/ |
| H A D | Hacl_Curve25519_51.c | 83 FStar_UInt128_uint128 o00 = FStar_UInt128_mul_wide(f10, f20); in fmul0()
84 FStar_UInt128_uint128 o10 = FStar_UInt128_mul_wide(f10, f21); in fmul0()
85 FStar_UInt128_uint128 o20 = FStar_UInt128_mul_wide(f10, f22); in fmul0()
86 FStar_UInt128_uint128 o30 = FStar_UInt128_mul_wide(f10, f23); in fmul0()
87 FStar_UInt128_uint128 o40 = FStar_UInt128_mul_wide(f10, f24); in fmul0()
205 FStar_UInt128_uint128 o0 = FStar_UInt128_mul_wide(f30, f40); in fmul20()
206 FStar_UInt128_uint128 o1 = FStar_UInt128_mul_wide(f30, f41); in fmul20()
367 FStar_UInt128_mul_wide(d2, f3)); in fsqr0()
372 FStar_UInt128_mul_wide(d3, f3)); in fsqr0()
377 FStar_UInt128_mul_wide(d4, f3)); in fsqr0()
[all …]
|
| H A D | Hacl_Kremlib.h | 48 static inline FStar_UInt128_uint128 FStar_UInt128_mul_wide(uint64_t x, uint64_t y);
|
| /dports/lang/spidermonkey60/firefox-60.9.0/security/nss/lib/freebl/verified/ |
| H A D | Hacl_Curve25519.c | 203 FStar_UInt128_mul_wide((uint64_t)19U, in Hacl_Bignum_Fmul_fmul()
233 FStar_UInt128_mul_wide(d2, r3)); in Hacl_Bignum_Fsquare_fsquare__()
243 FStar_UInt128_mul_wide(d4, r3)); in Hacl_Bignum_Fsquare_fsquare__()
248 FStar_UInt128_mul_wide(r4, d419)); in Hacl_Bignum_Fsquare_fsquare__()
253 FStar_UInt128_mul_wide(r2, r2)); in Hacl_Bignum_Fsquare_fsquare__()
273 FStar_UInt128_mul_wide((uint64_t)19U, in Hacl_Bignum_Fsquare_fsquare_()
434 tmp[0U] = FStar_UInt128_mul_wide(xi, s); in Hacl_Bignum_fscalar()
438 tmp[1U] = FStar_UInt128_mul_wide(xi, s); in Hacl_Bignum_fscalar()
442 tmp[2U] = FStar_UInt128_mul_wide(xi, s); in Hacl_Bignum_fscalar()
446 tmp[3U] = FStar_UInt128_mul_wide(xi, s); in Hacl_Bignum_fscalar()
[all …]
|
| H A D | FStar.h | 68 FStar_UInt128_uint128 FStar_UInt128_mul_wide(uint64_t x, uint64_t y);
|
| /dports/devel/premake5/premake-5.0.0-alpha16-src/contrib/mbedtls/3rdparty/everest/library/legacy/ |
| H A D | Hacl_Curve25519.c | 155 FStar_UInt128_mul_wide((uint64_t)19U, in Hacl_Bignum_Fmul_fmul()
185 FStar_UInt128_mul_wide(d4, r1)), in Hacl_Bignum_Fsquare_fsquare__()
186 FStar_UInt128_mul_wide(d2, r3)); in Hacl_Bignum_Fsquare_fsquare__()
190 FStar_UInt128_mul_wide(d4, r2)), in Hacl_Bignum_Fsquare_fsquare__()
195 FStar_UInt128_mul_wide(r1, r1)), in Hacl_Bignum_Fsquare_fsquare__()
196 FStar_UInt128_mul_wide(d4, r3)); in Hacl_Bignum_Fsquare_fsquare__()
200 FStar_UInt128_mul_wide(d1, r2)), in Hacl_Bignum_Fsquare_fsquare__()
201 FStar_UInt128_mul_wide(r4, d419)); in Hacl_Bignum_Fsquare_fsquare__()
205 FStar_UInt128_mul_wide(d1, r3)), in Hacl_Bignum_Fsquare_fsquare__()
206 FStar_UInt128_mul_wide(r2, r2)); in Hacl_Bignum_Fsquare_fsquare__()
[all …]
|
| /dports/www/firefox-esr/firefox-91.8.0/security/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/ |
| H A D | FStar_UInt128.h | 72 static inline FStar_UInt128_uint128 FStar_UInt128_mul_wide(uint64_t x, uint64_t y);
|
| H A D | fstar_uint128_gcc64.h | 141 FStar_UInt128_mul_wide(uint64_t x, uint64_t y) in FStar_UInt128_mul_wide() function
|
| /dports/security/ca_root_nss/nss-3.71/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/ |
| H A D | FStar_UInt128.h | 72 static inline FStar_UInt128_uint128 FStar_UInt128_mul_wide(uint64_t x, uint64_t y);
|
| H A D | fstar_uint128_gcc64.h | 141 FStar_UInt128_mul_wide(uint64_t x, uint64_t y) in FStar_UInt128_mul_wide() function
|
| /dports/www/firefox/firefox-99.0/security/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/ |
| H A D | FStar_UInt128.h | 72 static inline FStar_UInt128_uint128 FStar_UInt128_mul_wide(uint64_t x, uint64_t y);
|
| /dports/security/nss/nss-3.76.1/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/ |
| H A D | FStar_UInt128.h | 72 static inline FStar_UInt128_uint128 FStar_UInt128_mul_wide(uint64_t x, uint64_t y);
|
| /dports/mail/thunderbird/thunderbird-91.8.0/security/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/ |
| H A D | FStar_UInt128.h | 72 static inline FStar_UInt128_uint128 FStar_UInt128_mul_wide(uint64_t x, uint64_t y);
|
| /dports/lang/spidermonkey78/firefox-78.9.0/security/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/ |
| H A D | FStar_UInt128.h | 73 static inline FStar_UInt128_uint128 FStar_UInt128_mul_wide(uint64_t x, uint64_t y);
|
| H A D | fstar_uint128_gcc64.h | 138 FStar_UInt128_mul_wide(uint64_t x, uint64_t y) in FStar_UInt128_mul_wide() function
|
| /dports/devel/premake5/premake-5.0.0-alpha16-src/contrib/mbedtls/3rdparty/everest/include/everest/kremlib/ |
| H A D | FStar_UInt128.h | 121 FStar_UInt128_uint128 FStar_UInt128_mul_wide(uint64_t x, uint64_t y);
|