Home
last modified time | relevance | path

Searched refs:concat (Results 1 – 25 of 13029) sorted by relevance

12345678910>>...522

/dports/math/stp/stp-2.3.3/tests/query-files/sample-smt-tests/
H A DExample_1.txt.smt222 …concat ((_ extract 0 0) shift1) (concat ((_ extract 7 7) shift1) (concat ((_ extract 14 14) shif…
23 …concat ((_ extract 0 0) shift1) (concat ((_ extract 7 7) shift1) (concat ((_ extract 14 14) shif…
25 …concat ((_ extract 0 0) shift2) (concat ((_ extract 7 7) shift2) (concat ((_ extract 14 14) shif…
26 …concat ((_ extract 0 0) shift2) (concat ((_ extract 7 7) shift2) (concat ((_ extract 14 14) shif…
28 …concat ((_ extract 0 0) shift3) (concat ((_ extract 7 7) shift3) (concat ((_ extract 14 14) shif…
29 …concat ((_ extract 0 0) shift3) (concat ((_ extract 7 7) shift3) (concat ((_ extract 14 14) shif…
31 …concat ((_ extract 1 1) shift1) (concat ((_ extract 8 8) shift1) (concat ((_ extract 15 15) shif…
32 …concat ((_ extract 1 1) shift1) (concat ((_ extract 8 8) shift1) (concat ((_ extract 15 15) shif…
37 …concat ((_ extract 1 1) shift3) (concat ((_ extract 8 8) shift3) (concat ((_ extract 15 15) shif…
40 …concat ((_ extract 2 2) shift1) (concat ((_ extract 9 9) shift1) (concat ((_ extract 16 16) shif…
[all …]
/dports/math/yices/yices-2.6.2/tests/regress/mantis/
H A D0014.smt21729 (assert (= (concat (concat (concat (concat (concat (concat (concat (concat (concat (concat (concat …
1737 (assert (= (concat (concat (concat (concat (concat (concat (concat (concat (concat (concat (concat …
1740 (assert (= (concat (concat (concat (concat (concat (concat (concat (concat (concat (concat (concat …
1748 (assert (= x834 (concat (concat (concat (concat (concat (concat (concat (concat (concat (concat (co…
1749 (assert (= (concat (concat (concat (concat (concat (concat (concat (concat (concat (concat (concat …
1755 (assert (= (concat (concat (concat (concat (concat (concat (concat (concat (concat (concat (concat …
1770 (assert (= x738 (concat (concat (concat (concat (concat (concat (concat (concat (concat (concat (co…
1774 (assert (= (concat (concat (concat (concat (concat (concat (concat (concat (concat (concat (concat …
1776 (assert (= x549 (concat (concat (concat (concat (concat (concat (concat (concat (concat (concat (co…
1779 (assert (= x608 (concat (concat (concat (concat (concat (concat (concat (concat (concat (concat (co…
[all …]
/dports/editors/tamago/tamago-4.0.6.0.20041122.19.14/its/
H A Dkata.el115 (its-defrule (concat "s" (car s)) (concat "$B%C(B" (cadr s))))
124 (its-defrule (concat "t" (car T)) (concat "$B%C(B" (cadr T))))
132 (its-defrule (concat "c" (car c)) (concat "$B%C(B" (cadr c))))
139 (its-defrule (concat "h" (car h)) (concat "$B%C(B" (cadr h))))
146 (its-defrule (concat "f" (car f)) (concat "$B%C(B" (cadr f))))
152 (its-defrule (concat "r" (car r)) (concat "$B%C(B" (cadr r))))
159 (its-defrule (concat "l" (car l)) (concat "$B%C(B" (cadr l))))
166 (its-defrule (concat "g" (car g)) (concat "$B%C(B" (cadr g))))
173 (its-defrule (concat "z" (car z)) (concat "$B%C(B" (cadr z))))
181 (its-defrule (concat "j" (car j)) (concat "$B%C(B" (cadr j))))
[all …]
H A Djiskana.el208 (its-defrule (concat its-zenkaku-escape "0") "$B#0(B")
209 (its-defrule (concat its-zenkaku-escape "1") "$B#1(B")
210 (its-defrule (concat its-zenkaku-escape "2") "$B#2(B")
211 (its-defrule (concat its-zenkaku-escape "3") "$B#3(B")
212 (its-defrule (concat its-zenkaku-escape "4") "$B#4(B")
213 (its-defrule (concat its-zenkaku-escape "5") "$B#5(B")
214 (its-defrule (concat its-zenkaku-escape "6") "$B#6(B")
215 (its-defrule (concat its-zenkaku-escape "7") "$B#7(B")
216 (its-defrule (concat its-zenkaku-escape "8") "$B#8(B")
217 (its-defrule (concat its-zenkaku-escape "9") "$B#9(B")
[all …]
H A Dhira.el125 (its-defrule (concat "k" (car k)) (concat "$B$C(B" (cadr k))))
134 (its-defrule (concat "s" (car s)) (concat "$B$C(B" (cadr s))))
143 (its-defrule (concat "t" (car T)) (concat "$B$C(B" (cadr T))))
151 (its-defrule (concat "c" (car c)) (concat "$B$C(B" (cadr c))))
158 (its-defrule (concat "h" (car h)) (concat "$B$C(B" (cadr h))))
165 (its-defrule (concat "f" (car f)) (concat "$B$C(B" (cadr f))))
171 (its-defrule (concat "r" (car r)) (concat "$B$C(B" (cadr r))))
178 (its-defrule (concat "l" (car l)) (concat "$B$C(B" (cadr l))))
185 (its-defrule (concat "g" (car g)) (concat "$B$C(B" (cadr g))))
192 (its-defrule (concat "z" (car z)) (concat "$B$C(B" (cadr z))))
[all …]
/dports/net-im/fractal/fractal-4.4.0/vendor/comrak/src/
H A Dtests.rs85 concat!( in basic()
96 concat!( in basic()
112 concat!( in codefence()
123 concat!( in lists()
157 concat!( in html_block_1()
175 concat!( in html_block_1()
197 concat!( in html_block_2()
228 concat!( in html_block_5()
236 concat!( in html_block_5()
260 concat!( in html_block_7()
[all …]
/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/test/jdk/java/lang/String/CompactString/
H A DConcat.java44 "ABC".concat("\uFF21\uFF22\uFF23").concat("DEF"), in provider()
48 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
52 "ABC".concat("\uFF21\uFF22\uFF23").concat("DEF"), in provider()
56 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
64 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
72 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
80 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
88 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
96 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
104 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
[all …]
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/test/jdk/java/lang/String/CompactString/
H A DConcat.java44 "ABC".concat("\uFF21\uFF22\uFF23").concat("DEF"), in provider()
48 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
52 "ABC".concat("\uFF21\uFF22\uFF23").concat("DEF"), in provider()
56 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
64 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
72 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
80 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
88 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
96 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
104 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
[all …]
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/test/jdk/java/lang/String/CompactString/
H A DConcat.java44 "ABC".concat("\uFF21\uFF22\uFF23").concat("DEF"), in provider()
48 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
52 "ABC".concat("\uFF21\uFF22\uFF23").concat("DEF"), in provider()
56 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
64 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
72 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
80 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
88 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
96 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
104 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
[all …]
/dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/test/jdk/java/lang/String/CompactString/
H A DConcat.java44 "ABC".concat("\uFF21\uFF22\uFF23").concat("DEF"), in provider()
48 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
52 "ABC".concat("\uFF21\uFF22\uFF23").concat("DEF"), in provider()
56 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
64 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
72 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
80 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
88 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
96 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
104 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
[all …]
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/test/jdk/java/lang/String/CompactString/
H A DConcat.java44 "ABC".concat("\uFF21\uFF22\uFF23").concat("DEF"), in provider()
48 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
52 "ABC".concat("\uFF21\uFF22\uFF23").concat("DEF"), in provider()
56 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
64 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
72 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
80 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
88 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
96 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
104 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
[all …]
/dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/test/jdk/java/lang/String/CompactString/
H A DConcat.java44 "ABC".concat("\uFF21\uFF22\uFF23").concat("DEF"), in provider()
48 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
52 "ABC".concat("\uFF21\uFF22\uFF23").concat("DEF"), in provider()
56 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
64 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
72 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
80 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
88 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
96 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
104 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
[all …]
/dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/test/jdk/java/lang/String/CompactString/
H A DConcat.java44 "ABC".concat("\uFF21\uFF22\uFF23").concat("DEF"), in provider()
48 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
52 "ABC".concat("\uFF21\uFF22\uFF23").concat("DEF"), in provider()
56 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
64 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
72 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
80 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
88 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
96 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
104 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
[all …]
/dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/test/jdk/java/lang/String/CompactString/
H A DConcat.java44 "ABC".concat("\uFF21\uFF22\uFF23").concat("DEF"), in provider()
48 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
52 "ABC".concat("\uFF21\uFF22\uFF23").concat("DEF"), in provider()
56 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
64 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
72 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
80 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
88 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
96 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
104 "\uFF21\uFF22\uFF23".concat("ABC").concat( in provider()
[all …]
/dports/security/gpg-tui/gpg-tui-0.8.2/cargo-crates/xcb-0.9.0/src/
H A Dlib.rs108 include!(concat!(env!("OUT_DIR"), "/dpms.rs"));
113 include!(concat!(env!("OUT_DIR"), "/dri2.rs"));
118 include!(concat!(env!("OUT_DIR"), "/dri3.rs"));
128 include!(concat!(env!("OUT_DIR"), "/glx.rs"));
158 include!(concat!(env!("OUT_DIR"), "/res.rs"));
178 include!(concat!(env!("OUT_DIR"), "/shm.rs"));
183 include!(concat!(env!("OUT_DIR"), "/sync.rs"));
188 include!(concat!(env!("OUT_DIR"), "/test.rs"));
223 include!(concat!(env!("OUT_DIR"), "/xkb.rs"));
228 include!(concat!(env!("OUT_DIR"), "/xvmc.rs"));
[all …]
/dports/x11/alacritty/alacritty-0.9.0/cargo-crates/xcb-0.9.0/src/
H A Dlib.rs108 include!(concat!(env!("OUT_DIR"), "/dpms.rs"));
113 include!(concat!(env!("OUT_DIR"), "/dri2.rs"));
118 include!(concat!(env!("OUT_DIR"), "/dri3.rs"));
128 include!(concat!(env!("OUT_DIR"), "/glx.rs"));
158 include!(concat!(env!("OUT_DIR"), "/res.rs"));
178 include!(concat!(env!("OUT_DIR"), "/shm.rs"));
183 include!(concat!(env!("OUT_DIR"), "/sync.rs"));
188 include!(concat!(env!("OUT_DIR"), "/test.rs"));
223 include!(concat!(env!("OUT_DIR"), "/xkb.rs"));
228 include!(concat!(env!("OUT_DIR"), "/xvmc.rs"));
[all …]
/dports/x11/wmfocus/wmfocus-1.2.0/cargo-crates/xcb-0.9.0/src/
H A Dlib.rs108 include!(concat!(env!("OUT_DIR"), "/dpms.rs"));
113 include!(concat!(env!("OUT_DIR"), "/dri2.rs"));
118 include!(concat!(env!("OUT_DIR"), "/dri3.rs"));
128 include!(concat!(env!("OUT_DIR"), "/glx.rs"));
158 include!(concat!(env!("OUT_DIR"), "/res.rs"));
178 include!(concat!(env!("OUT_DIR"), "/shm.rs"));
183 include!(concat!(env!("OUT_DIR"), "/sync.rs"));
188 include!(concat!(env!("OUT_DIR"), "/test.rs"));
223 include!(concat!(env!("OUT_DIR"), "/xkb.rs"));
228 include!(concat!(env!("OUT_DIR"), "/xvmc.rs"));
[all …]
/dports/math/boolector/boolector-3.2.2/test/log/
H A Dregrmodel2.btor10 10 concat 66 4 9
16 16 concat 52 15 12
20 20 concat 103 19 16
26 27 concat 39 25 26
27 28 concat 66 24 27
29 30 concat 31 23 29
39 40 concat 10 39 36
45 46 concat 70 33 45
64 66 concat 66 65 63
66 69 concat 39 57 68
[all …]
/dports/cad/openscad/openscad-41f58fe57c03457a3a8b4dc541ef5654ec3e8c78/testdata/scad/misc/
H A Dconcat-tests.scad4 echo(concat());
5 echo(concat([]));
6 echo(concat([], []));
7 echo(concat([], [], []));
10 echo(concat(u));
11 echo(concat(true));
12 echo(concat(3));
13 echo(concat("abc"));
14 echo(concat([0:1:10]));
23 echo(concat(3, 3));
[all …]
/dports/cad/openscad-devel/openscad-63a7c77740030c63d646eb0684ba6947eecb0db7/testdata/scad/misc/
H A Dconcat-tests.scad4 echo(concat());
5 echo(concat([]));
6 echo(concat([], []));
7 echo(concat([], [], []));
10 echo(concat(u));
11 echo(concat(true));
12 echo(concat(3));
13 echo(concat("abc"));
14 echo(concat([0:1:10]));
23 echo(concat(3, 3));
[all …]
/dports/misc/broot/broot-1.7.0/cargo-crates/xcb-0.10.1/src/
H A Dlib.rs108 include!(concat!(env!("OUT_DIR"), "/dpms.rs"));
113 include!(concat!(env!("OUT_DIR"), "/dri2.rs"));
118 include!(concat!(env!("OUT_DIR"), "/dri3.rs"));
128 include!(concat!(env!("OUT_DIR"), "/glx.rs"));
158 include!(concat!(env!("OUT_DIR"), "/res.rs"));
178 include!(concat!(env!("OUT_DIR"), "/shm.rs"));
183 include!(concat!(env!("OUT_DIR"), "/sync.rs"));
188 include!(concat!(env!("OUT_DIR"), "/test.rs"));
223 include!(concat!(env!("OUT_DIR"), "/xkb.rs"));
228 include!(concat!(env!("OUT_DIR"), "/xvmc.rs"));
[all …]
/dports/math/pari/pari-2.13.3/src/test/in/
H A Dconcat9 concat("x",2)
10 concat([;],1)
11 concat([;],[])
12 concat([;],[1])
13 concat(1,[;])
14 concat([],[;])
15 concat([1],[;])
16 concat(1,2)
17 concat(1,[2])
19 concat(1,A)
[all …]
/dports/dns/bind916/bind-9.16.27/
H A D.dir-locals.el16 (concat directory-of-current-dir-locals-file "./"))
24 (concat directory-of-current-dir-locals-file "lib/isc/include"))
26 (concat directory-of-current-dir-locals-file "lib/isc"))
28 (concat directory-of-current-dir-locals-file "lib/isc/netmgr"))
34 (concat directory-of-current-dir-locals-file "lib/dns"))
58 (concat directory-of-current-dir-locals-file "bin/check"))
62 (concat directory-of-current-dir-locals-file "bin/confgen"))
98 (concat directory-of-current-dir-locals-file "config.h"))
105 (concat directory-of-current-dir-locals-file "config.h"))
113 (concat "--suppressions-list=" (expand-file-name
[all …]
/dports/dns/bind-tools/bind-9.16.27/
H A D.dir-locals.el16 (concat directory-of-current-dir-locals-file "./"))
24 (concat directory-of-current-dir-locals-file "lib/isc/include"))
26 (concat directory-of-current-dir-locals-file "lib/isc"))
28 (concat directory-of-current-dir-locals-file "lib/isc/netmgr"))
34 (concat directory-of-current-dir-locals-file "lib/dns"))
58 (concat directory-of-current-dir-locals-file "bin/check"))
62 (concat directory-of-current-dir-locals-file "bin/confgen"))
98 (concat directory-of-current-dir-locals-file "config.h"))
105 (concat directory-of-current-dir-locals-file "config.h"))
113 (concat "--suppressions-list=" (expand-file-name
[all …]
/dports/lang/rust/rustc-1.58.1-src/library/core/src/num/
H A Dint_macros.rs7 #[doc = concat!("-2<sup>", $BITS_MINUS_ONE, "</sup>.")]
20 #[doc = concat!("2<sup>", $BITS_MINUS_ONE, "</sup> - 1.")]
198 #[doc = concat!("let m = ", $rot_result, ";")]
223 #[doc = concat!("let m = ", $rot_op, ";")]
247 #[doc = concat!("assert_eq!(m, ", $swapped, ");")]
269 #[doc = concat!("assert_eq!(m, ", $reversed, ");")]
2375 #[doc = concat!("`", stringify!($SelfT), "`,")]
2571 #[doc = concat!(" ", $be_bytes)]
2573 #[doc = concat!(" ", $le_bytes)]
2668 #[doc = concat!(" ", $be_bytes)]
[all …]

12345678910>>...522