/dports/math/z3/z3-z3-4.8.13/src/ast/rewriter/bit_blaster/ |
H A D | bit_blaster_tpl_def.h | 119 void bit_blaster_tpl<Cfg>::mk_neg(unsigned sz, expr * const * a_bits, expr_ref_vector & out_bits) { in mk_neg() 461 void bit_blaster_tpl<Cfg>::mk_abs(unsigned sz, expr * const * a_bits, expr_ref_vector & out_bits) { in mk_abs() 767 void bit_blaster_tpl<Cfg>::mk_eq(unsigned sz, expr * const * a_bits, expr * const * b_bits, expr_re… in mk_eq() 819 void bit_blaster_tpl<Cfg>::mk_is_eq(unsigned sz, expr * const * a_bits, unsigned n, expr_ref & out)… in mk_is_eq() 840 void bit_blaster_tpl<Cfg>::mk_eqs(unsigned sz, expr * const * a_bits, expr_ref_vector & eqs) { in mk_eqs() 1030 void bit_blaster_tpl<Cfg>::mk_le(unsigned sz, expr * const * a_bits, expr * const * b_bits, expr_re… in mk_le() 1047 void bit_blaster_tpl<Cfg>::mk_sle(unsigned sz, expr * const * a_bits, expr * const * b_bits, expr_r… in mk_sle() 1052 void bit_blaster_tpl<Cfg>::mk_ule(unsigned sz, expr * const * a_bits, expr * const * b_bits, expr_r… in mk_ule() 1057 void bit_blaster_tpl<Cfg>::mk_not(unsigned sz, expr * const * a_bits, expr_ref_vector & out_bits) { in mk_not() 1083 void bit_blaster_tpl<Cfg>::mk_redand(unsigned sz, expr * const * a_bits, expr_ref_vector & out_bits… in mk_redand() [all …]
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/rewriter/bit_blaster/ |
H A D | bit_blaster_tpl_def.h | 119 void bit_blaster_tpl<Cfg>::mk_neg(unsigned sz, expr * const * a_bits, expr_ref_vector & out_bits) { in mk_neg() 541 void bit_blaster_tpl<Cfg>::mk_abs(unsigned sz, expr * const * a_bits, expr_ref_vector & out_bits) { in mk_abs() 847 void bit_blaster_tpl<Cfg>::mk_eq(unsigned sz, expr * const * a_bits, expr * const * b_bits, expr_re… in mk_eq() 899 void bit_blaster_tpl<Cfg>::mk_is_eq(unsigned sz, expr * const * a_bits, unsigned n, expr_ref & out)… in mk_is_eq() 920 void bit_blaster_tpl<Cfg>::mk_eqs(unsigned sz, expr * const * a_bits, expr_ref_vector & eqs) { in mk_eqs() 1110 void bit_blaster_tpl<Cfg>::mk_le(unsigned sz, expr * const * a_bits, expr * const * b_bits, expr_re… in mk_le() 1127 void bit_blaster_tpl<Cfg>::mk_sle(unsigned sz, expr * const * a_bits, expr * const * b_bits, expr_r… in mk_sle() 1132 void bit_blaster_tpl<Cfg>::mk_ule(unsigned sz, expr * const * a_bits, expr * const * b_bits, expr_r… in mk_ule() 1137 void bit_blaster_tpl<Cfg>::mk_not(unsigned sz, expr * const * a_bits, expr_ref_vector & out_bits) { in mk_not() 1163 void bit_blaster_tpl<Cfg>::mk_redand(unsigned sz, expr * const * a_bits, expr_ref_vector & out_bits… in mk_redand() [all …]
|
/dports/emulators/qemu-powernv/qemu-powernv-3.0.50/accel/tcg/ |
H A D | softmmu_template.h | 117 unsigned a_bits = get_alignment_bits(get_memop(oi)); in helper_le_ld_name() local 185 unsigned a_bits = get_alignment_bits(get_memop(oi)); in helper_be_ld_name() local 281 unsigned a_bits = get_alignment_bits(get_memop(oi)); in helper_le_st_name() local 358 unsigned a_bits = get_alignment_bits(get_memop(oi)); in helper_be_st_name() local
|
/dports/math/gmp/gmp-6.2.1/tests/mpn/ |
H A D | t-mod_1.c | 94 unsigned a_bits; in main() local
|
/dports/math/gap/gap-4.11.0/extern/gmp/tests/mpn/ |
H A D | t-mod_1.c | 95 unsigned a_bits; in main() local
|
/dports/security/masscan/masscan-1.3.2/src/ |
H A D | rand-blackrock.h | 11 uint64_t a_bits; member
|
/dports/math/mingw32-libgmp/gmp-6.0.0/tests/mpn/ |
H A D | t-mod_1.c | 95 unsigned a_bits; in main() local
|
/dports/math/kalker/gmp-mpfr-sys-21966f4bfb56c87d407eb14c72e92ef4e55856aa/gmp-6.2.1-c/tests/mpn/ |
H A D | t-mod_1.c | 94 unsigned a_bits; in main() local
|
/dports/www/firefox-esr/firefox-91.8.0/security/nss/lib/freebl/ecl/ |
H A D | ecp_384.c | 17 int a_bits = mpl_significant_bits(a); in ec_GFp_nistp384_mod() local
|
/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/jdk.crypto.ec/share/native/libsunec/impl/ |
H A D | ecp_384.c | 53 int a_bits = mpl_significant_bits(a); in ec_GFp_nistp384_mod() local
|
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/jdk.crypto.ec/share/native/libsunec/impl/ |
H A D | ecp_384.c | 53 int a_bits = mpl_significant_bits(a); in ec_GFp_nistp384_mod() local
|
/dports/security/ca_root_nss/nss-3.71/nss/lib/freebl/ecl/ |
H A D | ecp_384.c | 17 int a_bits = mpl_significant_bits(a); in ec_GFp_nistp384_mod() local
|
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/jdk.crypto.ec/share/native/libsunec/impl/ |
H A D | ecp_384.c | 53 int a_bits = mpl_significant_bits(a); in ec_GFp_nistp384_mod() local
|
/dports/www/firefox/firefox-99.0/security/nss/lib/freebl/ecl/ |
H A D | ecp_384.c | 17 int a_bits = mpl_significant_bits(a); in ec_GFp_nistp384_mod() local
|
/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jdk/src/share/native/sun/security/ec/impl/ |
H A D | ecp_384.c | 53 int a_bits = mpl_significant_bits(a); in ec_GFp_nistp384_mod() local
|
/dports/lang/spidermonkey60/firefox-60.9.0/security/nss/lib/freebl/ecl/ |
H A D | ecp_384.c | 17 int a_bits = mpl_significant_bits(a); in ec_GFp_nistp384_mod() local
|
/dports/www/firefox-legacy/firefox-52.8.0esr/security/nss/lib/freebl/ecl/ |
H A D | ecp_384.c | 17 int a_bits = mpl_significant_bits(a); in ec_GFp_nistp384_mod() local
|
/dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/jdk.crypto.ec/share/native/libsunec/impl/ |
H A D | ecp_384.c | 53 int a_bits = mpl_significant_bits(a); in ec_GFp_nistp384_mod() local
|
/dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/jdk.crypto.ec/share/native/libsunec/impl/ |
H A D | ecp_384.c | 53 int a_bits = mpl_significant_bits(a); in ec_GFp_nistp384_mod() local
|
/dports/security/nss/nss-3.76.1/nss/lib/freebl/ecl/ |
H A D | ecp_384.c | 17 int a_bits = mpl_significant_bits(a); in ec_GFp_nistp384_mod() local
|
/dports/mail/thunderbird/thunderbird-91.8.0/security/nss/lib/freebl/ecl/ |
H A D | ecp_384.c | 17 int a_bits = mpl_significant_bits(a); in ec_GFp_nistp384_mod() local
|
/dports/lang/spidermonkey78/firefox-78.9.0/security/nss/lib/freebl/ecl/ |
H A D | ecp_384.c | 17 int a_bits = mpl_significant_bits(a); in ec_GFp_nistp384_mod() local
|
/dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/jdk.crypto.ec/share/native/libsunec/impl/ |
H A D | ecp_384.c | 53 int a_bits = mpl_significant_bits(a); in ec_GFp_nistp384_mod() local
|
/dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jdk/src/share/native/sun/security/ec/impl/ |
H A D | ecp_384.c | 53 int a_bits = mpl_significant_bits(a); in ec_GFp_nistp384_mod() local
|
/dports/editors/encryptpad/EncryptPad-0.5.0.1/deps/botan/src/lib/misc/srp6/ |
H A D | srp6.cpp | 86 const size_t a_bits = group.exponent_bits(); in srp6_client_agree() local 98 const size_t a_bits, in srp6_client_agree()
|