/dports/lang/spidermonkey60/firefox-60.9.0/security/nss/lib/freebl/verified/ |
H A D | FStar.c | 107 FStar_UInt128_add_u64_shift_left_respec(uint64_t hi, uint64_t lo, uint32_t s) in FStar_UInt128_add_u64_shift_left_respec() function 121 .high = FStar_UInt128_add_u64_shift_left_respec(a.high, a.low, s) }); in FStar_UInt128_shift_left_small()
|
/dports/www/firefox-esr/firefox-91.8.0/security/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/ |
H A D | FStar_UInt128_Verified.h | 132 FStar_UInt128_add_u64_shift_left_respec(uint64_t hi, uint64_t lo, uint32_t s) in FStar_UInt128_add_u64_shift_left_respec() function 145 lit.high = FStar_UInt128_add_u64_shift_left_respec(a.high, a.low, s); in FStar_UInt128_shift_left_small()
|
H A D | fstar_uint128_msvc.h | 229 FStar_UInt128_add_u64_shift_left_respec(uint64_t hi, uint64_t lo, uint32_t s) in FStar_UInt128_add_u64_shift_left_respec() function 242 .high = FStar_UInt128_add_u64_shift_left_respec(a.high, a.low, s) }); in FStar_UInt128_shift_left_small()
|
/dports/security/ca_root_nss/nss-3.71/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/ |
H A D | FStar_UInt128_Verified.h | 132 FStar_UInt128_add_u64_shift_left_respec(uint64_t hi, uint64_t lo, uint32_t s) in FStar_UInt128_add_u64_shift_left_respec() function 145 lit.high = FStar_UInt128_add_u64_shift_left_respec(a.high, a.low, s); in FStar_UInt128_shift_left_small()
|
H A D | fstar_uint128_msvc.h | 229 FStar_UInt128_add_u64_shift_left_respec(uint64_t hi, uint64_t lo, uint32_t s) in FStar_UInt128_add_u64_shift_left_respec() function 242 .high = FStar_UInt128_add_u64_shift_left_respec(a.high, a.low, s) }); in FStar_UInt128_shift_left_small()
|
/dports/www/firefox/firefox-99.0/security/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/ |
H A D | FStar_UInt128_Verified.h | 132 FStar_UInt128_add_u64_shift_left_respec(uint64_t hi, uint64_t lo, uint32_t s) in FStar_UInt128_add_u64_shift_left_respec() function 145 lit.high = FStar_UInt128_add_u64_shift_left_respec(a.high, a.low, s); in FStar_UInt128_shift_left_small()
|
H A D | fstar_uint128_msvc.h | 229 FStar_UInt128_add_u64_shift_left_respec(uint64_t hi, uint64_t lo, uint32_t s) in FStar_UInt128_add_u64_shift_left_respec() function 242 .high = FStar_UInt128_add_u64_shift_left_respec(a.high, a.low, s) }); in FStar_UInt128_shift_left_small()
|
/dports/security/nss/nss-3.76.1/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/ |
H A D | FStar_UInt128_Verified.h | 132 FStar_UInt128_add_u64_shift_left_respec(uint64_t hi, uint64_t lo, uint32_t s) in FStar_UInt128_add_u64_shift_left_respec() function 145 lit.high = FStar_UInt128_add_u64_shift_left_respec(a.high, a.low, s); in FStar_UInt128_shift_left_small()
|
H A D | fstar_uint128_msvc.h | 229 FStar_UInt128_add_u64_shift_left_respec(uint64_t hi, uint64_t lo, uint32_t s) in FStar_UInt128_add_u64_shift_left_respec() function 242 .high = FStar_UInt128_add_u64_shift_left_respec(a.high, a.low, s) }); in FStar_UInt128_shift_left_small()
|
/dports/mail/thunderbird/thunderbird-91.8.0/security/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/ |
H A D | FStar_UInt128_Verified.h | 132 FStar_UInt128_add_u64_shift_left_respec(uint64_t hi, uint64_t lo, uint32_t s) in FStar_UInt128_add_u64_shift_left_respec() function 145 lit.high = FStar_UInt128_add_u64_shift_left_respec(a.high, a.low, s); in FStar_UInt128_shift_left_small()
|
H A D | fstar_uint128_msvc.h | 229 FStar_UInt128_add_u64_shift_left_respec(uint64_t hi, uint64_t lo, uint32_t s) in FStar_UInt128_add_u64_shift_left_respec() function 242 .high = FStar_UInt128_add_u64_shift_left_respec(a.high, a.low, s) }); in FStar_UInt128_shift_left_small()
|
/dports/lang/spidermonkey78/firefox-78.9.0/security/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/ |
H A D | FStar_UInt128_Verified.h | 133 FStar_UInt128_add_u64_shift_left_respec(uint64_t hi, uint64_t lo, uint32_t s) in FStar_UInt128_add_u64_shift_left_respec() function 146 lit.high = FStar_UInt128_add_u64_shift_left_respec(a.high, a.low, s); in FStar_UInt128_shift_left_small()
|
H A D | fstar_uint128_msvc.h | 225 FStar_UInt128_add_u64_shift_left_respec(uint64_t hi, uint64_t lo, uint32_t s) in FStar_UInt128_add_u64_shift_left_respec() function 238 .high = FStar_UInt128_add_u64_shift_left_respec(a.high, a.low, s) }); in FStar_UInt128_shift_left_small()
|
/dports/devel/premake5/premake-5.0.0-alpha16-src/contrib/mbedtls/3rdparty/everest/library/kremlib/ |
H A D | FStar_UInt128_extracted.c | 116 static uint64_t FStar_UInt128_add_u64_shift_left_respec(uint64_t hi, uint64_t lo, uint32_t s) in FStar_UInt128_add_u64_shift_left_respec() function 131 flat = { a.low << s, FStar_UInt128_add_u64_shift_left_respec(a.high, a.low, s) }; in FStar_UInt128_shift_left_small()
|