/dports/www/firefox-esr/firefox-91.8.0/security/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/ |
H A D | FStar_UInt128_Verified.h | 22 FStar_UInt128_carry(uint64_t a, uint64_t b) in FStar_UInt128_carry() function 32 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add() 41 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add_underspec() 50 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add_mod() 59 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub() 68 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub_underspec() 77 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub_mod_impl()
|
H A D | fstar_uint128_msvc.h | 85 FStar_UInt128_carry(uint64_t a, uint64_t b) in FStar_UInt128_carry() function 103 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add() 115 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add_underspec() 127 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add_mod() 143 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub() 155 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub_underspec() 164 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub_mod_impl()
|
/dports/security/ca_root_nss/nss-3.71/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/ |
H A D | FStar_UInt128_Verified.h | 22 FStar_UInt128_carry(uint64_t a, uint64_t b) in FStar_UInt128_carry() function 32 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add() 41 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add_underspec() 50 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add_mod() 59 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub() 68 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub_underspec() 77 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub_mod_impl()
|
H A D | fstar_uint128_msvc.h | 85 FStar_UInt128_carry(uint64_t a, uint64_t b) in FStar_UInt128_carry() function 103 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add() 115 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add_underspec() 127 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add_mod() 143 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub() 155 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub_underspec() 164 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub_mod_impl()
|
/dports/www/firefox/firefox-99.0/security/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/ |
H A D | FStar_UInt128_Verified.h | 22 FStar_UInt128_carry(uint64_t a, uint64_t b) in FStar_UInt128_carry() function 32 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add() 41 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add_underspec() 50 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add_mod() 59 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub() 68 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub_underspec() 77 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub_mod_impl()
|
H A D | fstar_uint128_msvc.h | 85 FStar_UInt128_carry(uint64_t a, uint64_t b) in FStar_UInt128_carry() function 103 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add() 115 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add_underspec() 127 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add_mod() 143 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub() 155 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub_underspec() 164 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub_mod_impl()
|
/dports/security/nss/nss-3.76.1/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/ |
H A D | FStar_UInt128_Verified.h | 22 FStar_UInt128_carry(uint64_t a, uint64_t b) in FStar_UInt128_carry() function 32 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add() 41 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add_underspec() 50 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add_mod() 59 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub() 68 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub_underspec() 77 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub_mod_impl()
|
H A D | fstar_uint128_msvc.h | 85 FStar_UInt128_carry(uint64_t a, uint64_t b) in FStar_UInt128_carry() function 103 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add() 115 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add_underspec() 127 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add_mod() 143 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub() 155 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub_underspec() 164 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub_mod_impl()
|
/dports/mail/thunderbird/thunderbird-91.8.0/security/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/ |
H A D | FStar_UInt128_Verified.h | 22 FStar_UInt128_carry(uint64_t a, uint64_t b) in FStar_UInt128_carry() function 32 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add() 41 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add_underspec() 50 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add_mod() 59 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub() 68 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub_underspec() 77 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub_mod_impl()
|
H A D | fstar_uint128_msvc.h | 85 FStar_UInt128_carry(uint64_t a, uint64_t b) in FStar_UInt128_carry() function 103 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add() 115 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add_underspec() 127 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add_mod() 143 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub() 155 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub_underspec() 164 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub_mod_impl()
|
/dports/lang/spidermonkey78/firefox-78.9.0/security/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/ |
H A D | FStar_UInt128_Verified.h | 23 FStar_UInt128_carry(uint64_t a, uint64_t b) in FStar_UInt128_carry() function 33 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add() 42 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add_underspec() 51 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add_mod() 60 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub() 69 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub_underspec() 78 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub_mod_impl()
|
H A D | fstar_uint128_msvc.h | 81 FStar_UInt128_carry(uint64_t a, uint64_t b) in FStar_UInt128_carry() function 99 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add() 111 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add_underspec() 123 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add_mod() 139 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub() 151 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub_underspec() 160 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub_mod_impl()
|
/dports/devel/premake5/premake-5.0.0-alpha16-src/contrib/mbedtls/3rdparty/everest/library/kremlib/ |
H A D | FStar_UInt128_extracted.c | 30 static uint64_t FStar_UInt128_carry(uint64_t a, uint64_t b) in FStar_UInt128_carry() function 38 flat = { a.low + b.low, a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }; in FStar_UInt128_add() 46 flat = { a.low + b.low, a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }; in FStar_UInt128_add_underspec() 53 flat = { a.low + b.low, a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }; in FStar_UInt128_add_mod() 60 flat = { a.low - b.low, a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }; in FStar_UInt128_sub() 68 flat = { a.low - b.low, a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }; in FStar_UInt128_sub_underspec() 76 flat = { a.low - b.low, a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }; in FStar_UInt128_sub_mod_impl()
|
/dports/lang/spidermonkey60/firefox-60.9.0/security/nss/lib/freebl/verified/ |
H A D | FStar.c | 27 FStar_UInt128_carry(uint64_t a, uint64_t b) in FStar_UInt128_carry() function 38 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add() 47 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add_mod() 56 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub() 65 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub_mod_impl()
|