| /dports/www/firefox/firefox-99.0/security/nss/lib/freebl/ecl/ |
| H A D | ecp_secp384r1.c | 7276 uint32_t x506; in fiat_secp384r1_mul() local
8701 x506 = (x505 + x471); in fiat_secp384r1_mul()
8714 fiat_secp384r1_addcarryx_u32(&x531, &x532, x530, x468, x506); in fiat_secp384r1_mul()
9846 uint32_t x506; in fiat_secp384r1_square() local
11271 x506 = (x505 + x471); in fiat_secp384r1_square()
11284 fiat_secp384r1_addcarryx_u32(&x531, &x532, x530, x468, x506); in fiat_secp384r1_square()
12762 uint32_t x506; in fiat_secp384r1_from_montgomery() local
13515 fiat_secp384r1_addcarryx_u32(&x506, &x507, x505, x475, x472); in fiat_secp384r1_from_montgomery()
13527 fiat_secp384r1_addcarryx_u32(&x530, &x531, x529, x470, x506); in fiat_secp384r1_from_montgomery()
14321 uint32_t x506; in fiat_secp384r1_to_montgomery() local
[all …]
|
| /dports/security/nss/nss-3.76.1/nss/lib/freebl/ecl/ |
| H A D | ecp_secp384r1.c | 7276 uint32_t x506; in fiat_secp384r1_mul() local
8701 x506 = (x505 + x471); in fiat_secp384r1_mul()
8714 fiat_secp384r1_addcarryx_u32(&x531, &x532, x530, x468, x506); in fiat_secp384r1_mul()
9846 uint32_t x506; in fiat_secp384r1_square() local
11271 x506 = (x505 + x471); in fiat_secp384r1_square()
11284 fiat_secp384r1_addcarryx_u32(&x531, &x532, x530, x468, x506); in fiat_secp384r1_square()
12762 uint32_t x506; in fiat_secp384r1_from_montgomery() local
13515 fiat_secp384r1_addcarryx_u32(&x506, &x507, x505, x475, x472); in fiat_secp384r1_from_montgomery()
13527 fiat_secp384r1_addcarryx_u32(&x530, &x531, x529, x470, x506); in fiat_secp384r1_from_montgomery()
14321 uint32_t x506; in fiat_secp384r1_to_montgomery() local
[all …]
|
| /dports/mail/thunderbird/thunderbird-91.8.0/security/nss/lib/freebl/ecl/ |
| H A D | ecp_secp384r1.c | 7276 uint32_t x506; in fiat_secp384r1_mul() local
8701 x506 = (x505 + x471); in fiat_secp384r1_mul()
8714 fiat_secp384r1_addcarryx_u32(&x531, &x532, x530, x468, x506); in fiat_secp384r1_mul()
9846 uint32_t x506; in fiat_secp384r1_square() local
11271 x506 = (x505 + x471); in fiat_secp384r1_square()
11284 fiat_secp384r1_addcarryx_u32(&x531, &x532, x530, x468, x506); in fiat_secp384r1_square()
12762 uint32_t x506; in fiat_secp384r1_from_montgomery() local
13515 fiat_secp384r1_addcarryx_u32(&x506, &x507, x505, x475, x472); in fiat_secp384r1_from_montgomery()
13527 fiat_secp384r1_addcarryx_u32(&x530, &x531, x529, x470, x506); in fiat_secp384r1_from_montgomery()
14321 uint32_t x506; in fiat_secp384r1_to_montgomery() local
[all …]
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress2/ |
| H A D | friedman_n4_i5.smt | 515 :extrapreds ((x506))
8381 (or (not x262) (not x232) x506)
8390 (or (not x247) (not x231) x506)
8513 (or (not x243) x506)
8598 (or (not x238) (not x216) x506)
10937 (or (not x506) x857)
10938 (or (not x857) x506)
12153 (or (not x80) (not x19) x506)
12154 (or (not x309) x506)
12155 (or (not x506) x309 x80)
[all …]
|
| /dports/multimedia/w_scan2/w_scan2-1.0.13/src/ |
| H A D | satellites.dat | 7743 …tellite (50.6 EAST)", __S50E6, SAT_TRANSPONDER_COUNT(__S50E6), EAST_FLAG, 0x506, -1, "S50.6E", 0 },
|
| /dports/net-mgmt/netdisco-mibs/netdisco-mibs-4.010/3com/ |
| H A D | 3fc-045.mib | 945 -- x506 OBJECT IDENTIFIER ::= { xSeries 1 }
3184 x506 OBJECT IDENTIFIER ::= { xSeries 1 }
|
| /dports/net-mgmt/observium/observium/mibs/a3com/ |
| H A D | A3Com-products-MIB | 945 -- x506 OBJECT IDENTIFIER ::= { xSeries 1 }
3184 x506 OBJECT IDENTIFIER ::= { xSeries 1 }
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/net/data/verify_certificate_chain_unittest/many-names/ |
| H A D | toomany-dns-excluded.pem | 892 DNS:x506.test
|
| H A D | toomany-dirnames-excluded.pem | 1063 DirName:CN = x506
|
| H A D | ok-different-types-ips.pem | 3863 DNS:x506.test
4888 DirName:CN = x506
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress3/ |
| H A D | bmc-ibm-2.smt | 516 :extrapreds ((x506))
4596 (or x506 (not x470))
4597 (or x506 x471)
4598 (or x506 (not x471))
4599 (or x470 (not x471) x471 (not x506))
4603 (or (not x507) (not x506) x510)
4605 (or (not x510) x506)
|
| /dports/www/firefox-esr/firefox-91.8.0/js/src/zydis/Zydis/Generated/ |
| H A D | DecoderTables.inc | 48 …VECTOR_LENGTH, 0x505), ZYDIS_FILTER(ZYDIS_NODETYPE_FILTER_VECTOR_LENGTH, 0x506), ZYDIS_FILTER(ZYDI…
1711 { ZYDIS_DEFINITION(0x1, 0x506), ZYDIS_DEFINITION(0x1, 0x508) },
1828 …IS_FILTER(ZYDIS_NODETYPE_FILTER_REX_W, 0x505), ZYDIS_FILTER(ZYDIS_NODETYPE_FILTER_REX_W, 0x506) },
2645 …{ ZYDIS_INVALID, ZYDIS_DEFINITION(0x1, 0x504), ZYDIS_DEFINITION(0x1, 0x506), ZYDIS_INVALID, ZYDIS_…
3746 { ZYDIS_DEFINITION(0x1, 0x504), ZYDIS_DEFINITION(0x1, 0x505), ZYDIS_DEFINITION(0x1, 0x506) },
4006 …OD_COMPACT, 0x505), ZYDIS_FILTER(ZYDIS_NODETYPE_FILTER_MODRM_MOD_COMPACT, 0x506), ZYDIS_INVALID },
|
| /dports/devel/zydis/zydis-3.1.0/src/Generated/ |
| H A D | DecoderTables.inc | 48 …VECTOR_LENGTH, 0x505), ZYDIS_FILTER(ZYDIS_NODETYPE_FILTER_VECTOR_LENGTH, 0x506), ZYDIS_FILTER(ZYDI…
1711 { ZYDIS_DEFINITION(0x1, 0x506), ZYDIS_DEFINITION(0x1, 0x508) },
1828 …IS_FILTER(ZYDIS_NODETYPE_FILTER_REX_W, 0x505), ZYDIS_FILTER(ZYDIS_NODETYPE_FILTER_REX_W, 0x506) },
2645 …{ ZYDIS_INVALID, ZYDIS_DEFINITION(0x1, 0x504), ZYDIS_DEFINITION(0x1, 0x506), ZYDIS_INVALID, ZYDIS_…
3746 { ZYDIS_DEFINITION(0x1, 0x504), ZYDIS_DEFINITION(0x1, 0x505), ZYDIS_DEFINITION(0x1, 0x506) },
4006 …OD_COMPACT, 0x505), ZYDIS_FILTER(ZYDIS_NODETYPE_FILTER_MODRM_MOD_COMPACT, 0x506), ZYDIS_INVALID },
|
| /dports/www/firefox/firefox-99.0/js/src/zydis/Zydis/Generated/ |
| H A D | DecoderTables.inc | 48 …VECTOR_LENGTH, 0x505), ZYDIS_FILTER(ZYDIS_NODETYPE_FILTER_VECTOR_LENGTH, 0x506), ZYDIS_FILTER(ZYDI…
1711 { ZYDIS_DEFINITION(0x1, 0x506), ZYDIS_DEFINITION(0x1, 0x508) },
1828 …IS_FILTER(ZYDIS_NODETYPE_FILTER_REX_W, 0x505), ZYDIS_FILTER(ZYDIS_NODETYPE_FILTER_REX_W, 0x506) },
2645 …{ ZYDIS_INVALID, ZYDIS_DEFINITION(0x1, 0x504), ZYDIS_DEFINITION(0x1, 0x506), ZYDIS_INVALID, ZYDIS_…
3746 { ZYDIS_DEFINITION(0x1, 0x504), ZYDIS_DEFINITION(0x1, 0x505), ZYDIS_DEFINITION(0x1, 0x506) },
4006 …OD_COMPACT, 0x505), ZYDIS_FILTER(ZYDIS_NODETYPE_FILTER_MODRM_MOD_COMPACT, 0x506), ZYDIS_INVALID },
|
| /dports/mail/thunderbird/thunderbird-91.8.0/js/src/zydis/Zydis/Generated/ |
| H A D | DecoderTables.inc | 48 …VECTOR_LENGTH, 0x505), ZYDIS_FILTER(ZYDIS_NODETYPE_FILTER_VECTOR_LENGTH, 0x506), ZYDIS_FILTER(ZYDI…
1711 { ZYDIS_DEFINITION(0x1, 0x506), ZYDIS_DEFINITION(0x1, 0x508) },
1828 …IS_FILTER(ZYDIS_NODETYPE_FILTER_REX_W, 0x505), ZYDIS_FILTER(ZYDIS_NODETYPE_FILTER_REX_W, 0x506) },
2645 …{ ZYDIS_INVALID, ZYDIS_DEFINITION(0x1, 0x504), ZYDIS_DEFINITION(0x1, 0x506), ZYDIS_INVALID, ZYDIS_…
3746 { ZYDIS_DEFINITION(0x1, 0x504), ZYDIS_DEFINITION(0x1, 0x505), ZYDIS_DEFINITION(0x1, 0x506) },
4006 …OD_COMPACT, 0x505), ZYDIS_FILTER(ZYDIS_NODETYPE_FILTER_MODRM_MOD_COMPACT, 0x506), ZYDIS_INVALID },
|
| /dports/lang/spidermonkey78/firefox-78.9.0/js/src/zydis/Zydis/Generated/ |
| H A D | DecoderTables.inc | 48 …VECTOR_LENGTH, 0x505), ZYDIS_FILTER(ZYDIS_NODETYPE_FILTER_VECTOR_LENGTH, 0x506), ZYDIS_FILTER(ZYDI…
1711 { ZYDIS_DEFINITION(0x1, 0x506), ZYDIS_DEFINITION(0x1, 0x508) },
1828 …IS_FILTER(ZYDIS_NODETYPE_FILTER_REX_W, 0x505), ZYDIS_FILTER(ZYDIS_NODETYPE_FILTER_REX_W, 0x506) },
2645 …{ ZYDIS_INVALID, ZYDIS_DEFINITION(0x1, 0x504), ZYDIS_DEFINITION(0x1, 0x506), ZYDIS_INVALID, ZYDIS_…
3746 { ZYDIS_DEFINITION(0x1, 0x504), ZYDIS_DEFINITION(0x1, 0x505), ZYDIS_DEFINITION(0x1, 0x506) },
4006 …OD_COMPACT, 0x505), ZYDIS_FILTER(ZYDIS_NODETYPE_FILTER_MODRM_MOD_COMPACT, 0x506), ZYDIS_INVALID },
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress2/arith/ |
| H A D | miplib-opt1217--27.smt2 | 1283 (declare-fun x506 () Bool)
1547 … (?v_487 (= tmp645 1)) (?v_489 (not x554)) (?v_490 (and (not x506) true)) (?v_492 (and x506 true))…
|
| /dports/graphics/devil/devil-1.7.8/docs/ |
| H A D | DevIL_manual.texi | 1110 @item @code{IL_ILLEGAL_OPERATION} @tab @code{0x506} @tab @code{1286}
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress0/ |
| H A D | bug2.smt | 509 :extrapreds ((x506))
4588 :assumption (or x506 (not x470))
4589 :assumption (or x506 x471)
4590 :assumption (or x506 (not x471))
4591 :assumption (or x470 (not x471) x471 (not x506))
4595 :assumption (or (not x507) (not x506) x510)
4597 :assumption (or (not x510) x506)
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress1/arith/ |
| H A D | pbrewrites-test.smt2 | 512 (declare-fun x506 () Int)
|
| /dports/math/yices/yices-2.6.2/tests/regress/mantis/ |
| H A D | 0014.smt2 | 430 (declare-fun x506 () (_ BitVec 384))
1758 (assert (= x505 ((_ extract 0 0) x506)))
1959 (assert (= x506 (bvlshr x508 ((_ zero_extend 375) x507))))
|
| /dports/misc/dartsim/dart-6.11.1/unittests/unit/ |
| H A D | GeneratedWamIkFast.cpp | 36951 IkReal x506 = ((1.0) * new_r12); in rotationfunction0() local
36967 = ((((-1.0) * new_r00 * x506)) in rotationfunction0()
36971 = ((((-1.0) * new_r01 * x506)) in rotationfunction0()
|
| H A D | SharedLibraryWamIkFast.cpp | 36963 IkReal x506 = ((1.0) * new_r12); in rotationfunction0() local
36979 = ((((-1.0) * new_r00 * x506)) in rotationfunction0()
36983 = ((((-1.0) * new_r01 * x506)) in rotationfunction0()
|
| /dports/misc/dartsim/dart-6.11.1/examples/wam_ikfast/ikfast/ |
| H A D | ikfast71.Transform6D.4_6_9_10_11_12_f8.cpp | 13782 IkReal x506=((1.0)*new_r12); in rotationfunction0() local
13789 evalcond[6]=((((-1.0)*new_r00*x506))+x504+((new_r02*new_r10))); in rotationfunction0()
13790 evalcond[7]=((((-1.0)*new_r01*x506))+((new_r02*new_r11))+(((-1.0)*x505))); in rotationfunction0()
|
| /dports/net-mgmt/observium/observium/mibs/cabletron/ |
| H A D | CABLETRON-TRAPS | 1967 ::= 1286 -- 0x506
|