/dports/math/reduce/Reduce-svn5758-src/packages/linalg/ |
H A D | linalg.tst | 230 3*x259+4*x261+3*x262+2*x263+x269+2*x270+3*x271+4*x272+5*x273+x229=2, 231 7*x259+11*x261+8*x262+5*x263+3*x269+6*x270+9*x271+12*x272+15*x273+x229=4, 232 2*x259+5*x261+4*x262+3*x263+3*x268+4*x269+5*x270+6*x271+7*x272+8*x273=1, 233 x262+2*x263+5*x268+4*x269+3*x270+2*x271+x272+2*x229=1, 234 x259+x262+2*x263+4*x268+3*x269+2*x270+x271-x273+3*x229=2, 235 x259+2*x261+2*x262+2*x263+3*x268+3*x269+3*x270+3*x271+3*x272+3*x273+x229=1, 236 x259+x261+x262+x263+x268+x269+x270+x271+x272+x273+x229=1});
|
H A D | linalg.rlg | 1566 3*x259+4*x261+3*x262+2*x263+x269+2*x270+3*x271+4*x272+5*x273+x229=2, 1567 7*x259+11*x261+8*x262+5*x263+3*x269+6*x270+9*x271+12*x272+15*x273+x229=4, 1568 2*x259+5*x261+4*x262+3*x263+3*x268+4*x269+5*x270+6*x271+7*x272+8*x273=1, 1569 x262+2*x263+5*x268+4*x269+3*x270+2*x271+x272+2*x229=1, 1570 x259+x262+2*x263+4*x268+3*x269+2*x270+x271-x273+3*x229=2, 1571 x259+2*x261+2*x262+2*x263+3*x268+3*x269+3*x270+3*x271+3*x272+3*x273+x229=1, 1572 x259+x261+x262+x263+x268+x269+x270+x271+x272+x273+x229=1}); 1585 x263 = 0,
|
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/test/Analysis/ |
H A D | pr22954.c | 553 struct xx x263 = {0}; in f263() local 554 x263.s2 = strdup("hello"); in f263() 556 memcpy(x263.s1, input, *(len + n)); in f263() 557 clang_analyzer_eval(x263.s1[0] == 0); // expected-warning{{UNKNOWN}} in f263() 558 clang_analyzer_eval(x263.s1[1] == 0); // expected-warning{{UNKNOWN}} in f263() 559 clang_analyzer_eval(x263.s1[2] == 0); // expected-warning{{UNKNOWN}} in f263() 560 clang_analyzer_eval(x263.s1[3] == 0); // expected-warning{{UNKNOWN}} in f263() 561 clang_analyzer_eval(x263.s2 == 0); // expected-warning{{UNKNOWN}} in f263()
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/test/Analysis/ |
H A D | pr22954.c | 555 struct xx x263 = {0}; in f263() local 556 x263.s2 = strdup("hello"); in f263() 558 memcpy(x263.s1, input, *(len + n)); in f263() 559 clang_analyzer_eval(x263.s1[0] == 0); // expected-warning{{UNKNOWN}} in f263() 560 clang_analyzer_eval(x263.s1[1] == 0); // expected-warning{{UNKNOWN}} in f263() 561 clang_analyzer_eval(x263.s1[2] == 0); // expected-warning{{UNKNOWN}} in f263() 562 clang_analyzer_eval(x263.s1[3] == 0); // expected-warning{{UNKNOWN}} in f263() 563 clang_analyzer_eval(x263.s2 == 0); // expected-warning{{UNKNOWN}} in f263()
|
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/test/Analysis/ |
H A D | pr22954.c | 555 struct xx x263 = {0}; in f263() local 556 x263.s2 = strdup("hello"); in f263() 558 memcpy(x263.s1, input, *(len + n)); in f263() 559 clang_analyzer_eval(x263.s1[0] == 0); // expected-warning{{UNKNOWN}} in f263() 560 clang_analyzer_eval(x263.s1[1] == 0); // expected-warning{{UNKNOWN}} in f263() 561 clang_analyzer_eval(x263.s1[2] == 0); // expected-warning{{UNKNOWN}} in f263() 562 clang_analyzer_eval(x263.s1[3] == 0); // expected-warning{{UNKNOWN}} in f263() 563 clang_analyzer_eval(x263.s2 == 0); // expected-warning{{UNKNOWN}} in f263()
|
/dports/devel/llvm12/llvm-project-12.0.1.src/clang/test/Analysis/ |
H A D | pr22954.c | 555 struct xx x263 = {0}; in f263() local 556 x263.s2 = strdup("hello"); in f263() 558 memcpy(x263.s1, input, *(len + n)); in f263() 559 clang_analyzer_eval(x263.s1[0] == 0); // expected-warning{{UNKNOWN}} in f263() 560 clang_analyzer_eval(x263.s1[1] == 0); // expected-warning{{UNKNOWN}} in f263() 561 clang_analyzer_eval(x263.s1[2] == 0); // expected-warning{{UNKNOWN}} in f263() 562 clang_analyzer_eval(x263.s1[3] == 0); // expected-warning{{UNKNOWN}} in f263() 563 clang_analyzer_eval(x263.s2 == 0); // expected-warning{{UNKNOWN}} in f263()
|
/dports/devel/llvm11/llvm-11.0.1.src/tools/clang/test/Analysis/ |
H A D | pr22954.c | 553 struct xx x263 = {0}; in f263() local 554 x263.s2 = strdup("hello"); in f263() 556 memcpy(x263.s1, input, *(len + n)); in f263() 557 clang_analyzer_eval(x263.s1[0] == 0); // expected-warning{{UNKNOWN}} in f263() 558 clang_analyzer_eval(x263.s1[1] == 0); // expected-warning{{UNKNOWN}} in f263() 559 clang_analyzer_eval(x263.s1[2] == 0); // expected-warning{{UNKNOWN}} in f263() 560 clang_analyzer_eval(x263.s1[3] == 0); // expected-warning{{UNKNOWN}} in f263() 561 clang_analyzer_eval(x263.s2 == 0); // expected-warning{{UNKNOWN}} in f263()
|
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/test/Analysis/ |
H A D | pr22954.c | 553 struct xx x263 = {0}; in f263() local 554 x263.s2 = strdup("hello"); in f263() 556 memcpy(x263.s1, input, *(len + n)); in f263() 557 clang_analyzer_eval(x263.s1[0] == 0); // expected-warning{{UNKNOWN}} in f263() 558 clang_analyzer_eval(x263.s1[1] == 0); // expected-warning{{UNKNOWN}} in f263() 559 clang_analyzer_eval(x263.s1[2] == 0); // expected-warning{{UNKNOWN}} in f263() 560 clang_analyzer_eval(x263.s1[3] == 0); // expected-warning{{UNKNOWN}} in f263() 561 clang_analyzer_eval(x263.s2 == 0); // expected-warning{{UNKNOWN}} in f263()
|
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/test/Analysis/ |
H A D | pr22954.c | 555 struct xx x263 = {0}; in f263() local 556 x263.s2 = strdup("hello"); in f263() 558 memcpy(x263.s1, input, *(len + n)); in f263() 559 clang_analyzer_eval(x263.s1[0] == 0); // expected-warning{{UNKNOWN}} in f263() 560 clang_analyzer_eval(x263.s1[1] == 0); // expected-warning{{UNKNOWN}} in f263() 561 clang_analyzer_eval(x263.s1[2] == 0); // expected-warning{{UNKNOWN}} in f263() 562 clang_analyzer_eval(x263.s1[3] == 0); // expected-warning{{UNKNOWN}} in f263() 563 clang_analyzer_eval(x263.s2 == 0); // expected-warning{{UNKNOWN}} in f263()
|
/dports/devel/llvm10/llvm-10.0.1.src/tools/clang/test/Analysis/ |
H A D | pr22954.c | 553 struct xx x263 = {0}; in f263() local 554 x263.s2 = strdup("hello"); in f263() 556 memcpy(x263.s1, input, *(len + n)); in f263() 557 clang_analyzer_eval(x263.s1[0] == 0); // expected-warning{{UNKNOWN}} in f263() 558 clang_analyzer_eval(x263.s1[1] == 0); // expected-warning{{UNKNOWN}} in f263() 559 clang_analyzer_eval(x263.s1[2] == 0); // expected-warning{{UNKNOWN}} in f263() 560 clang_analyzer_eval(x263.s1[3] == 0); // expected-warning{{UNKNOWN}} in f263() 561 clang_analyzer_eval(x263.s2 == 0); // expected-warning{{UNKNOWN}} in f263()
|
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/test/Analysis/ |
H A D | pr22954.c | 555 struct xx x263 = {0}; in f263() local 556 x263.s2 = strdup("hello"); in f263() 558 memcpy(x263.s1, input, *(len + n)); in f263() 559 clang_analyzer_eval(x263.s1[0] == 0); // expected-warning{{UNKNOWN}} in f263() 560 clang_analyzer_eval(x263.s1[1] == 0); // expected-warning{{UNKNOWN}} in f263() 561 clang_analyzer_eval(x263.s1[2] == 0); // expected-warning{{UNKNOWN}} in f263() 562 clang_analyzer_eval(x263.s1[3] == 0); // expected-warning{{UNKNOWN}} in f263() 563 clang_analyzer_eval(x263.s2 == 0); // expected-warning{{UNKNOWN}} in f263()
|
/dports/devel/llvm90/llvm-9.0.1.src/tools/clang/test/Analysis/ |
H A D | pr22954.c | 553 struct xx x263 = {0}; in f263() local 554 x263.s2 = strdup("hello"); in f263() 556 memcpy(x263.s1, input, *(len + n)); in f263() 557 clang_analyzer_eval(x263.s1[0] == 0); // expected-warning{{UNKNOWN}} in f263() 558 clang_analyzer_eval(x263.s1[1] == 0); // expected-warning{{UNKNOWN}} in f263() 559 clang_analyzer_eval(x263.s1[2] == 0); // expected-warning{{UNKNOWN}} in f263() 560 clang_analyzer_eval(x263.s1[3] == 0); // expected-warning{{UNKNOWN}} in f263() 561 clang_analyzer_eval(x263.s2 == 0); // expected-warning{{UNKNOWN}} in f263()
|
/dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/test/Analysis/ |
H A D | pr22954.c | 555 struct xx x263 = {0}; in f263() local 556 x263.s2 = strdup("hello"); in f263() 558 memcpy(x263.s1, input, *(len + n)); in f263() 559 clang_analyzer_eval(x263.s1[0] == 0); // expected-warning{{UNKNOWN}} in f263() 560 clang_analyzer_eval(x263.s1[1] == 0); // expected-warning{{UNKNOWN}} in f263() 561 clang_analyzer_eval(x263.s1[2] == 0); // expected-warning{{UNKNOWN}} in f263() 562 clang_analyzer_eval(x263.s1[3] == 0); // expected-warning{{UNKNOWN}} in f263() 563 clang_analyzer_eval(x263.s2 == 0); // expected-warning{{UNKNOWN}} in f263()
|
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/clang/test/Analysis/ |
H A D | pr22954.c | 555 struct xx x263 = {0}; in f263() local 556 x263.s2 = strdup("hello"); in f263() 558 memcpy(x263.s1, input, *(len + n)); in f263() 559 clang_analyzer_eval(x263.s1[0] == 0); // expected-warning{{UNKNOWN}} in f263() 560 clang_analyzer_eval(x263.s1[1] == 0); // expected-warning{{UNKNOWN}} in f263() 561 clang_analyzer_eval(x263.s1[2] == 0); // expected-warning{{UNKNOWN}} in f263() 562 clang_analyzer_eval(x263.s1[3] == 0); // expected-warning{{UNKNOWN}} in f263() 563 clang_analyzer_eval(x263.s2 == 0); // expected-warning{{UNKNOWN}} in f263()
|
/dports/devel/llvm13/llvm-project-13.0.1.src/clang/test/Analysis/ |
H A D | pr22954.c | 555 struct xx x263 = {0}; in f263() local 556 x263.s2 = strdup("hello"); in f263() 558 memcpy(x263.s1, input, *(len + n)); in f263() 559 clang_analyzer_eval(x263.s1[0] == 0); // expected-warning{{UNKNOWN}} in f263() 560 clang_analyzer_eval(x263.s1[1] == 0); // expected-warning{{UNKNOWN}} in f263() 561 clang_analyzer_eval(x263.s1[2] == 0); // expected-warning{{UNKNOWN}} in f263() 562 clang_analyzer_eval(x263.s1[3] == 0); // expected-warning{{UNKNOWN}} in f263() 563 clang_analyzer_eval(x263.s2 == 0); // expected-warning{{UNKNOWN}} in f263()
|
/dports/devel/llvm80/llvm-8.0.1.src/tools/clang/test/Analysis/ |
H A D | pr22954.c | 553 struct xx x263 = {0}; 554 x263.s2 = strdup("hello"); 556 memcpy(x263.s1, input, *(len + n)); 557 clang_analyzer_eval(x263.s1[0] == 0); // expected-warning{{UNKNOWN}} 558 clang_analyzer_eval(x263.s1[1] == 0); // expected-warning{{UNKNOWN}} 559 clang_analyzer_eval(x263.s1[2] == 0); // expected-warning{{UNKNOWN}} 560 clang_analyzer_eval(x263.s1[3] == 0); // expected-warning{{UNKNOWN}} 561 clang_analyzer_eval(x263.s2 == 0); // expected-warning{{UNKNOWN}}
|
/dports/devel/llvm70/llvm-7.0.1.src/tools/clang/test/Analysis/ |
H A D | pr22954.c | 553 struct xx x263 = {0}; 554 x263.s2 = strdup("hello"); 556 memcpy(x263.s1, input, *(len + n)); 557 clang_analyzer_eval(x263.s1[0] == 0); // expected-warning{{UNKNOWN}} 558 clang_analyzer_eval(x263.s1[1] == 0); // expected-warning{{UNKNOWN}} 559 clang_analyzer_eval(x263.s1[2] == 0); // expected-warning{{UNKNOWN}} 560 clang_analyzer_eval(x263.s1[3] == 0); // expected-warning{{UNKNOWN}} 561 clang_analyzer_eval(x263.s2 == 0); // expected-warning{{UNKNOWN}}
|
/dports/lang/clang-mesa/clang-13.0.1.src/test/Analysis/ |
H A D | pr22954.c | 555 struct xx x263 = {0}; in f263() local 556 x263.s2 = strdup("hello"); in f263() 558 memcpy(x263.s1, input, *(len + n)); in f263() 559 clang_analyzer_eval(x263.s1[0] == 0); // expected-warning{{UNKNOWN}} in f263() 560 clang_analyzer_eval(x263.s1[1] == 0); // expected-warning{{UNKNOWN}} in f263() 561 clang_analyzer_eval(x263.s1[2] == 0); // expected-warning{{UNKNOWN}} in f263() 562 clang_analyzer_eval(x263.s1[3] == 0); // expected-warning{{UNKNOWN}} in f263() 563 clang_analyzer_eval(x263.s2 == 0); // expected-warning{{UNKNOWN}} in f263()
|
/dports/x11-fonts/font-manager/font-manager-0.8.7/lib/orthographies/ |
H A D | HKSCS | 80 0x263,
|
H A D | IPA | 80 0x263,
|
/dports/math/py-mip/mip-1.13.0/test/data/ |
H A D | 2050_3_7.lp | 27 …000 x256 -0.10000 x257 -0.10000 x259 -0.10000 x260 -0.10000 x262 -0.10000 x263 -0.10000 x264 -0.10… 35 cons2: x2 + x17 + x27 + x159 + x197 + x215 + x227 + x247 + x263 + x285 316 cons266: x261 - x263 >= -0 895 cons845: x263 + x265 <= 1 896 cons846: x263 + x267 <= 1 897 cons847: x263 + x268 <= 1 898 cons848: x263 + x269 <= 1 899 cons849: x263 + x270 <= 1 900 cons850: x263 + x271 <= 1 1249 0 <= x263 <= 1 [all …]
|
/dports/multimedia/py-guessit/guessit-3.3.1/guessit/test/rules/ |
H A D | video_codec.yml | 36 ? x263
|
/dports/net-p2p/bazarr/bazarr-1.0.2/libs/guessit/test/rules/ |
H A D | video_codec.yml | 36 ? x263
|
/dports/math/reduce/Reduce-svn5758-src/packages/redlog/ofsf/ |
H A D | ofsf.rlg | 1519 3*x259+4*x261+3*x262+2*x263+x269+2*x270+3*x271+4*x272+5*x273+x229=2, 1520 7*x259+11*x261+8*x262+5*x263+3*x269+6*x270+9*x271+12*x272+15*x273+x229=4, 1521 2*x259+5*x261+4*x262+3*x263+3*x268+4*x269+5*x270+6*x271+7*x272+8*x273=1, 1522 x262+2*x263+5*x268+4*x269+3*x270+2*x271+x272+2*x229=1, 1523 x259+x262+2*x263+4*x268+3*x269+2*x270+x271-x273+3*x229=2, 1525 x259+x261+x262+x263+x268+x269+x270+x271+x272+x273+x229=1}; 1528 dong := {x229 + 3*x259 + 4*x261 + 3*x262 + 2*x263 + x269 + 2*x270 + 3*x271 1546 x229 + x259 + 2*x261 + 2*x262 + 2*x263 + 3*x268 + 3*x269 + 3*x270 1550 x229 + x259 + x261 + x262 + x263 + x268 + x269 + x270 + x271 + x272 1565 x259 = (x262 + 2*x263 + 7*x268 + 6*x269 + 5*x270 + 4*x271 + 3*x272 [all …]
|
/dports/math/SCIP/scip-7.0.3/check/mipstarts/ |
H A D | vpm2.fzn.mst | 45 x263 0.875 (obj:0)
|