| /dports/math/cvc4/CVC4-1.7/test/regress/regress1/quantifiers/ |
| H A D | 015-psyco-pp.smt2 | 128 (let (($x160 (not R_S1_V5)))
131 (or $x160
149 (and (or $x160 (= ?x19140 ?x19823))
157 (and (or $x160 (= ?x19140 ?x19159))
165 (and (or $x160 (= ?x19140 V5_0))
173 (and (or $x160 (= V5_0 ?x19823))
180 (and (or $x160 (= V5_0 ?x19159))
233 (and (or $x160 (= ?x19823 ?x19140))
239 (and (or $x160 (= ?x19823 V5_0))
251 (and (or $x160 (= V5_0 ?x19140))
[all …]
|
| /dports/misc/fq/fq-0.0.2/format/protobuf/testdata/ |
| H A D | golden_message.fqtest | 391 … | | [71]{}: field 0x15e-0x160.7 (3)
393 …| | | field_number: 51 0x160-NA …
395 0x160|03 |. | wire_value: 3 0x160-0x…
397 0x160| a0 03 | .. | key_n: 416 0x161-0x162…
400 0x160| 05 | . | wire_value: 5 0x163-0x…
402 0x160| a0 03 | .. | key_n: 416 0x164-0x165…
405 0x160| 06 | . | wire_value: 6 0x166-0x…
407 0x160| a8 03 | .. | key_n: 424 0x167-0x168…
412 0x160| a8 03 | .. | key_n: 424 0x16a-0x16b…
417 0x160| b2 03 | .. | key_n: 434 0x16d-0x16e…
[all …]
|
| /dports/games/libretro-shaders-slang/slang-shaders-9850d68939b86262eae9f0da01ff1c11daafcdc3/border/sgba/ |
| H A D | README.md | 3 …ll allow you to apply a 320x240 Super Game Boy Advance border around a 240x160 input image from a …
5 …s it will only take the Game Boy Advance core's reported resolution of 240x160 into account, and n…
11 …er 320x240 Super Game Boy Advance border in png format with the center 240x160 transparent. The bo…
|
| /dports/games/libretro-shaders-glsl/glsl-shaders-7052b09dc657d56bea443d5661dccbebcafe32dc/borders/sgba/ |
| H A D | README.md | 3 …ll allow you to apply a 320x240 Super Game Boy Advance border around a 240x160 input image from a …
5 …s it will only take the Game Boy Advance core's reported resolution of 240x160 into account, and n…
11 …er 320x240 Super Game Boy Advance border in png format with the center 240x160 transparent. The bo…
|
| /dports/multimedia/libv4l/linux-5.13-rc2/Documentation/dev-tools/ |
| H A D | kfence.rst | 74 kthread+0x137/0x160
82 kthread+0x137/0x160
103 kthread+0x137/0x160
111 kthread+0x137/0x160
118 kthread+0x137/0x160
134 kthread+0x137/0x160
142 kthread+0x137/0x160
149 kthread+0x137/0x160
167 kthread+0x137/0x160
175 kthread+0x137/0x160
[all …]
|
| /dports/multimedia/v4l-utils/linux-5.13-rc2/Documentation/dev-tools/ |
| H A D | kfence.rst | 74 kthread+0x137/0x160
82 kthread+0x137/0x160
103 kthread+0x137/0x160
111 kthread+0x137/0x160
118 kthread+0x137/0x160
134 kthread+0x137/0x160
142 kthread+0x137/0x160
149 kthread+0x137/0x160
167 kthread+0x137/0x160
175 kthread+0x137/0x160
[all …]
|
| /dports/multimedia/v4l_compat/linux-5.13-rc2/Documentation/dev-tools/ |
| H A D | kfence.rst | 74 kthread+0x137/0x160
82 kthread+0x137/0x160
103 kthread+0x137/0x160
111 kthread+0x137/0x160
118 kthread+0x137/0x160
134 kthread+0x137/0x160
142 kthread+0x137/0x160
149 kthread+0x137/0x160
167 kthread+0x137/0x160
175 kthread+0x137/0x160
[all …]
|
| /dports/x11/wcm/wcm-0.7.0/icons/desktop/ |
| H A D | meson.build | 7 install_data(join_paths('160x160', 'wcm.png'), install_dir: join_paths(share_dir, 'icons', 'hicolor…
|
| /dports/lang/fpc-source/fpc-3.2.2/tests/test/cg/variants/ |
| H A D | ivarol160.pp | 27 x160: double;
36 v := x160;
|
| /dports/games/libretro-shaders-slang/slang-shaders-9850d68939b86262eae9f0da01ff1c11daafcdc3/border/gameboy-player/ |
| H A D | README.md | 3 These shader presets will allow you to apply a 608x448 Game Boy Player border around a 240x160 inpu…
5 …s it will only take the Game Boy Advance core's reported resolution of 240x160 into account, and n…
11 …h another 608x448 Game Boy Player border in png format with the center 240x160 transparent. The bo…
|
| /dports/games/libretro-shaders-glsl/glsl-shaders-7052b09dc657d56bea443d5661dccbebcafe32dc/borders/gameboy-player/ |
| H A D | README.md | 3 These shader presets will allow you to apply a 608x448 Game Boy Player border around a 240x160 inpu…
5 …s it will only take the Game Boy Advance core's reported resolution of 240x160 into account, and n…
11 …h another 608x448 Game Boy Player border in png format with the center 240x160 transparent. The bo…
|
| /dports/math/SCIP/scip-7.0.3/check/instances/PseudoBoolean/ |
| H A D | normalized-t2001.13queen13.1110976730--soft-33-100-0.wbo | 32 [30] -1 x157 -1 x158 -1 x159 -1 x160 -1 x161 -1 x162 -1 x163 -1 x164 -1 x165 -1 x166 -1 x167 -1 x16…
33 +1 x157 +1 x158 +1 x159 +1 x160 +1 x161 +1 x162 +1 x163 +1 x164 +1 x165 +1 x166 +1 x167 +1 x168 +1 …
40 -1 x4 -1 x17 -1 x30 -1 x43 -1 x56 -1 x69 -1 x82 -1 x95 -1 x108 -1 x121 -1 x134 -1 x147 -1 x160 >= -…
41 [80] +1 x4 +1 x17 +1 x30 +1 x43 +1 x56 +1 x69 +1 x82 +1 x95 +1 x108 +1 x121 +1 x134 +1 x147 +1 x160…
69 [74] -1 x118 -1 x132 -1 x146 -1 x160 >= -1 ;
99 [13] -1 x160 -1 x148 -1 x136 -1 x124 -1 x112 -1 x100 -1 x88 -1 x76 -1 x64 -1 x52 >= -1 ;
108 … -6 x43 -7 x56 -9 x69 -4 x82 -10 x95 -7 x108 -11 x121 -9 x134 -5 x147 -11 x160 -11 x5 -8 x18 -3 x3…
|
| H A D | normalized-t2001.13queen13.1111218308.opb | 31 -1 x157 -1 x158 -1 x159 -1 x160 -1 x161 -1 x162 -1 x163 -1 x164 -1 x165 -1 x166 -1 x167 -1 x168 -1 …
32 +1 x157 +1 x158 +1 x159 +1 x160 +1 x161 +1 x162 +1 x163 +1 x164 +1 x165 +1 x166 +1 x167 +1 x168 +1 …
39 -1 x4 -1 x17 -1 x30 -1 x43 -1 x56 -1 x69 -1 x82 -1 x95 -1 x108 -1 x121 -1 x134 -1 x147 -1 x160 >= -…
40 +1 x4 +1 x17 +1 x30 +1 x43 +1 x56 +1 x69 +1 x82 +1 x95 +1 x108 +1 x121 +1 x134 +1 x147 +1 x160 >= 1…
68 -1 x118 -1 x132 -1 x146 -1 x160 >= -1 ;
98 -1 x160 -1 x148 -1 x136 -1 x124 -1 x112 -1 x100 -1 x88 -1 x76 -1 x64 -1 x52 >= -1 ;
107 …0 -2 x43 -10 x56 -7 x69 -7 x82 -1 x95 -5 x108 -9 x121 -6 x134 -5 x147 -13 x160 -11 x5 -10 x18 -7 x…
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress2/ |
| H A D | typed_v1l50016-simp.cvc | 15 (NOT is_zero((LET x154 = (LET x155 = node((LET x156 = (LET x157 = (LET x158 = (LET x159 = (LET x160…
37 (IF is_cons(x160) THEN car(x160) ELSE leaf(zero) ENDIF)) IN
|
| /dports/cad/opentimer/OpenTimer-18d28ff/benchmark/tv80/ |
| H A D | tv80.timing | 48 rat x160 210 210 220 220
49 load x160 4.0
|
| /dports/lang/solidity/solidity_0.8.11/test/libyul/yulOptimizerTests/fullSuite/ |
| H A D | aztec.yul | 102 result := and(result, call(gas(), 7, 0, 0x80, 0x60, 0x160, 0x40))
104 result := and(result, call(gas(), 6, 0, 0x120, 0x80, 0x160, 0x40))
106 result := and(result, call(gas(), 6, 0, 0x160, 0x80, b, 0x40))
177 mstore(0x160, t2_y_2)
292 // let result_2 := and(result_1, call(gas(), 7, 0, 0x80, 0x60, 0x160, 0x40))
293 // let result_3 := and(result_2, call(gas(), 6, 0, 0x120, 0x80, 0x160, 0x40))
294 // result := and(result_3, call(gas(), 6, 0, 0x160, 0x80, b, 0x40))
355 // mstore(0x160, t2_y_1)
|
| /dports/graphics/xfractint/xfractint-20.04p16/key/ |
| H A D | new19-6.key | 22 ; new window size: 160x160
28 MESSAGE 4 File saved as demo1962.gif (160x160)
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/llvm/test/tools/llvm-objcopy/ELF/ |
| H A D | group-reorder.test | 11 # IN: There are 7 section headers, starting at offset 0x160:
22 # OUT: There are 7 section headers, starting at offset 0x160:
|
| /dports/devel/llvm11/llvm-11.0.1.src/test/tools/llvm-objcopy/ELF/ |
| H A D | group-reorder.test | 11 # IN: There are 7 section headers, starting at offset 0x160:
22 # OUT: There are 7 section headers, starting at offset 0x160:
|
| /dports/devel/llvm10/llvm-10.0.1.src/test/tools/llvm-objcopy/ELF/ |
| H A D | group-reorder.test | 11 # IN: There are 7 section headers, starting at offset 0x160:
22 # OUT: There are 7 section headers, starting at offset 0x160:
|
| /dports/lang/rust/rustc-1.58.1-src/src/llvm-project/llvm/test/tools/llvm-objcopy/ELF/ |
| H A D | group-reorder.test | 11 # IN: There are 7 section headers, starting at offset 0x160:
22 # OUT: There are 7 section headers, starting at offset 0x160:
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/llvm/test/tools/llvm-objcopy/ELF/ |
| H A D | group-reorder.test | 11 # IN: There are 7 section headers, starting at offset 0x160:
22 # OUT: There are 7 section headers, starting at offset 0x160:
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/llvm/test/tools/llvm-objcopy/ELF/ |
| H A D | group-reorder.test | 11 # IN: There are 7 section headers, starting at offset 0x160:
22 # OUT: There are 7 section headers, starting at offset 0x160:
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/llvm/test/tools/llvm-objcopy/ELF/ |
| H A D | group-reorder.test | 11 # IN: There are 7 section headers, starting at offset 0x160:
22 # OUT: There are 7 section headers, starting at offset 0x160:
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/llvm/test/tools/llvm-objcopy/ELF/ |
| H A D | group-reorder.test | 11 # IN: There are 7 section headers, starting at offset 0x160:
22 # OUT: There are 7 section headers, starting at offset 0x160:
|