Home
last modified time | relevance | path

Searched refs:x1 (Results 201 – 225 of 51771) sorted by relevance

12345678910>>...2071

/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/llvm/test/Bitcode/
H A DbitwiseInstructions.3.2.ll10 ; CHECK: %res1 = shl i8 %x1, %x1
11 %res1 = shl i8 %x1, %x1
14 %res2 = shl nuw i8 %x1, %x1
17 %res3 = shl nsw i8 %x1, %x1
20 %res4 = shl nuw nsw i8 %x1, %x1
28 %res1 = lshr i8 %x1, %x1
31 %res2 = lshr exact i8 %x1, %x1
39 %res1 = ashr i8 %x1, %x1
50 %res1 = and i8 %x1, %x1
58 %res1 = or i8 %x1, %x1
[all …]
/dports/graphics/llvm-mesa/llvm-13.0.1.src/test/Bitcode/
H A DbitwiseInstructions.3.2.ll10 ; CHECK: %res1 = shl i8 %x1, %x1
11 %res1 = shl i8 %x1, %x1
14 %res2 = shl nuw i8 %x1, %x1
17 %res3 = shl nsw i8 %x1, %x1
20 %res4 = shl nuw nsw i8 %x1, %x1
28 %res1 = lshr i8 %x1, %x1
31 %res2 = lshr exact i8 %x1, %x1
39 %res1 = ashr i8 %x1, %x1
50 %res1 = and i8 %x1, %x1
58 %res1 = or i8 %x1, %x1
[all …]
/dports/devel/llvm12/llvm-project-12.0.1.src/llvm/test/Bitcode/
H A DbitwiseInstructions.3.2.ll10 ; CHECK: %res1 = shl i8 %x1, %x1
11 %res1 = shl i8 %x1, %x1
14 %res2 = shl nuw i8 %x1, %x1
17 %res3 = shl nsw i8 %x1, %x1
20 %res4 = shl nuw nsw i8 %x1, %x1
28 %res1 = lshr i8 %x1, %x1
31 %res2 = lshr exact i8 %x1, %x1
39 %res1 = ashr i8 %x1, %x1
50 %res1 = and i8 %x1, %x1
58 %res1 = or i8 %x1, %x1
[all …]
/dports/devel/llvm11/llvm-11.0.1.src/test/Bitcode/
H A DbitwiseInstructions.3.2.ll10 ; CHECK: %res1 = shl i8 %x1, %x1
11 %res1 = shl i8 %x1, %x1
14 %res2 = shl nuw i8 %x1, %x1
17 %res3 = shl nsw i8 %x1, %x1
20 %res4 = shl nuw nsw i8 %x1, %x1
28 %res1 = lshr i8 %x1, %x1
31 %res2 = lshr exact i8 %x1, %x1
39 %res1 = ashr i8 %x1, %x1
50 %res1 = and i8 %x1, %x1
58 %res1 = or i8 %x1, %x1
[all …]
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/llvm/test/Bitcode/
H A DbitwiseInstructions.3.2.ll10 ; CHECK: %res1 = shl i8 %x1, %x1
11 %res1 = shl i8 %x1, %x1
14 %res2 = shl nuw i8 %x1, %x1
17 %res3 = shl nsw i8 %x1, %x1
20 %res4 = shl nuw nsw i8 %x1, %x1
28 %res1 = lshr i8 %x1, %x1
31 %res2 = lshr exact i8 %x1, %x1
39 %res1 = ashr i8 %x1, %x1
50 %res1 = and i8 %x1, %x1
58 %res1 = or i8 %x1, %x1
[all …]
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/llvm/test/Bitcode/
H A DbitwiseInstructions.3.2.ll10 ; CHECK: %res1 = shl i8 %x1, %x1
11 %res1 = shl i8 %x1, %x1
14 %res2 = shl nuw i8 %x1, %x1
17 %res3 = shl nsw i8 %x1, %x1
20 %res4 = shl nuw nsw i8 %x1, %x1
28 %res1 = lshr i8 %x1, %x1
31 %res2 = lshr exact i8 %x1, %x1
39 %res1 = ashr i8 %x1, %x1
50 %res1 = and i8 %x1, %x1
58 %res1 = or i8 %x1, %x1
[all …]
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/llvm/test/Bitcode/
H A DbitwiseInstructions.3.2.ll10 ; CHECK: %res1 = shl i8 %x1, %x1
11 %res1 = shl i8 %x1, %x1
14 %res2 = shl nuw i8 %x1, %x1
17 %res3 = shl nsw i8 %x1, %x1
20 %res4 = shl nuw nsw i8 %x1, %x1
28 %res1 = lshr i8 %x1, %x1
31 %res2 = lshr exact i8 %x1, %x1
39 %res1 = ashr i8 %x1, %x1
50 %res1 = and i8 %x1, %x1
58 %res1 = or i8 %x1, %x1
[all …]
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/llvm/test/Bitcode/
H A DbitwiseInstructions.3.2.ll10 ; CHECK: %res1 = shl i8 %x1, %x1
11 %res1 = shl i8 %x1, %x1
14 %res2 = shl nuw i8 %x1, %x1
17 %res3 = shl nsw i8 %x1, %x1
20 %res4 = shl nuw nsw i8 %x1, %x1
28 %res1 = lshr i8 %x1, %x1
31 %res2 = lshr exact i8 %x1, %x1
39 %res1 = ashr i8 %x1, %x1
50 %res1 = and i8 %x1, %x1
58 %res1 = or i8 %x1, %x1
[all …]
/dports/devel/llvm13/llvm-project-13.0.1.src/llvm/test/Bitcode/
H A DbitwiseInstructions.3.2.ll10 ; CHECK: %res1 = shl i8 %x1, %x1
11 %res1 = shl i8 %x1, %x1
14 %res2 = shl nuw i8 %x1, %x1
17 %res3 = shl nsw i8 %x1, %x1
20 %res4 = shl nuw nsw i8 %x1, %x1
28 %res1 = lshr i8 %x1, %x1
31 %res2 = lshr exact i8 %x1, %x1
39 %res1 = ashr i8 %x1, %x1
50 %res1 = and i8 %x1, %x1
58 %res1 = or i8 %x1, %x1
[all …]
/dports/devel/llvm90/llvm-9.0.1.src/test/Bitcode/
H A DbitwiseInstructions.3.2.ll10 ; CHECK: %res1 = shl i8 %x1, %x1
11 %res1 = shl i8 %x1, %x1
14 %res2 = shl nuw i8 %x1, %x1
17 %res3 = shl nsw i8 %x1, %x1
20 %res4 = shl nuw nsw i8 %x1, %x1
28 %res1 = lshr i8 %x1, %x1
31 %res2 = lshr exact i8 %x1, %x1
39 %res1 = ashr i8 %x1, %x1
50 %res1 = and i8 %x1, %x1
58 %res1 = or i8 %x1, %x1
[all …]
/dports/devel/llvm80/llvm-8.0.1.src/test/Bitcode/
H A DbitwiseInstructions.3.2.ll10 ; CHECK: %res1 = shl i8 %x1, %x1
11 %res1 = shl i8 %x1, %x1
14 %res2 = shl nuw i8 %x1, %x1
17 %res3 = shl nsw i8 %x1, %x1
20 %res4 = shl nuw nsw i8 %x1, %x1
28 %res1 = lshr i8 %x1, %x1
31 %res2 = lshr exact i8 %x1, %x1
39 %res1 = ashr i8 %x1, %x1
50 %res1 = and i8 %x1, %x1
58 %res1 = or i8 %x1, %x1
[all …]
/dports/devel/llvm70/llvm-7.0.1.src/test/Bitcode/
H A DbitwiseInstructions.3.2.ll10 ; CHECK: %res1 = shl i8 %x1, %x1
11 %res1 = shl i8 %x1, %x1
14 %res2 = shl nuw i8 %x1, %x1
17 %res3 = shl nsw i8 %x1, %x1
20 %res4 = shl nuw nsw i8 %x1, %x1
28 %res1 = lshr i8 %x1, %x1
31 %res2 = lshr exact i8 %x1, %x1
39 %res1 = ashr i8 %x1, %x1
50 %res1 = and i8 %x1, %x1
58 %res1 = or i8 %x1, %x1
[all …]
/dports/www/firefox-legacy/firefox-52.8.0esr/js/src/jit-test/tests/wasm/spec/
H A Dfloat_misc.wast86 (assert_return (invoke "f32.add" (f32.const 0x1.6c0f24p+67) (f32.const -0x1.2b92dp+52)) (f32.const …
87 (assert_return (invoke "f32.add" (f32.const 0x1.e62318p-83) (f32.const 0x1.f74abep-125)) (f32.const…
88 (assert_return (invoke "f32.add" (f32.const 0x1.2a71d4p+39) (f32.const -0x1.c9f10cp+55)) (f32.const…
89 (assert_return (invoke "f32.add" (f32.const 0x1.f8f736p-15) (f32.const 0x1.7bd45ep+106)) (f32.const…
97 (assert_return (invoke "f32.add" (f32.const 0x1.1bf976p+72) (f32.const -0x1.7f5868p+20)) (f32.const…
98 (assert_return (invoke "f32.add" (f32.const 0x1.7f9c6cp-45) (f32.const -0x1.b9bb0ep-78)) (f32.const…
150 (assert_return (invoke "f32.add" (f32.const -0x1.4p-145) (f32.const 0x1.424052p-122)) (f32.const 0x…
151 (assert_return (invoke "f32.add" (f32.const 0x1.c5p-141) (f32.const -0x1.72f8p-135)) (f32.const -0x…
227 (assert_return (invoke "f32.sub" (f32.const 0x1.724046p+4) (f32.const 0x1.921fb6p+1)) (f32.const 0x…
469 (assert_return (invoke "f32.div" (f32.const 0x1.2p+3) (f32.const 0x1.bp+4)) (f32.const 0x1.555556p-…
[all …]
/dports/math/openturns/openturns-1.18/python/test/
H A Dt_AggregatedFunction_std.expout1x1,x2,x3]->[x1^3 * sin(x2 + 2.5 * x3) - (x1 + x2)^2 / (1.0 + x3^2),x1^1 * sin(x3 + 2.5 * x1) - (x2…
22 Marginal 0 = [[x1,x2,x3]->[x1^3 * sin(x2 + 2.5 * x3) - (x1 + x2)^2 / (1.0 + x3^2)]]
23 Marginal 1 = [[x1,x2,x3]->[x1^1 * sin(x3 + 2.5 * x1) - (x2 + x3)^2 / (1.0 + x1^2)]]
24 Marginal 2 = [[x1,x2,x3]->[exp(-x1 * x2 + x3) / cos(1.0 + x2 * x3 - x1)]]
25 Marginal 3 = [[x1,x2,x3]->[exp(-x2 * x3 + x1) / cos(1.0 + x3 * x1 - x2)]]
26 …arginal (0,1)= [[x1,x2,x3]->[x1^3 * sin(x2 + 2.5 * x3) - (x1 + x2)^2 / (1.0 + x3^2),x1^1 * sin(x3 …
27 …inal (0,2)= [[x1,x2,x3]->[x1^3 * sin(x2 + 2.5 * x3) - (x1 + x2)^2 / (1.0 + x3^2)],[x1,x2,x3]->[exp…
28 …inal (1,2)= [[x1,x2,x3]->[x1^1 * sin(x3 + 2.5 * x1) - (x2 + x3)^2 / (1.0 + x1^2)],[x1,x2,x3]->[exp…
H A Dt_DualLinearCombinationFunction_std.expout1 … ([x1,x2,x3]->[x1^3 * sin(x2 + 2.5 * x3) - (x1 + x2)^2 / (1.0 + x3^2)]) + [-3.5,0.5,-1.5] * ([x1,x…
18 …(1.5 * ([x1,x2,x3]->[x1^3 * sin(x2 + 2.5 * x3) - (x1 + x2)^2 / (1.0 + x3^2)]) - 3.5 * ([x1,x2,x3]-…
19 …(2.5 * ([x1,x2,x3]->[x1^3 * sin(x2 + 2.5 * x3) - (x1 + x2)^2 / (1.0 + x3^2)]) + 0.5 * ([x1,x2,x3]-…
20 …-0.5 * ([x1,x2,x3]->[x1^3 * sin(x2 + 2.5 * x3) - (x1 + x2)^2 / (1.0 + x3^2)]) - 1.5 * ([x1,x2,x3]-…
21 …] * ([x1,x2,x3]->[x1^3 * sin(x2 + 2.5 * x3) - (x1 + x2)^2 / (1.0 + x3^2)]) + [-3.5,0.5] * ([x1,x2,…
22 … * ([x1,x2,x3]->[x1^3 * sin(x2 + 2.5 * x3) - (x1 + x2)^2 / (1.0 + x3^2)]) + [-3.5,-1.5] * ([x1,x2,…
23 …] * ([x1,x2,x3]->[x1^3 * sin(x2 + 2.5 * x3) - (x1 + x2)^2 / (1.0 + x3^2)]) + [0.5,-1.5] * ([x1,x2,…
/dports/math/frobby/frobby-0.9.1/test/commonIdeals/
H A Dt16.assoprimes28 x1*x2*x3,
37 x1*x2*x4,
44 x1*x2*x5,
51 x1*x2,
82 x1*x3,
97 x1*x4,
105 x1*x5,
109 x1*x6,
111 x1*x7,
112 x1*x8,
[all …]
/dports/devel/llvm80/llvm-8.0.1.src/tools/clang/test/SemaCXX/
H A Dwarn-bad-memaccess.cpp33 memset(&x1, 0, sizeof x1); // \ in test_warn()
44 memmove(&x1, 0, sizeof x1); // \ in test_warn()
47 memmove(0, &x1, sizeof x1); // \ in test_warn()
50 memcpy(&x1, 0, sizeof x1); // \ in test_warn()
53 memcpy(0, &x1, sizeof x1); // \ in test_warn()
56 memcmp(&x1, 0, sizeof x1); // \ in test_warn()
59 memcmp(0, &x1, sizeof x1); // \ in test_warn()
63 __builtin_memset(&x1, 0, sizeof x1); // \ in test_warn()
132 (void)sizeof memset(&x1, 0, sizeof x1); in test_nowarn()
135 if (false) memset(&x1, 0, sizeof x1); in test_nowarn()
[all …]
/dports/devel/llvm70/llvm-7.0.1.src/tools/clang/test/SemaCXX/
H A Dwarn-bad-memaccess.cpp33 memset(&x1, 0, sizeof x1); // \ in test_warn()
44 memmove(&x1, 0, sizeof x1); // \ in test_warn()
47 memmove(0, &x1, sizeof x1); // \ in test_warn()
50 memcpy(&x1, 0, sizeof x1); // \ in test_warn()
53 memcpy(0, &x1, sizeof x1); // \ in test_warn()
56 memcmp(&x1, 0, sizeof x1); // \ in test_warn()
59 memcmp(0, &x1, sizeof x1); // \ in test_warn()
63 __builtin_memset(&x1, 0, sizeof x1); // \ in test_warn()
132 (void)sizeof memset(&x1, 0, sizeof x1); in test_nowarn()
135 if (false) memset(&x1, 0, sizeof x1); in test_nowarn()
[all …]
/dports/www/firefox-esr/firefox-91.8.0/js/src/zydis/Zydis/Generated/
H A DDecoderTables.inc372 { ZYDIS_DEFINITION(0x1, 0x0), ZYDIS_DEFINITION(0x1, 0x1) },
2073x1, 0x51A), ZYDIS_DEFINITION(0x1, 0x51F), ZYDIS_DEFINITION(0x1, 0x520), ZYDIS_DEFINITION(0x1, 0x51…
2074x1, 0x3A1), ZYDIS_DEFINITION(0x1, 0x3A2), ZYDIS_DEFINITION(0x1, 0x3A3), ZYDIS_DEFINITION(0x1, 0x3A…
2075x1, 0x51B), ZYDIS_DEFINITION(0x1, 0x51C), ZYDIS_DEFINITION(0x1, 0x51D), ZYDIS_DEFINITION(0x1, 0x51…
2149x1, 0x5F5), ZYDIS_DEFINITION(0x1, 0x601), ZYDIS_DEFINITION(0x1, 0x5C7), ZYDIS_DEFINITION(0x1, 0x5D…
2150x1, 0x5F6), ZYDIS_DEFINITION(0x1, 0x602), ZYDIS_DEFINITION(0x1, 0x5C8), ZYDIS_DEFINITION(0x1, 0x5D…
2151x1, 0x5F7), ZYDIS_DEFINITION(0x1, 0x603), ZYDIS_DEFINITION(0x1, 0x5C9), ZYDIS_DEFINITION(0x1, 0x5D…
2152x1, 0x5F8), ZYDIS_DEFINITION(0x1, 0x604), ZYDIS_DEFINITION(0x1, 0x5CA), ZYDIS_DEFINITION(0x1, 0x5D…
2153x1, 0x5F9), ZYDIS_DEFINITION(0x1, 0x605), ZYDIS_DEFINITION(0x1, 0x5CB), ZYDIS_DEFINITION(0x1, 0x5D…
2185x1, 0x724), ZYDIS_DEFINITION(0x1, 0x71C), ZYDIS_DEFINITION(0x1, 0x71B), ZYDIS_DEFINITION(0x1, 0x72…
[all …]
/dports/devel/zydis/zydis-3.1.0/src/Generated/
H A DDecoderTables.inc372 { ZYDIS_DEFINITION(0x1, 0x0), ZYDIS_DEFINITION(0x1, 0x1) },
2073x1, 0x51A), ZYDIS_DEFINITION(0x1, 0x51F), ZYDIS_DEFINITION(0x1, 0x520), ZYDIS_DEFINITION(0x1, 0x51…
2074x1, 0x3A1), ZYDIS_DEFINITION(0x1, 0x3A2), ZYDIS_DEFINITION(0x1, 0x3A3), ZYDIS_DEFINITION(0x1, 0x3A…
2075x1, 0x51B), ZYDIS_DEFINITION(0x1, 0x51C), ZYDIS_DEFINITION(0x1, 0x51D), ZYDIS_DEFINITION(0x1, 0x51…
2149x1, 0x5F5), ZYDIS_DEFINITION(0x1, 0x601), ZYDIS_DEFINITION(0x1, 0x5C7), ZYDIS_DEFINITION(0x1, 0x5D…
2150x1, 0x5F6), ZYDIS_DEFINITION(0x1, 0x602), ZYDIS_DEFINITION(0x1, 0x5C8), ZYDIS_DEFINITION(0x1, 0x5D…
2151x1, 0x5F7), ZYDIS_DEFINITION(0x1, 0x603), ZYDIS_DEFINITION(0x1, 0x5C9), ZYDIS_DEFINITION(0x1, 0x5D…
2152x1, 0x5F8), ZYDIS_DEFINITION(0x1, 0x604), ZYDIS_DEFINITION(0x1, 0x5CA), ZYDIS_DEFINITION(0x1, 0x5D…
2153x1, 0x5F9), ZYDIS_DEFINITION(0x1, 0x605), ZYDIS_DEFINITION(0x1, 0x5CB), ZYDIS_DEFINITION(0x1, 0x5D…
2185x1, 0x724), ZYDIS_DEFINITION(0x1, 0x71C), ZYDIS_DEFINITION(0x1, 0x71B), ZYDIS_DEFINITION(0x1, 0x72…
[all …]
/dports/www/firefox/firefox-99.0/js/src/zydis/Zydis/Generated/
H A DDecoderTables.inc372 { ZYDIS_DEFINITION(0x1, 0x0), ZYDIS_DEFINITION(0x1, 0x1) },
2073x1, 0x51A), ZYDIS_DEFINITION(0x1, 0x51F), ZYDIS_DEFINITION(0x1, 0x520), ZYDIS_DEFINITION(0x1, 0x51…
2074x1, 0x3A1), ZYDIS_DEFINITION(0x1, 0x3A2), ZYDIS_DEFINITION(0x1, 0x3A3), ZYDIS_DEFINITION(0x1, 0x3A…
2075x1, 0x51B), ZYDIS_DEFINITION(0x1, 0x51C), ZYDIS_DEFINITION(0x1, 0x51D), ZYDIS_DEFINITION(0x1, 0x51…
2149x1, 0x5F5), ZYDIS_DEFINITION(0x1, 0x601), ZYDIS_DEFINITION(0x1, 0x5C7), ZYDIS_DEFINITION(0x1, 0x5D…
2150x1, 0x5F6), ZYDIS_DEFINITION(0x1, 0x602), ZYDIS_DEFINITION(0x1, 0x5C8), ZYDIS_DEFINITION(0x1, 0x5D…
2151x1, 0x5F7), ZYDIS_DEFINITION(0x1, 0x603), ZYDIS_DEFINITION(0x1, 0x5C9), ZYDIS_DEFINITION(0x1, 0x5D…
2152x1, 0x5F8), ZYDIS_DEFINITION(0x1, 0x604), ZYDIS_DEFINITION(0x1, 0x5CA), ZYDIS_DEFINITION(0x1, 0x5D…
2153x1, 0x5F9), ZYDIS_DEFINITION(0x1, 0x605), ZYDIS_DEFINITION(0x1, 0x5CB), ZYDIS_DEFINITION(0x1, 0x5D…
2185x1, 0x724), ZYDIS_DEFINITION(0x1, 0x71C), ZYDIS_DEFINITION(0x1, 0x71B), ZYDIS_DEFINITION(0x1, 0x72…
[all …]
/dports/mail/thunderbird/thunderbird-91.8.0/js/src/zydis/Zydis/Generated/
H A DDecoderTables.inc372 { ZYDIS_DEFINITION(0x1, 0x0), ZYDIS_DEFINITION(0x1, 0x1) },
2073x1, 0x51A), ZYDIS_DEFINITION(0x1, 0x51F), ZYDIS_DEFINITION(0x1, 0x520), ZYDIS_DEFINITION(0x1, 0x51…
2074x1, 0x3A1), ZYDIS_DEFINITION(0x1, 0x3A2), ZYDIS_DEFINITION(0x1, 0x3A3), ZYDIS_DEFINITION(0x1, 0x3A…
2075x1, 0x51B), ZYDIS_DEFINITION(0x1, 0x51C), ZYDIS_DEFINITION(0x1, 0x51D), ZYDIS_DEFINITION(0x1, 0x51…
2149x1, 0x5F5), ZYDIS_DEFINITION(0x1, 0x601), ZYDIS_DEFINITION(0x1, 0x5C7), ZYDIS_DEFINITION(0x1, 0x5D…
2150x1, 0x5F6), ZYDIS_DEFINITION(0x1, 0x602), ZYDIS_DEFINITION(0x1, 0x5C8), ZYDIS_DEFINITION(0x1, 0x5D…
2151x1, 0x5F7), ZYDIS_DEFINITION(0x1, 0x603), ZYDIS_DEFINITION(0x1, 0x5C9), ZYDIS_DEFINITION(0x1, 0x5D…
2152x1, 0x5F8), ZYDIS_DEFINITION(0x1, 0x604), ZYDIS_DEFINITION(0x1, 0x5CA), ZYDIS_DEFINITION(0x1, 0x5D…
2153x1, 0x5F9), ZYDIS_DEFINITION(0x1, 0x605), ZYDIS_DEFINITION(0x1, 0x5CB), ZYDIS_DEFINITION(0x1, 0x5D…
2185x1, 0x724), ZYDIS_DEFINITION(0x1, 0x71C), ZYDIS_DEFINITION(0x1, 0x71B), ZYDIS_DEFINITION(0x1, 0x72…
[all …]
/dports/lang/spidermonkey78/firefox-78.9.0/js/src/zydis/Zydis/Generated/
H A DDecoderTables.inc372 { ZYDIS_DEFINITION(0x1, 0x0), ZYDIS_DEFINITION(0x1, 0x1) },
2073x1, 0x51A), ZYDIS_DEFINITION(0x1, 0x51F), ZYDIS_DEFINITION(0x1, 0x520), ZYDIS_DEFINITION(0x1, 0x51…
2074x1, 0x3A1), ZYDIS_DEFINITION(0x1, 0x3A2), ZYDIS_DEFINITION(0x1, 0x3A3), ZYDIS_DEFINITION(0x1, 0x3A…
2075x1, 0x51B), ZYDIS_DEFINITION(0x1, 0x51C), ZYDIS_DEFINITION(0x1, 0x51D), ZYDIS_DEFINITION(0x1, 0x51…
2149x1, 0x5F5), ZYDIS_DEFINITION(0x1, 0x601), ZYDIS_DEFINITION(0x1, 0x5C7), ZYDIS_DEFINITION(0x1, 0x5D…
2150x1, 0x5F6), ZYDIS_DEFINITION(0x1, 0x602), ZYDIS_DEFINITION(0x1, 0x5C8), ZYDIS_DEFINITION(0x1, 0x5D…
2151x1, 0x5F7), ZYDIS_DEFINITION(0x1, 0x603), ZYDIS_DEFINITION(0x1, 0x5C9), ZYDIS_DEFINITION(0x1, 0x5D…
2152x1, 0x5F8), ZYDIS_DEFINITION(0x1, 0x604), ZYDIS_DEFINITION(0x1, 0x5CA), ZYDIS_DEFINITION(0x1, 0x5D…
2153x1, 0x5F9), ZYDIS_DEFINITION(0x1, 0x605), ZYDIS_DEFINITION(0x1, 0x5CB), ZYDIS_DEFINITION(0x1, 0x5D…
2185x1, 0x724), ZYDIS_DEFINITION(0x1, 0x71C), ZYDIS_DEFINITION(0x1, 0x71B), ZYDIS_DEFINITION(0x1, 0x72…
[all …]
/dports/math/cvc4/CVC4-1.7/test/regress/regress1/push-pop/
H A Dfuzz_3_11.smt210 (declare-fun x1 () Real)
12 (assert (or (= (+ (* 25 x1 ) (* (- 35) x1 ) ) 3) (> (+ (* 31 x1 ) (* (- 25) x2 ) (* 24 x1 ) (* (- 3…
18 …assert (or (not (<= (+ (* (- 34) x2 ) (* (- 24) x1 ) ) 39)) (<= (+ (* 34 x1 ) (* (- 35) x0 ) (* (-…
26 …rt (or (>= (+ (* (- 4) x0 ) (* 20 x1 ) (* (- 30) x1 ) (* 17 x0 ) ) (- 13)) (< (+ (* 6 x0 ) (* (- 2…
27 (assert (or (not (< (+ (* 33 x1 ) (* (- 30) x2 ) (* (- 18) x1 ) ) (- 32))) (> (+ (* 26 x0 ) (* (- 2…
28 …2 ) (* (- 50) x1 ) (* 31 x2 ) ) 23)) (= (+ (* 46 x0 ) (* 47 x1 ) (* (- 38) x2 ) (* 32 x0 ) ) 30) (…
29 (assert (not (= (+ (* (- 21) x1 ) (* (- 4) x0 ) (* 38 x1 ) (* 17 x1 ) ) 35)) )
30 (assert (or (<= (+ (* (- 42) x1 ) (* 8 x0 ) (* 37 x1 ) ) (- 33)) (not (> (+ (* 40 x0 ) (* 41 x0 ) (…
35 …(* (- 19) x1 ) (* 31 x0 ) (* 11 x1 ) ) 34)) (= (+ (* (- 45) x2 ) (* 48 x2 ) (* (- 43) x1 ) ) (- 44…
38 … (+ (* 27 x1 ) (* 6 x2 ) ) 13) (not (<= (+ (* 11 x1 ) (* 19 x0 ) (* (- 41) x0 ) (* (- 29) x1 ) ) (…
[all …]
/dports/www/py-folium/folium-0.12.1/examples/
H A DColormaps.ipynb117x1=\"0\" y1=\"0\" x2=\"0\" y2=\"20\" style=\"stroke:#008000ff;stroke-width:3;\" /><line x1=\"1\" y…
188x1=\"0\" y1=\"0\" x2=\"0\" y2=\"20\" style=\"stroke:#ff0000ff;stroke-width:3;\" /><line x1=\"1\" y…
220x1=\"0\" y1=\"0\" x2=\"0\" y2=\"20\" style=\"stroke:#008000ff;stroke-width:3;\" /><line x1=\"1\" y…
287x1=\"0\" y1=\"0\" x2=\"0\" y2=\"20\" style=\"stroke:#ff0000ff;stroke-width:3;\" /><line x1=\"1\" y…
317x1=\"0\" y1=\"0\" x2=\"0\" y2=\"20\" style=\"stroke:#008000ff;stroke-width:3;\" /><line x1=\"1\" y…
347x1=\"0\" y1=\"0\" x2=\"0\" y2=\"20\" style=\"stroke:#028100ff;stroke-width:3;\" /><line x1=\"1\" y…
382x1=\"0\" y1=\"0\" x2=\"0\" y2=\"20\" style=\"stroke:#008000ff;stroke-width:3;\" /><line x1=\"1\" y…
414x1=\"0\" y1=\"0\" x2=\"0\" y2=\"20\" style=\"stroke:#fff7ecff;stroke-width:3;\" /><line x1=\"1\" y…
444x1=\"0\" y1=\"0\" x2=\"0\" y2=\"20\" style=\"stroke:#fff7fbff;stroke-width:3;\" /><line x1=\"1\" y…
474x1=\"0\" y1=\"0\" x2=\"0\" y2=\"20\" style=\"stroke:#ffffd9ff;stroke-width:3;\" /><line x1=\"1\" y…
[all …]

12345678910>>...2071