Home
last modified time | relevance | path

Searched refs:x1613 (Results 1 – 25 of 67) sorted by relevance

123

/dports/math/cvc4/CVC4-1.7/test/regress/regress1/quantifiers/
H A D006-cbqi-ite.smt2228 (let (($x1613 (not $x1612)))
229 …(or $x1613 $x1500 (and $x1289 $x1459 $x1451 $x1446 $x1440 $x1435))))))))))))))))))))))))))))))))))…
/dports/net-mgmt/aircrack-ng/aircrack-ng-1.5.2/patches/old/
H A Dhostap-kernel-2.6.16.patch46 - PCMCIA_DEVICE_MANF_CARD(0x0274, 0x1613),
75 + PCMCIA_DEVICE_MANF_CARD(0x0274, 0x1613), // Linksys WPC11 Version 3
H A Dhostap-driver-0.4.5.patch94 - PCMCIA_DEVICE_MANF_CARD(0x0274, 0x1613),
149 + PCMCIA_DEVICE_MANF_CARD(0x0274, 0x1613), // Linksys WPC11 Version 3
/dports/editors/yudit/yudit-3.0.7/mytool/kmap/
H A DDakelh.kmap212 "ya= 0x1613",
467 "Ya= 0x1613",
/dports/net-mgmt/aircrack-ng/aircrack-ng-1.5.2/patches/
H A Dhostap-driver-0.4.7.patch94 - PCMCIA_DEVICE_MANF_CARD(0x0274, 0x1613),
151 + PCMCIA_DEVICE_MANF_CARD(0x0274, 0x1613), // Linksys WPC11 Version 3
/dports/cad/opentimer/OpenTimer-18d28ff/benchmark/wb_dma/
H A Dwb_dma.timing828 rat x1613 210 210 220 220
829 load x1613 4.0
H A Dwb_dma.spef13432 2 x1613 x1613:10 0.0010
13434 4 x1613:1 x1613:2 0.0030
13435 5 x1613:1 x1613:11 0.0134
13436 6 x1613:2 x1613:12 0.0050
13437 7 x1613:3 x1613:6 0.0050
13438 8 x1613:4 x1613:10 0.0050
13439 9 x1613:4 x1613:5 0.0010
13440 10 x1613:5 x1613:12 0.0216
13441 11 x1613:6 x1613:13 0.0010
13442 12 x1613:7 x1613:8 0.0010
[all …]
H A Dwb_dma.v415 x1613,
851 output x1613; port
1249 wire x1613; net
9006 OAI22_X2 inst_183 ( .B1(net_1427), .A1(net_529), .B2(net_253), .A2(net_91), .ZN(x1613) );
/dports/misc/fq/fq-0.0.2/format/mp4/testdata/
H A Dvp9.fqtest78 …00 00 |.... | a: 1 0x1610-0x1613.7 (4)
/dports/japanese/w3m-img/w3m-2b59b9e/libwc/map/
H A Dhkscs_ucs_p2.map901 { 0xFAD7, 0x1613 },
1276 { 0x1613, 0xFAD7 },
/dports/japanese/w3m/w3m-2b59b9e/libwc/map/
H A Dhkscs_ucs_p2.map901 { 0xFAD7, 0x1613 },
1276 { 0x1613, 0xFAD7 },
/dports/www/w3m-img/w3m-2b59b9e/libwc/map/
H A Dhkscs_ucs_p2.map901 { 0xFAD7, 0x1613 },
1276 { 0x1613, 0xFAD7 },
/dports/www/w3m/w3m-2b59b9e/libwc/map/
H A Dhkscs_ucs_p2.map901 { 0xFAD7, 0x1613 },
1276 { 0x1613, 0xFAD7 },
/dports/misc/rump/buildrump.sh-b914579/src/sys/dev/pcmcia/
H A Dpcmciadevs291 product LINKSYS2 IWN3 0x1613 Instant Wireless Network PC Card, Versin 3
/dports/math/cvc4/CVC4-1.7/test/regress/regress2/
H A Dfriedman_n4_i5.smt1622 :extrapreds ((x1613))
5195 (or (not x1614) (not x29) x1616 x1613 x1254)
5197 (or (not x1616) (not x1614) x1613 x1254 x29)
5198 (or (not x1614) (not x1254) x1616 x1613 x29)
5199 (or (not x1613) (not x27) x1616 x1612 x1253)
5214 (or (not x1614) x1613 x1254 x1242)
5216 (or (not x1613) (not x1254) x1242)
5217 (or (not x1613) (not x1242) x1254)
5218 (or (not x1613) x1614)
5219 (or (not x1613) x1612 x1253 x1240)
[all …]
/dports/science/dalton/dalton-66052b3af5ea7225e31178bf9a8b031913c72190/DALTON/srdft/srfunctionals/
H A DPBE_ERFGWS_correlation.F2021 &1609, x1610, x1611, x1612, x1613, x1614, x1615, x1616, x1617, x161
3783 x1613 = x1612*x657*x861
4091 &09*x1610 + x1610*x1618 + x1611*x1613 + x1613*x1615 - x1620*x1621*x
H A DTPSS_ERFGWS_correlation.F3984 &1609, x1610, x1611, x1612, x1613, x1614, x1615, x1616, x1617, x161
5927 x1613 = x128*x427
5944 &1594*x1612*x1616 + x1601*x1618 + x1602*x1613 - x1603*x80 + x1608*x
5945 &1618 + x1609*x1613 - 0.0107020341576131d0*x1611*x430 - 0.003448433
/dports/math/cvc4/CVC4-1.7/test/regress/regress3/
H A Dbmc-ibm-2.smt1623 :extrapreds ((x1613))
8836 (or (not x1612) (not x1613) (not x1606) x1614)
8838 (or (not x1614) x1613)
8849 (or x1613 (not x1607))
8850 (or x1613 (not x1608))
8851 (or x1613 x1611)
8852 (or x1613 (not x1610))
8853 (or x1613 x1615)
8854 (or x1607 x1608 (not x1611) x1610 (not x1615) (not x1613))
8866 (or (not x1618) (not x1617) (not x1613) (not x1616) x1620)
[all …]
/dports/www/firefox-esr/firefox-91.8.0/security/nss/lib/freebl/ecl/
H A Decp_secp384r1.c8383 uint32_t x1613;
9267 fiat_secp384r1_addcarryx_u32(&x1613, &x1614, x1612, x1550, x1588);
9282 fiat_secp384r1_subborrowx_u32(&x1638, &x1639, x1637, x1613,
9303 fiat_secp384r1_cmovznz_u32(&x1660, x1655, x1638, x1613);
10953 uint32_t x1613;
11837 fiat_secp384r1_addcarryx_u32(&x1613, &x1614, x1612, x1550, x1588);
11852 fiat_secp384r1_subborrowx_u32(&x1638, &x1639, x1637, x1613,
11873 fiat_secp384r1_cmovznz_u32(&x1660, x1655, x1638, x1613);
/dports/security/ca_root_nss/nss-3.71/nss/lib/freebl/ecl/
H A Decp_secp384r1.c8383 uint32_t x1613; in fiat_secp384r1_mul() local
9267 fiat_secp384r1_addcarryx_u32(&x1613, &x1614, x1612, x1550, x1588); in fiat_secp384r1_mul()
9282 fiat_secp384r1_subborrowx_u32(&x1638, &x1639, x1637, x1613, in fiat_secp384r1_mul()
9303 fiat_secp384r1_cmovznz_u32(&x1660, x1655, x1638, x1613); in fiat_secp384r1_mul()
10953 uint32_t x1613; in fiat_secp384r1_square() local
11837 fiat_secp384r1_addcarryx_u32(&x1613, &x1614, x1612, x1550, x1588); in fiat_secp384r1_square()
11852 fiat_secp384r1_subborrowx_u32(&x1638, &x1639, x1637, x1613, in fiat_secp384r1_square()
11873 fiat_secp384r1_cmovznz_u32(&x1660, x1655, x1638, x1613); in fiat_secp384r1_square()
/dports/www/firefox/firefox-99.0/security/nss/lib/freebl/ecl/
H A Decp_secp384r1.c8383 uint32_t x1613; in fiat_secp384r1_mul() local
9267 fiat_secp384r1_addcarryx_u32(&x1613, &x1614, x1612, x1550, x1588); in fiat_secp384r1_mul()
9282 fiat_secp384r1_subborrowx_u32(&x1638, &x1639, x1637, x1613, in fiat_secp384r1_mul()
9303 fiat_secp384r1_cmovznz_u32(&x1660, x1655, x1638, x1613); in fiat_secp384r1_mul()
10953 uint32_t x1613; in fiat_secp384r1_square() local
11837 fiat_secp384r1_addcarryx_u32(&x1613, &x1614, x1612, x1550, x1588); in fiat_secp384r1_square()
11852 fiat_secp384r1_subborrowx_u32(&x1638, &x1639, x1637, x1613, in fiat_secp384r1_square()
11873 fiat_secp384r1_cmovznz_u32(&x1660, x1655, x1638, x1613); in fiat_secp384r1_square()
/dports/security/nss/nss-3.76.1/nss/lib/freebl/ecl/
H A Decp_secp384r1.c8383 uint32_t x1613; in fiat_secp384r1_mul() local
9267 fiat_secp384r1_addcarryx_u32(&x1613, &x1614, x1612, x1550, x1588); in fiat_secp384r1_mul()
9282 fiat_secp384r1_subborrowx_u32(&x1638, &x1639, x1637, x1613, in fiat_secp384r1_mul()
9303 fiat_secp384r1_cmovznz_u32(&x1660, x1655, x1638, x1613); in fiat_secp384r1_mul()
10953 uint32_t x1613; in fiat_secp384r1_square() local
11837 fiat_secp384r1_addcarryx_u32(&x1613, &x1614, x1612, x1550, x1588); in fiat_secp384r1_square()
11852 fiat_secp384r1_subborrowx_u32(&x1638, &x1639, x1637, x1613, in fiat_secp384r1_square()
11873 fiat_secp384r1_cmovznz_u32(&x1660, x1655, x1638, x1613); in fiat_secp384r1_square()
/dports/mail/thunderbird/thunderbird-91.8.0/security/nss/lib/freebl/ecl/
H A Decp_secp384r1.c8383 uint32_t x1613; in fiat_secp384r1_mul() local
9267 fiat_secp384r1_addcarryx_u32(&x1613, &x1614, x1612, x1550, x1588); in fiat_secp384r1_mul()
9282 fiat_secp384r1_subborrowx_u32(&x1638, &x1639, x1637, x1613, in fiat_secp384r1_mul()
9303 fiat_secp384r1_cmovznz_u32(&x1660, x1655, x1638, x1613); in fiat_secp384r1_mul()
10953 uint32_t x1613; in fiat_secp384r1_square() local
11837 fiat_secp384r1_addcarryx_u32(&x1613, &x1614, x1612, x1550, x1588); in fiat_secp384r1_square()
11852 fiat_secp384r1_subborrowx_u32(&x1638, &x1639, x1637, x1613, in fiat_secp384r1_square()
11873 fiat_secp384r1_cmovznz_u32(&x1660, x1655, x1638, x1613); in fiat_secp384r1_square()
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/
H A Dbug2.smt1616 :extrapreds ((x1613))
8828 :assumption (or (not x1612) (not x1613) (not x1606) x1614)
8830 :assumption (or (not x1614) x1613)
8841 :assumption (or x1613 (not x1607))
8842 :assumption (or x1613 (not x1608))
8843 :assumption (or x1613 x1611)
8844 :assumption (or x1613 (not x1610))
8845 :assumption (or x1613 x1615)
8846 :assumption (or x1607 x1608 (not x1611) x1610 (not x1615) (not x1613))
8858 :assumption (or (not x1618) (not x1617) (not x1613) (not x1616) x1620)
[all …]
/dports/games/libretro-px68k/px68k-libretro-8455d9c/m68000/c68k/
H A Dc68k_op1.inc1185 case 0x1613:

123