Home
last modified time | relevance | path

Searched refs:x1372 (Results 1 – 25 of 86) sorted by relevance

1234

/dports/textproc/scim-input-pad/scim-input-pad-0.1.3.1/data/
H A Dethiopic.pad.in11 0x1372 0x1373 0x1374 0x1375 0x1376
66 0x1370 0x1371 0x1372 0x1373 0x1374 0x1375 0x1376 0x1377 -
/dports/editors/emacs/emacs-27.2/etc/charsets/
H A DMULE-ethiopic.map336 0x2479 0x1372
/dports/editors/emacs-devel/emacs-4d1968b/admin/charsets/mapfiles/
H A DMULE-ethiopic.map336 0x2479 0x1372
/dports/editors/emacs/emacs-27.2/admin/charsets/mapfiles/
H A DMULE-ethiopic.map336 0x2479 0x1372
/dports/x11-fonts/inconsolata-ttf/fonts-efcbdc5/tools/encodings/
H A Dethiopic_unique-glyphs.nam347 0x1372 ETHIOPIC NUMBER TEN
/dports/editors/yudit/yudit-3.0.7/mytool/kmap/
H A DEthiopic.kmap374 "`10=0x1372", // ፲ = ETHIOPIC NUMBER TEN
/dports/math/cvc4/CVC4-1.7/test/regress/regress3/
H A Dqwh.35.405.shuffled-as.sat03-1651.smt1380 :extrapreds ((x1372))
5012 (or (not x1372) x560)
5435 (or x1035 (not x1372))
5646 (or (not x1372) x1118)
5876 (or (not x1372) x792)
7104 (or x799 (not x1372))
8115 (or (not x1372) x941)
8392 (or x593 (not x1372))
10501 (or (not x852) (not x1372))
11198 (or x589 (not x1372))
[all …]
H A Dbmc-ibm-2.smt1382 :extrapreds ((x1372))
7867 (or x67 (not x1371) x1372)
7868 (or (not x1372) (not x67))
7869 (or (not x1372) x1371)
7870 (or x1373 (not x1372))
7876 (or x1372 (not x1253) (not x882) x1352 x1353 x1352 (not x1373))
/dports/math/cvc4/CVC4-1.7/test/regress/regress4/
H A Dinstance_1151.smt1381 :extrapreds ((x1372))
5777 (or (not x1372) x2 x26)
5778 (or x1372 (not x2) x26)
5779 (or x1372 x2 (not x26))
5780 (or (not x1372) (not x2) (not x26))
6282 (or (not x1384) x1372 x1373)
6283 (or x1384 (not x1372) x1373)
6284 (or x1384 x1372 (not x1373))
6285 (or (not x1384) (not x1372) (not x1373))
H A DC880mul.miter.shuffled-as.sat03-348.smt1380 :extrapreds ((x1372))
1718 (or (not x1372) (not x1012) (not x452))
3900 (or x452 x1456 x1372)
4121 (or x1456 (not x452) (not x1372))
5463 (or x452 (not x1012) x1372)
6258 (or x193 x452 x1491 x162 (not x1372))
6561 (or x1372 (not x1150))
8143 (or (not x1372) x452 x1150 x162 x1491)
9018 (or (not x1372) x162 x452 x1491 x1012)
10407 (or (not x452) x162 x1372 x1012 x1491)
[all …]
/dports/science/dalton/dalton-66052b3af5ea7225e31178bf9a8b031913c72190/DALTON/srdft/srfunctionals/
H A DPBE_ERFGWS_correlation.F1995 &x1364, x1365, x1366, x1367, x1368, x1369, x1370, x1371, x1372, x13
3507 x1372 = x1370 - x1371 + x909
3509 x1374 = x1372*x1373
3513 x1378 = x1372*x934
3660 & x1372*x1393 - x1376*x1406 + x1378 + x1398*x264 + x1411 + x724* x9
H A DTPSS_ERFGWS_correlation.F3958 &x1364, x1365, x1366, x1367, x1368, x1369, x1370, x1371, x1372, x13
5682 x1372 = x1370 + x1371
5683 x1373 = x131*x1372
7672 x2948 = x1620*(x1366*x2935 + x1372*x1592*x2947*x441 + x1591*x2946
9703 &x1364, x1365, x1366, x1367, x1368, x1369, x1370, x1371, x1372, x13
11231 x1372 = x1349*x53
11232 x1373 = x102*(x1353*x1366 + x1371*x1372 + x355)
11249 x1390 = x1372*x596
11327 x1457 = -x605*(-x103*(x1222*x1389*x1444 + x1226*x1372*(6.0d0*x1386
/dports/math/cvc4/CVC4-1.7/test/regress/regress2/
H A Dfriedman_n4_i5.smt1381 :extrapreds ((x1372))
7455 (or (not x1373) (not x27) x1376 x1372 x1221)
7457 (or (not x1376) (not x1373) x1372 x1221 x27)
7458 (or (not x1373) (not x1221) x1376 x1372 x27)
7459 (or (not x1372) (not x1356) x1376 x1371 x1220)
7475 (or (not x1373) x1372 x1221 x1208)
7477 (or (not x1372) (not x1221) x1208)
7478 (or (not x1372) (not x1208) x1221)
7479 (or (not x1372) x1373)
7480 (or (not x1372) x1371 x1220 x1209)
[all …]
/dports/www/links1/links-1.04/
H A Duni_7b.inc1088 { 0x1372, "`10" },
/dports/www/links/links-2.25/
H A Duni_7b.inc1092 { 0x1372, "`10" },
/dports/textproc/rnv/rnv-1.7.11/scm/
H A Drx-ranges.scm388 (#xF2A . #xF33) (#x1372 . #x137C) (#x2070 . #x2070) (#x2074 . #x2079)
/dports/www/firefox-esr/firefox-91.8.0/security/nss/lib/freebl/ecl/
H A Decp_secp384r1.c8142 uint32_t x1372;
9144 fiat_secp384r1_mulx_u32(&x1372, &x1373, x10, (arg2[3]));
9150 fiat_secp384r1_addcarryx_u32(&x1384, &x1385, x1383, x1375, x1372);
10712 uint32_t x1372;
11714 fiat_secp384r1_mulx_u32(&x1372, &x1373, x10, (arg1[3]));
11720 fiat_secp384r1_addcarryx_u32(&x1384, &x1385, x1383, x1375, x1372);
/dports/security/ca_root_nss/nss-3.71/nss/lib/freebl/ecl/
H A Decp_secp384r1.c8142 uint32_t x1372; in fiat_secp384r1_mul() local
9144 fiat_secp384r1_mulx_u32(&x1372, &x1373, x10, (arg2[3])); in fiat_secp384r1_mul()
9150 fiat_secp384r1_addcarryx_u32(&x1384, &x1385, x1383, x1375, x1372); in fiat_secp384r1_mul()
10712 uint32_t x1372; in fiat_secp384r1_square() local
11714 fiat_secp384r1_mulx_u32(&x1372, &x1373, x10, (arg1[3])); in fiat_secp384r1_square()
11720 fiat_secp384r1_addcarryx_u32(&x1384, &x1385, x1383, x1375, x1372); in fiat_secp384r1_square()
/dports/www/firefox/firefox-99.0/security/nss/lib/freebl/ecl/
H A Decp_secp384r1.c8142 uint32_t x1372; in fiat_secp384r1_mul() local
9144 fiat_secp384r1_mulx_u32(&x1372, &x1373, x10, (arg2[3])); in fiat_secp384r1_mul()
9150 fiat_secp384r1_addcarryx_u32(&x1384, &x1385, x1383, x1375, x1372); in fiat_secp384r1_mul()
10712 uint32_t x1372; in fiat_secp384r1_square() local
11714 fiat_secp384r1_mulx_u32(&x1372, &x1373, x10, (arg1[3])); in fiat_secp384r1_square()
11720 fiat_secp384r1_addcarryx_u32(&x1384, &x1385, x1383, x1375, x1372); in fiat_secp384r1_square()
/dports/security/nss/nss-3.76.1/nss/lib/freebl/ecl/
H A Decp_secp384r1.c8142 uint32_t x1372; in fiat_secp384r1_mul() local
9144 fiat_secp384r1_mulx_u32(&x1372, &x1373, x10, (arg2[3])); in fiat_secp384r1_mul()
9150 fiat_secp384r1_addcarryx_u32(&x1384, &x1385, x1383, x1375, x1372); in fiat_secp384r1_mul()
10712 uint32_t x1372; in fiat_secp384r1_square() local
11714 fiat_secp384r1_mulx_u32(&x1372, &x1373, x10, (arg1[3])); in fiat_secp384r1_square()
11720 fiat_secp384r1_addcarryx_u32(&x1384, &x1385, x1383, x1375, x1372); in fiat_secp384r1_square()
/dports/mail/thunderbird/thunderbird-91.8.0/security/nss/lib/freebl/ecl/
H A Decp_secp384r1.c8142 uint32_t x1372; in fiat_secp384r1_mul() local
9144 fiat_secp384r1_mulx_u32(&x1372, &x1373, x10, (arg2[3])); in fiat_secp384r1_mul()
9150 fiat_secp384r1_addcarryx_u32(&x1384, &x1385, x1383, x1375, x1372); in fiat_secp384r1_mul()
10712 uint32_t x1372; in fiat_secp384r1_square() local
11714 fiat_secp384r1_mulx_u32(&x1372, &x1373, x10, (arg1[3])); in fiat_secp384r1_square()
11720 fiat_secp384r1_addcarryx_u32(&x1384, &x1385, x1383, x1375, x1372); in fiat_secp384r1_square()
/dports/misc/dartsim/dart-6.11.1/unittests/unit/
H A DGeneratedWamIkFast.cpp16324 IkReal x1372 in ComputeIk() local
16327 = ((1.0) * x1372); in ComputeIk()
16342 * x1372); in ComputeIk()
16384 * x1372)) in ComputeIk()
H A DSharedLibraryWamIkFast.cpp16336 IkReal x1372 in ComputeIk() local
16339 = ((1.0) * x1372); in ComputeIk()
16354 * x1372); in ComputeIk()
16396 * x1372)) in ComputeIk()
/dports/misc/dartsim/dart-6.11.1/examples/wam_ikfast/ikfast/
H A Dikfast71.Transform6D.4_6_9_10_11_12_f8.cpp5613 IkReal x1372=IKcos(j4); in ComputeIk() local
5614 IkReal x1373=((1.0)*x1372); in ComputeIk()
5621 IkReal x1380=(px*sj6*x1372); in ComputeIk()
5627 evalcond[4]=((-0.2125)+(((-0.09)*py*x1372))+(((0.09)*x1378))+(((1.1)*x1379))+(((1.1)*x1381))+(((1.1… in ComputeIk()
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/rt.equinox.p2/bundles/org.eclipse.equinox.p2.tests/testData/sat4j/
H A DBug247638.opb3398 -1 x910 +1 x1372 >= 0;
4361 -1 x999 +1 x1372 >= 0;
6891 -1 x238 +1 x1372 >= 0;
9416 -1 x240 +1 x1372 >= 0;
13041 -1 x678 +1 x1372 >= 0;
13121 -1 x679 +1 x1372 >= 0;
13545 -1 x706 +1 x1372 >= 0;
13810 -1 x721 +1 x1372 >= 0;
14193 -1 x745 +1 x1372 >= 0;
21476 -1 x1372 +1 x54 >= 0;
[all …]

1234