/dports/math/cvc4/CVC4-1.7/test/regress/regress1/quantifiers/ |
H A D | 006-cbqi-ite.smt2 | 228 (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 D | hostap-kernel-2.6.16.patch | 46 - PCMCIA_DEVICE_MANF_CARD(0x0274, 0x1613), 75 + PCMCIA_DEVICE_MANF_CARD(0x0274, 0x1613), // Linksys WPC11 Version 3
|
H A D | hostap-driver-0.4.5.patch | 94 - 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 D | Dakelh.kmap | 212 "ya= 0x1613", 467 "Ya= 0x1613",
|
/dports/net-mgmt/aircrack-ng/aircrack-ng-1.5.2/patches/ |
H A D | hostap-driver-0.4.7.patch | 94 - 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 D | wb_dma.timing | 828 rat x1613 210 210 220 220 829 load x1613 4.0
|
H A D | wb_dma.spef | 13432 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 D | wb_dma.v | 415 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 D | vp9.fqtest | 78 …00 00 |.... | a: 1 0x1610-0x1613.7 (4)
|
/dports/japanese/w3m-img/w3m-2b59b9e/libwc/map/ |
H A D | hkscs_ucs_p2.map | 901 { 0xFAD7, 0x1613 }, 1276 { 0x1613, 0xFAD7 },
|
/dports/japanese/w3m/w3m-2b59b9e/libwc/map/ |
H A D | hkscs_ucs_p2.map | 901 { 0xFAD7, 0x1613 }, 1276 { 0x1613, 0xFAD7 },
|
/dports/www/w3m-img/w3m-2b59b9e/libwc/map/ |
H A D | hkscs_ucs_p2.map | 901 { 0xFAD7, 0x1613 }, 1276 { 0x1613, 0xFAD7 },
|
/dports/www/w3m/w3m-2b59b9e/libwc/map/ |
H A D | hkscs_ucs_p2.map | 901 { 0xFAD7, 0x1613 }, 1276 { 0x1613, 0xFAD7 },
|
/dports/misc/rump/buildrump.sh-b914579/src/sys/dev/pcmcia/ |
H A D | pcmciadevs | 291 product LINKSYS2 IWN3 0x1613 Instant Wireless Network PC Card, Versin 3
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress2/ |
H A D | friedman_n4_i5.smt | 1622 :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 D | PBE_ERFGWS_correlation.F | 2021 &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 D | TPSS_ERFGWS_correlation.F | 3984 &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 D | bmc-ibm-2.smt | 1623 :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 D | ecp_secp384r1.c | 8383 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 D | ecp_secp384r1.c | 8383 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 D | ecp_secp384r1.c | 8383 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 D | ecp_secp384r1.c | 8383 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 D | ecp_secp384r1.c | 8383 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 D | bug2.smt | 1616 :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 D | c68k_op1.inc | 1185 case 0x1613:
|