| /dports/editors/yudit/yudit-3.0.7/mytool/kmap/ |
| H A D | Dakelh.kmap | 161 "lhi= 0x1632",
416 "Lhi= 0x1632",
|
| /dports/multimedia/libv4l/linux-5.13-rc2/Documentation/driver-api/media/drivers/ccs/ |
| H A D | ccs-regs.asc | 850 lrte_cphy_capability 0x1632
|
| /dports/multimedia/v4l-utils/linux-5.13-rc2/Documentation/driver-api/media/drivers/ccs/ |
| H A D | ccs-regs.asc | 850 lrte_cphy_capability 0x1632
|
| /dports/multimedia/v4l_compat/linux-5.13-rc2/Documentation/driver-api/media/drivers/ccs/ |
| H A D | ccs-regs.asc | 850 lrte_cphy_capability 0x1632
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress3/ |
| H A D | bmc-ibm-1.smt | 18021 (or x1653 x1632)
18033 (or x1657 x1632)
18112 (or x1644 x1632)
18161 (or x1686 x1632)
18177 (or x1690 x1632)
18356 (or x1641 x1632)
18367 (or x1705 x1632)
18385 (or x1640 x1632)
18409 (or x1639 x1632)
18419 (or x1710 x1632)
[all …]
|
| H A D | bmc-ibm-2.smt | 1642 :extrapreds ((x1632))
8895 (or x1632 (not x1622))
8896 (or x1632 (not x1626))
8897 (or x1632 x1625)
8898 (or x1622 x1626 (not x1625) (not x1632))
8906 (or (not x1633) (not x1632) (not x1628) (not x1631) x1635)
8908 (or (not x1635) x1632)
|
| H A D | bmc-ibm-5.smt | 1642 :extrapreds ((x1632))
16379 (or x1619 (not x1632))
17480 (or x1770 (not x1632))
17686 (or x1838 (not x1632))
17687 (or x1891 x1632 (not x1838))
17891 (or (not x1632) x1925)
17892 (or (not x1632) x1624)
17893 (or (not x1632) x1926)
17894 (or (not x1632) x1923)
17898 (or x1841 (not x1632))
[all …]
|
| H A D | bmc-ibm-7.smt | 1642 :extrapreds ((x1632))
14982 (or (not x1616) (not x1540) (not x1539) (not x1545) (not x1549) x1632)
14983 (or (not x1632) x1616)
14984 (or (not x1632) x1540)
14985 (or (not x1632) x1539)
14986 (or (not x1632) x1545)
14987 (or (not x1632) x1549)
14998 (or x1636 (not x1632))
15001 (or x1635 x1632 x1631 x1630 (not x1636))
|
| H A D | friedman_n6_i4.smt | 1641 :extrapreds ((x1632))
40475 (or (not x1632) x1634)
40477 (or (not x1634) x1632 x1512)
40479 (or (not x1634) x1635 x1632)
40481 (or (not x1633) (not x1509) x1632)
40483 (or (not x1631) x1632)
40485 (or (not x1632) x1631 x1509)
40487 (or (not x1632) x1633 x1631)
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress2/ |
| H A D | friedman_n4_i5.smt | 1641 :extrapreds ((x1632))
5015 (or (not x1633) (not x27) x1636 x1632 x1249)
5017 (or (not x1636) (not x1633) x1632 x1249 x27)
5018 (or (not x1633) (not x1249) x1636 x1632 x27)
5019 (or (not x1632) (not x1356) x1636 x1631 x1248)
5035 (or (not x1633) x1632 x1249 x1245)
5037 (or (not x1632) (not x1249) x1245)
5038 (or (not x1632) (not x1245) x1249)
5039 (or (not x1632) x1633)
5040 (or (not x1632) x1631 x1248 x1244)
[all …]
|
| /dports/science/dalton/dalton-66052b3af5ea7225e31178bf9a8b031913c72190/DALTON/srdft/srfunctionals/ |
| H A D | PBE_ERFGWS_correlation.F | 2023 &x1628, x1629, x1630, x1631, x1632, x1633, x1634, x1635, x1636, x16
3811 x1632 = x570*x860
3825 &*x649*x650 - x149*x1637*x649*x899 + x1504*x1632*x644 + x1585*x570*
3943 x1741 = x1632*x1729 + 0.202643992197415d0*x1634*x1658 + x1641*x537
|
| H A D | TPSS_ERFGWS_correlation.F | 3986 &x1628, x1629, x1630, x1631, x1632, x1633, x1634, x1635, x1636, x16
5957 x1632 = x1587*x475
6021 & x1627*x495 + x1628*x495 - x1629*x1631 - x1631*x1632 - x1633*x1635
6022 &*x493 + x1644 *(x1629 + x1632 + x1636 + x1637 + x1638*x1640 + x473
6902 x2375 = x1080*x473 - x1629 - x1632 - x1636 - x1637 + x1640*x2374
7392 & x1628* x2367 + x1629*x2734 + x1632*x2734 + x2375*x2735 + x511*(x1
|
| /dports/www/firefox-esr/firefox-91.8.0/security/nss/lib/freebl/ecl/ |
| H A D | ecp_secp384r1.c | 8402 uint32_t x1632;
9278 fiat_secp384r1_subborrowx_u32(&x1632, &x1633, x1631, x1607, 0x0);
9300 fiat_secp384r1_cmovznz_u32(&x1657, x1655, x1632, x1607);
10972 uint32_t x1632;
11848 fiat_secp384r1_subborrowx_u32(&x1632, &x1633, x1631, x1607, 0x0);
11870 fiat_secp384r1_cmovznz_u32(&x1657, x1655, x1632, x1607);
|
| /dports/security/ca_root_nss/nss-3.71/nss/lib/freebl/ecl/ |
| H A D | ecp_secp384r1.c | 8402 uint32_t x1632; in fiat_secp384r1_mul() local
9278 fiat_secp384r1_subborrowx_u32(&x1632, &x1633, x1631, x1607, 0x0); in fiat_secp384r1_mul()
9300 fiat_secp384r1_cmovznz_u32(&x1657, x1655, x1632, x1607); in fiat_secp384r1_mul()
10972 uint32_t x1632; in fiat_secp384r1_square() local
11848 fiat_secp384r1_subborrowx_u32(&x1632, &x1633, x1631, x1607, 0x0); in fiat_secp384r1_square()
11870 fiat_secp384r1_cmovznz_u32(&x1657, x1655, x1632, x1607); in fiat_secp384r1_square()
|
| /dports/www/firefox/firefox-99.0/security/nss/lib/freebl/ecl/ |
| H A D | ecp_secp384r1.c | 8402 uint32_t x1632; in fiat_secp384r1_mul() local
9278 fiat_secp384r1_subborrowx_u32(&x1632, &x1633, x1631, x1607, 0x0); in fiat_secp384r1_mul()
9300 fiat_secp384r1_cmovznz_u32(&x1657, x1655, x1632, x1607); in fiat_secp384r1_mul()
10972 uint32_t x1632; in fiat_secp384r1_square() local
11848 fiat_secp384r1_subborrowx_u32(&x1632, &x1633, x1631, x1607, 0x0); in fiat_secp384r1_square()
11870 fiat_secp384r1_cmovznz_u32(&x1657, x1655, x1632, x1607); in fiat_secp384r1_square()
|
| /dports/security/nss/nss-3.76.1/nss/lib/freebl/ecl/ |
| H A D | ecp_secp384r1.c | 8402 uint32_t x1632; in fiat_secp384r1_mul() local
9278 fiat_secp384r1_subborrowx_u32(&x1632, &x1633, x1631, x1607, 0x0); in fiat_secp384r1_mul()
9300 fiat_secp384r1_cmovznz_u32(&x1657, x1655, x1632, x1607); in fiat_secp384r1_mul()
10972 uint32_t x1632; in fiat_secp384r1_square() local
11848 fiat_secp384r1_subborrowx_u32(&x1632, &x1633, x1631, x1607, 0x0); in fiat_secp384r1_square()
11870 fiat_secp384r1_cmovznz_u32(&x1657, x1655, x1632, x1607); in fiat_secp384r1_square()
|
| /dports/mail/thunderbird/thunderbird-91.8.0/security/nss/lib/freebl/ecl/ |
| H A D | ecp_secp384r1.c | 8402 uint32_t x1632; in fiat_secp384r1_mul() local
9278 fiat_secp384r1_subborrowx_u32(&x1632, &x1633, x1631, x1607, 0x0); in fiat_secp384r1_mul()
9300 fiat_secp384r1_cmovznz_u32(&x1657, x1655, x1632, x1607); in fiat_secp384r1_mul()
10972 uint32_t x1632; in fiat_secp384r1_square() local
11848 fiat_secp384r1_subborrowx_u32(&x1632, &x1633, x1631, x1607, 0x0); in fiat_secp384r1_square()
11870 fiat_secp384r1_cmovznz_u32(&x1657, x1655, x1632, x1607); in fiat_secp384r1_square()
|
| /dports/misc/dartsim/dart-6.11.1/unittests/unit/ |
| H A D | GeneratedWamIkFast.cpp | 23172 IkReal x1632 in ComputeIk() local
23185 * x1632)) in ComputeIk()
23195 + x1632); in ComputeIk()
23201 * x1632)) in ComputeIk()
|
| H A D | SharedLibraryWamIkFast.cpp | 23184 IkReal x1632 in ComputeIk() local
23197 * x1632)) in ComputeIk()
23207 + x1632); in ComputeIk()
23213 * x1632)) in ComputeIk()
|
| /dports/misc/dartsim/dart-6.11.1/examples/wam_ikfast/ikfast/ |
| H A D | ikfast71.Transform6D.4_6_9_10_11_12_f8.cpp | 7835 IkReal x1632=((3.92156862745098)*pp); in ComputeIk() local
7837 evalcond[1]=((((-1.0)*sj8*x1631))+((sj8*x1632))+(((-1.0)*(1.51009803921569)*sj8))); in ComputeIk()
7839 evalcond[3]=((-1.51009803921569)+(((-1.0)*x1631))+x1632); in ComputeIk()
7840 evalcond[4]=((((1.51009803921569)*cj8))+(((-1.0)*cj8*x1632))+((cj8*x1631))); in ComputeIk()
|
| /dports/games/libretro-px68k/px68k-libretro-8455d9c/m68000/c68k/ |
| H A D | c68k_op1.inc | 3415 case 0x1632:
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress0/ |
| H A D | bug2.smt | 1635 :extrapreds ((x1632))
8887 :assumption (or x1632 (not x1622))
8888 :assumption (or x1632 (not x1626))
8889 :assumption (or x1632 x1625)
8890 :assumption (or x1622 x1626 (not x1625) (not x1632))
8898 :assumption (or (not x1633) (not x1632) (not x1628) (not x1631) x1635)
8900 :assumption (or (not x1635) x1632)
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress1/arith/ |
| H A D | pbrewrites-test.smt2 | 1638 (declare-fun x1632 () Int)
|
| /dports/math/yices/yices-2.6.2/tests/regress/mantis/ |
| H A D | 0014.smt2 | 183 (declare-fun x1632 () (_ BitVec 2))
2292 (assert (= x1632 (concat x1633 x1636)))
2520 (assert (= x1631 (concat x1632 x1639)))
|
| /dports/emulators/atari800/atari800-3.1.0/src/ |
| H A D | vtxsmpls.inc | 4303 0x1873,0x1628,0x1434,0x13ae,0x13c8,0x14ab,0x1632,0x179c,
5429 0x0dc5,0x1175,0x1632,0x1b45,0x20b3,0x2653,0x2bae,0x3092,
|