| /dports/lang/scheme48/scheme48-1.9.2/scheme/big/ |
| H A D | check.scm | 16 …661 x662 x663 x664 x665 x666 x667 x668 x669 x670 x671 x672 x673 x674 x675 x676 x677 x678 x679 x680…
27 …661 x662 x663 x664 x665 x666 x667 x668 x669 x670 x671 x672 x673 x674 x675 x676 x677 x678 x679 x680…
|
| /dports/devel/ppl/ppl-1.2/demos/ppl_lpsol/examples/ |
| H A D | opt1217.mps | 753 x676 c15 8 c28 1
1549 UP bnd x676 1
|
| /dports/lang/go-devel/go-becaeea1199b875bc24800fa88f2f4fea119bf78/src/crypto/elliptic/internal/fiat/ |
| H A D | p521_fiat64.go | 1076 var x676 uint64
1077 x675, x676 = bits.Add64(x670, x667, uint64(p521Uint1(x674)))
1080 x677, x678 = bits.Add64(x668, x665, uint64(p521Uint1(x676)))
2597 var x676 uint64
2598 x675, x676 = bits.Add64(x670, x667, uint64(p521Uint1(x674)))
2601 x677, x678 = bits.Add64(x668, x665, uint64(p521Uint1(x676)))
|
| /dports/math/disco/DisCO-releases-1.0.0-33-g68720be/examples/data/hard/ |
| H A D | aflow30a.mps | 1831 x676 c40 -1 c44 1
1832 x676 c223 1
2862 UP bnd x676 84
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress0/arith/ |
| H A D | miplib-opt1217--27.smt | 1456 :extrapreds ((x676))
2787 ( implies ( and ( not x676 ) ( and ( not x628 ) true ) ) ( = tmp474 0 ) )
2788 ( implies ( and ( not x676 ) ( and x628 true ) ) ( = tmp474 1 ) )
2789 ( implies ( and x676 ( and ( not x628 ) true ) ) ( = tmp474 1 ) )
2790 ( implies ( and x676 ( and x628 true ) ) ( = tmp474 2 ) )
3301 ( implies ( and ( not x675 ) ( and ( not x676 ) true ) ) ( = tmp345 0 ) )
3302 ( implies ( and ( not x675 ) ( and x676 true ) ) ( = tmp345 8 ) )
3303 ( implies ( and x675 ( and ( not x676 ) true ) ) ( = tmp345 8 ) )
3304 ( implies ( and x675 ( and x676 true ) ) ( = tmp345 16 ) )
|
| /dports/devel/ppl/ppl-1.2/demos/ppl_lpsol/ |
| H A D | expected_mpz | 2412 x676 = 0
3184 x676 = 0
|
| /dports/misc/fq/fq-0.0.2/format/pcap/testdata/ |
| H A D | http_gzip.fqtest | 562 … .. | ether_type: "ipv4" (0x800) (Internet Protocol version 4) 0x675-0x676.7 (2)
|
| /dports/science/dalton/dalton-66052b3af5ea7225e31178bf9a8b031913c72190/DALTON/srdft/srfunctionals/ |
| H A D | PBE_ERFGWS_correlation.F | 1926 &, x666, x667, x668, x669, x670, x671, x672, x673, x674, x675, x676
2738 x676 = 2062.20808228389d0
2739 x677 = x676/x7**5
3475 x1344 = x572*x676
4088 &73858d0*x1593 *x641*x662 - x1595*x1600*x658*x824 - x1595*x612*x676
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress2/ |
| H A D | instance_1444.smt | 684 :extrapreds ((x676))
1560 (or x675 x676)
1561 (or (not x675) (not x676))
5748 (or (not x676) x247 x248)
5749 (or x676 (not x247) x248)
5750 (or x676 x247 (not x248))
5751 (or (not x676) (not x247) (not x248))
|
| /dports/math/yices/yices-2.6.2/tests/regress/arrays/ |
| H A D | frugal1000.smt | 1686 :extrafuns ((x676 Element))
2012 …9) i670 x670) i671 x671) i672 x672) i673 x673) i674 x674) i675 x675) i676 x676) i677 x677) i678 x6…
2013 …9) i670 x670) i671 x671) i672 x672) i673 x673) i674 x674) i675 x675) i676 x676) i677 x677) i678 x6…
|
| H A D | frugal1000.ys | 1685 (define x676::Element)
2011 …) (i671) x671) (i672) x672) (i673) x673) (i674) x674) (i675) x675) (i676) x676) (i677) x677) (i678…
2012 …) (i671) x671) (i672) x672) (i673) x673) (i674) x674) (i675) x675) (i676) x676) (i677) x677) (i678…
|
| /dports/math/yices/yices-2.6.2/examples/ |
| H A D | frugal1000.smt | 1686 :extrafuns ((x676 Element))
2012 …9) i670 x670) i671 x671) i672 x672) i673 x673) i674 x674) i675 x675) i676 x676) i677 x677) i678 x6…
2013 …9) i670 x670) i671 x671) i672 x672) i673 x673) i674 x674) i675 x675) i676 x676) i677 x677) i678 x6…
|
| H A D | frugal1000.ys | 1685 (define x676::Element)
2011 …) (i671) x671) (i672) x672) (i673) x673) (i674) x674) (i675) x675) (i676) x676) (i677) x677) (i678…
2012 …) (i671) x671) (i672) x672) (i673) x673) (i674) x674) (i675) x675) (i676) x676) (i677) x677) (i678…
|
| /dports/security/hs-cryptol/cryptol-2.11.0/bench/data/ |
| H A D | BigSequenceHex.cry | 1 …b, 0x66c, 0x66d, 0x66e, 0x66f, 0x670, 0x671, 0x672, 0x673, 0x674, 0x675, 0x676, 0x677, 0x678, 0x67…
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress4/ |
| H A D | C880mul.miter.shuffled-as.sat03-348.smt | 684 :extrapreds ((x676))
1860 (or (not x797) (not x1001) x676)
2008 (or x243 x676)
2723 (or (not x951) x1200 x676)
3672 (or (not x676) x1200 x951)
4124 (or (not x951) x1107 x1567 x803 x676)
4535 (or (not x676) (not x797) (not x243) x349 x1001)
8155 (or x1001 x797 x676)
8567 (or (not x676) (not x1107))
8569 (or x676 x1107 (not x803) (not x1567) x951)
[all …]
|
| H A D | instance_1151.smt | 685 :extrapreds ((x676))
1682 (or (not x676) x677)
1683 (or x676 (not x677))
4640 (or (not x676) x674 x675)
4641 (or x676 (not x674) x675)
4642 (or x676 x674 (not x675))
4643 (or (not x676) (not x674) (not x675))
|
| /dports/www/firefox-esr/firefox-91.8.0/security/nss/lib/freebl/ecl/ |
| H A D | ecp_secp384r1.c | 7446 uint32_t x676;
8788 fiat_secp384r1_mulx_u32(&x675, &x676, x5, (arg2[9]));
8807 fiat_secp384r1_addcarryx_u32(&x713, &x714, x712, x676, x673);
10016 uint32_t x676;
11358 fiat_secp384r1_mulx_u32(&x675, &x676, x5, (arg1[9]));
11377 fiat_secp384r1_addcarryx_u32(&x713, &x714, x712, x676, x673);
12932 uint32_t x676;
13602 fiat_secp384r1_addcarryx_u32(&x676, &x677, x675, x649, x646);
13614 fiat_secp384r1_addcarryx_u32(&x700, &x701, x699, x640, x676);
14491 fiat_secp384r1_uint1 x676;
[all …]
|
| /dports/security/ca_root_nss/nss-3.71/nss/lib/freebl/ecl/ |
| H A D | ecp_secp384r1.c | 7446 uint32_t x676; in fiat_secp384r1_mul() local
8788 fiat_secp384r1_mulx_u32(&x675, &x676, x5, (arg2[9])); in fiat_secp384r1_mul()
8807 fiat_secp384r1_addcarryx_u32(&x713, &x714, x712, x676, x673); in fiat_secp384r1_mul()
10016 uint32_t x676; in fiat_secp384r1_square() local
11358 fiat_secp384r1_mulx_u32(&x675, &x676, x5, (arg1[9])); in fiat_secp384r1_square()
11377 fiat_secp384r1_addcarryx_u32(&x713, &x714, x712, x676, x673); in fiat_secp384r1_square()
12932 uint32_t x676; in fiat_secp384r1_from_montgomery() local
13602 fiat_secp384r1_addcarryx_u32(&x676, &x677, x675, x649, x646); in fiat_secp384r1_from_montgomery()
13614 fiat_secp384r1_addcarryx_u32(&x700, &x701, x699, x640, x676); in fiat_secp384r1_from_montgomery()
14491 fiat_secp384r1_uint1 x676; in fiat_secp384r1_to_montgomery() local
[all …]
|
| /dports/www/firefox/firefox-99.0/security/nss/lib/freebl/ecl/ |
| H A D | ecp_secp384r1.c | 7446 uint32_t x676; in fiat_secp384r1_mul() local
8788 fiat_secp384r1_mulx_u32(&x675, &x676, x5, (arg2[9])); in fiat_secp384r1_mul()
8807 fiat_secp384r1_addcarryx_u32(&x713, &x714, x712, x676, x673); in fiat_secp384r1_mul()
10016 uint32_t x676; in fiat_secp384r1_square() local
11358 fiat_secp384r1_mulx_u32(&x675, &x676, x5, (arg1[9])); in fiat_secp384r1_square()
11377 fiat_secp384r1_addcarryx_u32(&x713, &x714, x712, x676, x673); in fiat_secp384r1_square()
12932 uint32_t x676; in fiat_secp384r1_from_montgomery() local
13602 fiat_secp384r1_addcarryx_u32(&x676, &x677, x675, x649, x646); in fiat_secp384r1_from_montgomery()
13614 fiat_secp384r1_addcarryx_u32(&x700, &x701, x699, x640, x676); in fiat_secp384r1_from_montgomery()
14491 fiat_secp384r1_uint1 x676; in fiat_secp384r1_to_montgomery() local
[all …]
|
| /dports/security/nss/nss-3.76.1/nss/lib/freebl/ecl/ |
| H A D | ecp_secp384r1.c | 7446 uint32_t x676; in fiat_secp384r1_mul() local
8788 fiat_secp384r1_mulx_u32(&x675, &x676, x5, (arg2[9])); in fiat_secp384r1_mul()
8807 fiat_secp384r1_addcarryx_u32(&x713, &x714, x712, x676, x673); in fiat_secp384r1_mul()
10016 uint32_t x676; in fiat_secp384r1_square() local
11358 fiat_secp384r1_mulx_u32(&x675, &x676, x5, (arg1[9])); in fiat_secp384r1_square()
11377 fiat_secp384r1_addcarryx_u32(&x713, &x714, x712, x676, x673); in fiat_secp384r1_square()
12932 uint32_t x676; in fiat_secp384r1_from_montgomery() local
13602 fiat_secp384r1_addcarryx_u32(&x676, &x677, x675, x649, x646); in fiat_secp384r1_from_montgomery()
13614 fiat_secp384r1_addcarryx_u32(&x700, &x701, x699, x640, x676); in fiat_secp384r1_from_montgomery()
14491 fiat_secp384r1_uint1 x676; 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 | 7446 uint32_t x676; in fiat_secp384r1_mul() local
8788 fiat_secp384r1_mulx_u32(&x675, &x676, x5, (arg2[9])); in fiat_secp384r1_mul()
8807 fiat_secp384r1_addcarryx_u32(&x713, &x714, x712, x676, x673); in fiat_secp384r1_mul()
10016 uint32_t x676; in fiat_secp384r1_square() local
11358 fiat_secp384r1_mulx_u32(&x675, &x676, x5, (arg1[9])); in fiat_secp384r1_square()
11377 fiat_secp384r1_addcarryx_u32(&x713, &x714, x712, x676, x673); in fiat_secp384r1_square()
12932 uint32_t x676; in fiat_secp384r1_from_montgomery() local
13602 fiat_secp384r1_addcarryx_u32(&x676, &x677, x675, x649, x646); in fiat_secp384r1_from_montgomery()
13614 fiat_secp384r1_addcarryx_u32(&x700, &x701, x699, x640, x676); in fiat_secp384r1_from_montgomery()
14491 fiat_secp384r1_uint1 x676; in fiat_secp384r1_to_montgomery() local
[all …]
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress3/ |
| H A D | qwh.35.405.shuffled-as.sat03-1651.smt | 684 :extrapreds ((x676))
3117 (or x844 x676)
3144 (or x676 x269)
5365 (or (not x672) x676)
6932 (or x672 (not x676))
8074 (or x676 x184)
8375 (or x676 (not x198))
10093 (or (not x676) (not x269) (not x301) (not x844))
10745 (or x198 (not x184) (not x676))
10905 (or x676 x301)
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress2/arith/ |
| H A D | miplib-opt1217--27.smt2 | 1453 (declare-fun x676 () Bool)
1547 …x676)) (?v_1170 (and (not x628) true)) (?v_1172 (and x628 true)) (?v_1171 (= tmp474 1)) (?v_1173 (…
|
| /dports/devel/bsdelf/elftoolchain-0.7.1/test/elfdump/ts/archive2/ |
| H A D | @r%libdwarf.a.out | 3686 r_offset: 0x676
|
| /dports/devel/elftoolchain/elftoolchain-0.7.1/test/elfdump/ts/archive2/ |
| H A D | @r%libdwarf.a.out | 3686 r_offset: 0x676
|