| /dports/math/cloog/cloog-cloog-0.20.0/test/ |
| H A D | swim.c | 108 S82(p1);
228 S82(p1);
314 S82(p1);
390 S82(p1);
447 S82(p1);
504 S82(p1);
564 S82(p1);
640 S82(p1);
|
| H A D | swim.good.c | 91 #define S82(i) { hash(82); hash(i); } macro
255 S82(p1) ; in test()
375 S82(p1) ; in test()
461 S82(p1) ; in test()
537 S82(p1) ; in test()
594 S82(p1) ; in test()
651 S82(p1) ; in test()
711 S82(p1) ; in test()
787 S82(p1) ; in test()
|
| /dports/biology/molden/molden5.8/plush/ |
| H A D | S82 | 1 mol="S82" Charge="0"
|
| /dports/science/openbabel/openbabel-3.1.1/test/pdb_ligands_sdf/ |
| H A D | 3ant_s82.sdf | 117 S82
|
| /dports/science/octopus/octopus-10.5/external_libs/spglib-1.9.9/python/test/data/orthorhombic/ |
| H A D | POSCAR-016 | 197 0.6290000000000002 0.1239999999999999 0.8749999999999999 # S82
|
| /dports/science/spglib/spglib-1.16.2/python/test/data/orthorhombic/ |
| H A D | POSCAR-016 | 197 0.6290000000000002 0.1239999999999999 0.8749999999999999 # S82
|
| /dports/science/py-spglib/spglib-1.16.2/python/test/data/orthorhombic/ |
| H A D | POSCAR-016 | 197 0.6290000000000002 0.1239999999999999 0.8749999999999999 # S82
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/polly/lib/External/isl/test_inputs/codegen/cloog/ |
| H A D | swim.c | 103 S82(c0);
|
| H A D | swim.st | 1 …1] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= Q; S23[] : M = 1; S82[i0] : M = 1 and i0 …
55 …S83[i0]; S103[i0, i1, i2]; S71[i0]; S50[i0, i1]; S98[i0, i1]; S65[i0, i1]; S82[i0]; S109[i0, i1]; …
57 …0)]; S62[i0, i1] -> [(i0)]; S85[i0] -> [(i0)]; S105[i0, i1, i2] -> [(i0)]; S82[i0] -> [(i0)]; S111…
147 - filter: "[M, N, O, P, Q, R] -> { S82[i0] }"
|
| /dports/math/barvinok/barvinok-0.41.5/isl/test_inputs/codegen/cloog/ |
| H A D | swim.c | 103 S82(c0);
|
| H A D | swim.st | 1 …1] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= Q; S23[] : M = 1; S82[i0] : M = 1 and i0 …
55 …S83[i0]; S103[i0, i1, i2]; S71[i0]; S50[i0, i1]; S98[i0, i1]; S65[i0, i1]; S82[i0]; S109[i0, i1]; …
57 …0)]; S62[i0, i1] -> [(i0)]; S85[i0] -> [(i0)]; S105[i0, i1, i2] -> [(i0)]; S82[i0] -> [(i0)]; S111…
147 - filter: "[M, N, O, P, Q, R] -> { S82[i0] }"
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/polly/lib/External/isl/test_inputs/codegen/cloog/ |
| H A D | swim.c | 103 S82(c0);
|
| H A D | swim.st | 1 …1] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= Q; S23[] : M = 1; S82[i0] : M = 1 and i0 …
55 …S83[i0]; S103[i0, i1, i2]; S71[i0]; S50[i0, i1]; S98[i0, i1]; S65[i0, i1]; S82[i0]; S109[i0, i1]; …
57 …0)]; S62[i0, i1] -> [(i0)]; S85[i0] -> [(i0)]; S105[i0, i1, i2] -> [(i0)]; S82[i0] -> [(i0)]; S111…
147 - filter: "[M, N, O, P, Q, R] -> { S82[i0] }"
|
| /dports/devel/isl/isl-0.24/test_inputs/codegen/cloog/ |
| H A D | swim.c | 103 S82(c0);
|
| H A D | swim.st | 1 …1] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= Q; S23[] : M = 1; S82[i0] : M = 1 and i0 …
55 …S83[i0]; S103[i0, i1, i2]; S71[i0]; S50[i0, i1]; S98[i0, i1]; S65[i0, i1]; S82[i0]; S109[i0, i1]; …
57 …0)]; S62[i0, i1] -> [(i0)]; S85[i0] -> [(i0)]; S105[i0, i1, i2] -> [(i0)]; S82[i0] -> [(i0)]; S111…
147 - filter: "[M, N, O, P, Q, R] -> { S82[i0] }"
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/polly/lib/External/isl/test_inputs/codegen/cloog/ |
| H A D | swim.c | 103 S82(c0);
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/polly/lib/External/isl/test_inputs/codegen/cloog/ |
| H A D | swim.c | 103 S82(c0);
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/polly/lib/External/isl/test_inputs/codegen/cloog/ |
| H A D | swim.c | 103 S82(c0);
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/polly/lib/External/isl/test_inputs/codegen/cloog/ |
| H A D | swim.c | 103 S82(c0);
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/polly/lib/External/isl/test_inputs/codegen/cloog/ |
| H A D | swim.c | 103 S82(c0);
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/polly/lib/External/isl/test_inputs/codegen/cloog/ |
| H A D | swim.c | 103 S82(c0);
|
| /dports/devel/llvm13/llvm-project-13.0.1.src/polly/lib/External/isl/test_inputs/codegen/cloog/ |
| H A D | swim.c | 103 S82(c0);
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress1/nl/ |
| H A D | nl-help-unsat-quant.smt2 | 89 (declare-sort S82 0)
238 (declare-fun f138 (S82) S6)
241 (declare-fun f141 (S82 Int) S84)
251 (declare-fun f151 (S82) S89)
269 (declare-fun f169 () S82)
392 (assert (forall ((?v0 Int) (?v1 Int) (?v2 S82)) (= (= (f39 (f8 (f9 f10 ?v0) ?v1) (f138 ?v2)) f1) (<…
397 (assert (forall ((?v0 S82) (?v1 Int) (?v2 Int) (?v3 S6)) (=> (< (f139 f140 (f141 ?v0 ?v1)) (f139 f1…
402 (assert (forall ((?v0 S82) (?v1 Int) (?v2 Int) (?v3 S6)) (let ((?v_0 (f8 (f9 f10 ?v1) ?v2))) (=> (<…
|
| /dports/science/py-nilearn/nilearn-0.8.1/nilearn/datasets/tests/data/ |
| H A D | localizer_participants.tsv | 83 S82 20 F SHFJ F82 French
|
| /dports/news/golded+/golded-plus/golded+/goldlib/gcfg/ |
| H A D | gs_pop.h | 74 S81[82], S82[83], S83[84], S84[85], S85[86], typedef
|