Home
last modified time | relevance | path

Searched refs:x1251 (Results 1 – 25 of 58) sorted by relevance

123

/dports/textproc/scim-input-pad/scim-input-pad-0.1.3.1/data/
H A Dethiopic.pad.in48 0x1250 0x1251 0x1252 0x1253 0x1254 0x1255 0x1256 0x1257 -
/dports/editors/emacs/emacs-27.2/etc/charsets/
H A DMULE-ethiopic.map78 0x2172 0x1251
/dports/editors/emacs-devel/emacs-4d1968b/admin/charsets/mapfiles/
H A DMULE-ethiopic.map78 0x2172 0x1251
/dports/editors/emacs/emacs-27.2/admin/charsets/mapfiles/
H A DMULE-ethiopic.map78 0x2172 0x1251
/dports/math/cvc4/CVC4-1.7/test/regress/regress2/
H A Dfriedman_n4_i5.smt1260 :extrapreds ((x1251))
4377 (or x1704 x1255 x1251)
4655 (or x1674 x1255 x1251)
4748 (or x1664 x1251 x1247)
4840 (or x1654 x1251 x1243)
5026 (or x1634 x1251 x1247)
5302 (or x1604 x1251 x1243)
8109 (or (not x1251) (not x432))
8117 (or (not x99) (not x430) x1251)
8118 (or (not x99) (not x429) x1251)
[all …]
H A Dinstance_1444.smt1259 :extrapreds ((x1251))
1827 (or (not x1251) x243 x300)
1828 (or x1251 (not x243) x300)
1829 (or x1251 x243 (not x300))
1830 (or (not x1251) (not x243) (not x300))
4416 (or (not x1253) x1250 x1251)
4417 (or x1253 (not x1250) x1251)
4418 (or x1253 x1250 (not x1251))
4419 (or (not x1253) (not x1250) (not x1251))
/dports/x11-fonts/inconsolata-ttf/fonts-efcbdc5/tools/encodings/
H A Dethiopic_unique-glyphs.nam80 0x1251 ETHIOPIC SYLLABLE QHU
/dports/editors/yudit/yudit-3.0.7/mytool/kmap/
H A DEthiopic.kmap90 "Qu=0x1251", // ቑ = ETHIOPIC SYLLABLE QHU
/dports/math/cvc4/CVC4-1.7/test/regress/regress3/
H A Dqwh.35.405.shuffled-as.sat03-1651.smt1259 :extrapreds ((x1251))
2865 (or (not x278) x1251)
3431 (or x1251 x1088)
5670 (or x389 x1251)
6095 (or x1251 x240)
6231 (or (not x932) x1251)
6589 (or x1251 (not x406))
7302 (or (not x962) x1251)
9266 (or x1506 x1251)
11861 (or x1251 x95)
[all …]
H A Dbmc-ibm-2.smt1261 :extrapreds ((x1251))
7223 (or (not x1251) x67)
7224 (or (not x1251) x1173)
7225 (or (not x1251) x1172)
7226 (or (not x1251) x1179)
7227 (or (not x1251) x1180)
7228 (or (not x1251) x1181)
7229 (or (not x1251) x1182)
7230 (or (not x1251) x882)
7240 (or x1255 (not x1251))
[all …]
H A Dfriedman_n6_i4.smt1260 :extrapreds ((x1251))
42460 (or (not x1274) (not x1189) x1251 x1250)
42468 (or (not x1251) (not x1189) x1274)
42546 (or (not x52) x1251 x1242 x1247)
42548 (or (not x1251) (not x1247) (not x52) x1242)
42550 (or (not x1251) x1242 x1247 x52)
42552 (or (not x1247) x1251 x1242 x52)
42554 (or (not x1242) (not x50) x1251 x1239 x1244)
42558 (or (not x1251) (not x1242) x1239 x1244 x50)
42560 (or (not x1242) (not x1244) x1251 x1239 x50)
[all …]
/dports/math/cvc4/CVC4-1.7/test/regress/regress4/
H A Dinstance_1151.smt1260 :extrapreds ((x1251))
3456 (or (not x1251) x1248 x1249)
3457 (or x1251 (not x1248) x1249)
3458 (or x1251 x1248 (not x1249))
3459 (or (not x1251) (not x1248) (not x1249))
4819 (or (not x1262) x1250 x1251)
4820 (or x1262 (not x1250) x1251)
4821 (or x1262 x1250 (not x1251))
4822 (or (not x1262) (not x1250) (not x1251))
H A DC880mul.miter.shuffled-as.sat03-348.smt1259 :extrapreds ((x1251))
2224 (or (not x661) (not x1251) x204)
2646 (or x1251 x661 x204)
4643 (or x513 x743 x1251)
6593 (or x1251 (not x1574))
6724 (or (not x1251) x276 (not x515) x661 x772)
7482 (or (not x772) x1251)
8427 (or (not x276) (not x1251) x661 x772 x515)
9061 (or x513 x1251 x282)
10761 (or x1251 (not x513) (not x282))
[all …]
/dports/science/dalton/dalton-66052b3af5ea7225e31178bf9a8b031913c72190/DALTON/srdft/srfunctionals/
H A DTPSS_ERFGWS_correlation.F3946 & x1251, x1252, x1253, x1254, x1255, x1256, x1257, x1258, x1259, x1
5557 x1251 = x1250*x329
5564 x1258 = x1246*x1248 - x1249*x1251 + x1252*x1254 - x1255*x1257
7202 &- x1248*x1253 *x2575 - x1250*x2563 + x1251*x2540 - x1251*x2576 - x
9691 & x1251, x1252, x1253, x1254, x1255, x1256, x1257, x1258, x1259, x1
11101 x1251 = 0.00398120975136941d0*x112
11338 x1465 = x1251*x1464
11344 &463) - x1251* x1466 - 0.0185789788397239d0*x1461 + 0.0112800942955
11492 &249*x583 + x1249) + x1251*x1252 - x1251*x1253)) + x642)
11602 d2E(7) = -x644*(x1498*(-x1251*x1549 + 0.00398120975136941d0*x1461
H A DPBE_ERFGWS_correlation.F1983 & x1251, x1252, x1253, x1254, x1255, x1256, x1257, x1258, x1259, x1
3382 x1251 = 0.0028538757753635d0*x696
4002 &234*x1251 + x1239*x1252 - x1240*x1254 - 0.0059503309916329d0*x1241
4129 &250*x672 + x1251*x693 + x1253*x690 - 0.0059503309916329d0*x699 + x
/dports/science/InsightToolkit/ITK-5.0.1/Testing/Data/Input/
H A D012345.002.050.README766 Element (2): 0x1251
/dports/www/links1/links-1.04/
H A Duni_7b.inc827 { 0x1251, "Qu" },
/dports/www/links/links-2.25/
H A Duni_7b.inc831 { 0x1251, "Qu" },
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/
H A Dbug2.smt1254 :extrapreds ((x1251))
7215 :assumption (or (not x1251) x67)
7216 :assumption (or (not x1251) x1173)
7217 :assumption (or (not x1251) x1172)
7218 :assumption (or (not x1251) x1179)
7219 :assumption (or (not x1251) x1180)
7220 :assumption (or (not x1251) x1181)
7221 :assumption (or (not x1251) x1182)
7222 :assumption (or (not x1251) x882)
7232 :assumption (or x1255 (not x1251))
[all …]
/dports/www/firefox-esr/firefox-91.8.0/security/nss/lib/freebl/ecl/
H A Decp_secp384r1.c8021 uint32_t x1251;
9082 fiat_secp384r1_addcarryx_u32(&x1251, &x1252, x1250, x1234, x1231);
9095 fiat_secp384r1_addcarryx_u32(&x1276, &x1277, x1275, x1204, x1251);
10591 uint32_t x1251;
11652 fiat_secp384r1_addcarryx_u32(&x1251, &x1252, x1250, x1234, x1231);
11665 fiat_secp384r1_addcarryx_u32(&x1276, &x1277, x1275, x1204, x1251);
/dports/security/ca_root_nss/nss-3.71/nss/lib/freebl/ecl/
H A Decp_secp384r1.c8021 uint32_t x1251; in fiat_secp384r1_mul() local
9082 fiat_secp384r1_addcarryx_u32(&x1251, &x1252, x1250, x1234, x1231); in fiat_secp384r1_mul()
9095 fiat_secp384r1_addcarryx_u32(&x1276, &x1277, x1275, x1204, x1251); in fiat_secp384r1_mul()
10591 uint32_t x1251; in fiat_secp384r1_square() local
11652 fiat_secp384r1_addcarryx_u32(&x1251, &x1252, x1250, x1234, x1231); in fiat_secp384r1_square()
11665 fiat_secp384r1_addcarryx_u32(&x1276, &x1277, x1275, x1204, x1251); in fiat_secp384r1_square()
/dports/www/firefox/firefox-99.0/security/nss/lib/freebl/ecl/
H A Decp_secp384r1.c8021 uint32_t x1251; in fiat_secp384r1_mul() local
9082 fiat_secp384r1_addcarryx_u32(&x1251, &x1252, x1250, x1234, x1231); in fiat_secp384r1_mul()
9095 fiat_secp384r1_addcarryx_u32(&x1276, &x1277, x1275, x1204, x1251); in fiat_secp384r1_mul()
10591 uint32_t x1251; in fiat_secp384r1_square() local
11652 fiat_secp384r1_addcarryx_u32(&x1251, &x1252, x1250, x1234, x1231); in fiat_secp384r1_square()
11665 fiat_secp384r1_addcarryx_u32(&x1276, &x1277, x1275, x1204, x1251); in fiat_secp384r1_square()
/dports/security/nss/nss-3.76.1/nss/lib/freebl/ecl/
H A Decp_secp384r1.c8021 uint32_t x1251; in fiat_secp384r1_mul() local
9082 fiat_secp384r1_addcarryx_u32(&x1251, &x1252, x1250, x1234, x1231); in fiat_secp384r1_mul()
9095 fiat_secp384r1_addcarryx_u32(&x1276, &x1277, x1275, x1204, x1251); in fiat_secp384r1_mul()
10591 uint32_t x1251; in fiat_secp384r1_square() local
11652 fiat_secp384r1_addcarryx_u32(&x1251, &x1252, x1250, x1234, x1231); in fiat_secp384r1_square()
11665 fiat_secp384r1_addcarryx_u32(&x1276, &x1277, x1275, x1204, x1251); in fiat_secp384r1_square()
/dports/mail/thunderbird/thunderbird-91.8.0/security/nss/lib/freebl/ecl/
H A Decp_secp384r1.c8021 uint32_t x1251; in fiat_secp384r1_mul() local
9082 fiat_secp384r1_addcarryx_u32(&x1251, &x1252, x1250, x1234, x1231); in fiat_secp384r1_mul()
9095 fiat_secp384r1_addcarryx_u32(&x1276, &x1277, x1275, x1204, x1251); in fiat_secp384r1_mul()
10591 uint32_t x1251; in fiat_secp384r1_square() local
11652 fiat_secp384r1_addcarryx_u32(&x1251, &x1252, x1250, x1234, x1231); in fiat_secp384r1_square()
11665 fiat_secp384r1_addcarryx_u32(&x1276, &x1277, x1275, x1204, x1251); in fiat_secp384r1_square()
/dports/www/adzap/adzap-20110915/rc/
H A Dpatterns2428 AD http://213.219.40.69/*-125x1251.gif
2430 AD http://(www*.|)theinquirer.net/*-125x1251.gif

123