Home
last modified time | relevance | path

Searched refs:x1277 (Results 1 – 25 of 71) sorted by relevance

123

/dports/textproc/scim-input-pad/scim-input-pad-0.1.3.1/data/
H A Dethiopic.pad.in28 0x1270 0x1271 0x1272 0x1273 0x1274 0x1275 0x1276 0x1277 -
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/liblouis/src/tables/
H A Dethio-g1.ctb130 letter \x1277 2345-1346
/dports/editors/emacs/emacs-27.2/etc/charsets/
H A DMULE-ethiopic.map112 0x223A 0x1277
/dports/editors/emacs-devel/emacs-4d1968b/admin/charsets/mapfiles/
H A DMULE-ethiopic.map112 0x223A 0x1277
/dports/editors/emacs/emacs-27.2/admin/charsets/mapfiles/
H A DMULE-ethiopic.map112 0x223A 0x1277
/dports/cad/opentimer/OpenTimer-18d28ff/benchmark/wb_dma/
H A Dwb_dma.timing772 rat x1277 210 210 220 220
773 load x1277 4.0
/dports/devel/liblouis/liblouis-3.20.0/tables/
H A Dethio-g1.ctb143 letter \x1277 2345-1346
/dports/math/cvc4/CVC4-1.7/test/regress/regress2/
H A Dfriedman_n4_i5.smt1286 :extrapreds ((x1277))
2223 (or (not x1943) x1942 x1285 x1277)
2225 (or (not x1942) (not x1277) x1285)
2226 (or (not x1942) (not x1285) x1277)
2501 (or (not x1910) x1909 x1281 x1277)
2503 (or (not x1909) (not x1277) x1281)
2504 (or (not x1909) (not x1281) x1277)
2686 (or (not x1888) x1887 x1285 x1277)
7972 (or (not x1277) (not x463))
7982 (or (not x1277) (not x462))
[all …]
/dports/misc/fq/fq-0.0.2/format/mp4/testdata/
H A Dav1.fqtest81 … 00 00 00 00 | .... | u: 0 0x1274-0x1277.7 (4)
/dports/math/cvc4/CVC4-1.7/test/regress/regress3/
H A Dqwh.35.405.shuffled-as.sat03-1651.smt1285 :extrapreds ((x1277))
2514 (or x1277 (not x38))
3591 (or x48 x1277)
5343 (or x1277 x47)
6417 (or x1550 x1277)
7993 (or x1027 x1277)
8359 (or x739 x1277)
8857 (or x1277 x364)
9312 (or x1390 x1277)
10250 (or x1277 x1014)
[all …]
H A Dbmc-ibm-2.smt1287 :extrapreds ((x1277))
7352 (or (not x66) (not x1173) (not x1172) (not x882) (not x1177) x1277)
7353 (or (not x1277) x66)
7354 (or (not x1277) x1173)
7355 (or (not x1277) x1172)
7356 (or (not x1277) x882)
7357 (or (not x1277) x1177)
7377 (or x1282 (not x1277))
7379 (or x1281 x1278 x1277 x1276 (not x1282))
H A Dfriedman_n6_i4.smt1286 :extrapreds ((x1277))
42122 (or (not x1341) x1278 x1277)
42128 (or (not x1320) (not x1277) x1341)
42320 (or (not x1284) (not x974) x1277)
42326 (or (not x1277) (not x1283) (not x974))
42332 (or (not x1277) (not x1281) (not x974))
42338 (or (not x1277) (not x1279) (not x974))
42354 (or (not x1283) (not x970) x1277)
42388 (or (not x1281) (not x967) x1277)
42422 (or (not x1279) (not x962) x1277)
[all …]
/dports/x11-fonts/inconsolata-ttf/fonts-efcbdc5/tools/encodings/
H A Dethiopic_unique-glyphs.nam114 0x1277 ETHIOPIC SYLLABLE TWA
/dports/editors/yudit/yudit-3.0.7/mytool/kmap/
H A DEthiopic.kmap125 "tWa=0x1277", // ቷ = ETHIOPIC SYLLABLE TWA
/dports/math/cvc4/CVC4-1.7/test/regress/regress4/
H A DC880mul.miter.shuffled-as.sat03-348.smt1285 :extrapreds ((x1277))
2109 (or x616 x1277)
3126 (or x1277 (not x626))
3170 (or x987 x1277)
3245 (or (not x1277) (not x1533) x553)
4833 (or x1277 x858 (not x970))
6541 (or x970 x1277 (not x544))
7231 (or x1277 (not x970) x544)
7942 (or x1533 x553 x1277)
8387 (or x970 x1277 (not x858))
[all …]
H A Dinstance_1151.smt1286 :extrapreds ((x1277))
2746 (or (not x1281) x1277 x1278)
2747 (or x1281 (not x1277) x1278)
2748 (or x1281 x1277 (not x1278))
2749 (or (not x1281) (not x1277) (not x1278))
3452 (or (not x1277) x60 x70)
3453 (or x1277 (not x60) x70)
3454 (or x1277 x60 (not x70))
3455 (or (not x1277) (not x60) (not x70))
/dports/science/dalton/dalton-66052b3af5ea7225e31178bf9a8b031913c72190/DALTON/srdft/srfunctionals/
H A DPBE_ERFGWS_correlation.F1985 &, x1270, x1271, x1272, x1273, x1274, x1275, x1276, x1277, x1278, x
3408 x1277 = 2.96092998598695d0*x1276
3474 x1343 = x1277*x201*x691
4009 &x1262 - x1184*x1278 - x1230*x1315 + x1232*x1235*x1265*x1277 *x575
4109 & x1724 + x1725*x812) - x1656*(-x1277*x1593* x826 + x1320*x1591*x22
H A DTPSS_ERFGWS_correlation.F3948 &, x1270, x1271, x1272, x1273, x1274, x1275, x1276, x1277, x1278, x
5585 x1277 = -x1276
5589 x1281 = -x1268 + x1277 - x1278 + x1279 - x1280
5632 x1322 = x1277 + x1306 + x1308 + x1310 - x1321
9693 &, x1270, x1271, x1272, x1273, x1274, x1275, x1276, x1277, x1278, x
11128 x1277 = x1263*x569
11197 x1338 = -0.0111473873038343d0*x1277 + x1337 + x624
11494 &57369365191717d0*x1277 + x1278*x622 + 0.03346875d0*x1279 + x1283)
/dports/www/links1/links-1.04/
H A Duni_7b.inc861 { 0x1277, "tWa" },
/dports/www/links/links-2.25/
H A Duni_7b.inc865 { 0x1277, "tWa" },
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/
H A Dbug2.smt1280 :extrapreds ((x1277))
7344 :assumption (or (not x66) (not x1173) (not x1172) (not x882) (not x1177) x1277)
7345 :assumption (or (not x1277) x66)
7346 :assumption (or (not x1277) x1173)
7347 :assumption (or (not x1277) x1172)
7348 :assumption (or (not x1277) x882)
7349 :assumption (or (not x1277) x1177)
7369 :assumption (or x1282 (not x1277))
7371 :assumption (or x1281 x1278 x1277 x1276 (not x1282))
/dports/www/firefox-esr/firefox-91.8.0/security/nss/lib/freebl/ecl/
H A Decp_secp384r1.c8047 fiat_secp384r1_uint1 x1277;
9095 fiat_secp384r1_addcarryx_u32(&x1276, &x1277, x1275, x1204, x1251);
9096 fiat_secp384r1_addcarryx_u32(&x1278, &x1279, x1277, x1206, x1253);
10617 fiat_secp384r1_uint1 x1277;
11665 fiat_secp384r1_addcarryx_u32(&x1276, &x1277, x1275, x1204, x1251);
11666 fiat_secp384r1_addcarryx_u32(&x1278, &x1279, x1277, x1206, x1253);
/dports/security/ca_root_nss/nss-3.71/nss/lib/freebl/ecl/
H A Decp_secp384r1.c8047 fiat_secp384r1_uint1 x1277; in fiat_secp384r1_mul() local
9095 fiat_secp384r1_addcarryx_u32(&x1276, &x1277, x1275, x1204, x1251); in fiat_secp384r1_mul()
9096 fiat_secp384r1_addcarryx_u32(&x1278, &x1279, x1277, x1206, x1253); in fiat_secp384r1_mul()
10617 fiat_secp384r1_uint1 x1277; in fiat_secp384r1_square() local
11665 fiat_secp384r1_addcarryx_u32(&x1276, &x1277, x1275, x1204, x1251); in fiat_secp384r1_square()
11666 fiat_secp384r1_addcarryx_u32(&x1278, &x1279, x1277, x1206, x1253); in fiat_secp384r1_square()
/dports/www/firefox/firefox-99.0/security/nss/lib/freebl/ecl/
H A Decp_secp384r1.c8047 fiat_secp384r1_uint1 x1277; in fiat_secp384r1_mul() local
9095 fiat_secp384r1_addcarryx_u32(&x1276, &x1277, x1275, x1204, x1251); in fiat_secp384r1_mul()
9096 fiat_secp384r1_addcarryx_u32(&x1278, &x1279, x1277, x1206, x1253); in fiat_secp384r1_mul()
10617 fiat_secp384r1_uint1 x1277; in fiat_secp384r1_square() local
11665 fiat_secp384r1_addcarryx_u32(&x1276, &x1277, x1275, x1204, x1251); in fiat_secp384r1_square()
11666 fiat_secp384r1_addcarryx_u32(&x1278, &x1279, x1277, x1206, x1253); in fiat_secp384r1_square()
/dports/security/nss/nss-3.76.1/nss/lib/freebl/ecl/
H A Decp_secp384r1.c8047 fiat_secp384r1_uint1 x1277; in fiat_secp384r1_mul() local
9095 fiat_secp384r1_addcarryx_u32(&x1276, &x1277, x1275, x1204, x1251); in fiat_secp384r1_mul()
9096 fiat_secp384r1_addcarryx_u32(&x1278, &x1279, x1277, x1206, x1253); in fiat_secp384r1_mul()
10617 fiat_secp384r1_uint1 x1277; in fiat_secp384r1_square() local
11665 fiat_secp384r1_addcarryx_u32(&x1276, &x1277, x1275, x1204, x1251); in fiat_secp384r1_square()
11666 fiat_secp384r1_addcarryx_u32(&x1278, &x1279, x1277, x1206, x1253); in fiat_secp384r1_square()

123