| /dports/lang/chibi-scheme/chibi-scheme-0.10/lib/srfi/146/ |
| H A D | mapping.scm | 51 (assume (procedure? stop?))
52 (assume (procedure? mapper))
70 (assume (mapping? mapping))
74 (assume (mapping? mapping))
85 (assume (mapping? mapping1))
122 (assume (mapping? mapping))
128 (assume (mapping? mapping))
140 (assume (mapping? mapping))
173 (assume (list? keys))
412 (assume (list? alist))
[all …]
|
| H A D | hash.scm | 88 (assume (procedure? stop?))
89 (assume (procedure? mapper))
104 (assume (hashmap? hashmap))
108 (assume (hashmap? hashmap))
156 (assume (hashmap? hashmap))
162 (assume (hashmap? hashmap))
174 (assume (hashmap? hashmap))
187 (assume (hashmap? hashmap))
207 (assume (list? keys))
445 (assume (list? alist))
[all …]
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/test/CodeGenCXX/ |
| H A D | assume_attr.cpp | 11 __attribute__((assume("foo:before1"))) void foo();
13 __attribute__((assume("foo:before2")))
14 __attribute__((assume("foo:before3"))) void
21 __attribute__((assume("baz:before2")))
22 __attribute__((assume("baz:before3"))) static void
28 __attribute__((assume("baz:after"))) static void baz();
32 __attribute__((assume("bar:before1"))) void bar();
34 __attribute__((assume("bar:before2")))
35 __attribute__((assume("bar:before3"))) void
41 __attribute__((assume("bar:after"))) void bar();
[all …]
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/clang/test/CodeGenCXX/ |
| H A D | assume_attr.cpp | 11 __attribute__((assume("foo:before1"))) void foo();
13 __attribute__((assume("foo:before2")))
14 __attribute__((assume("foo:before3"))) void
21 __attribute__((assume("baz:before2")))
22 __attribute__((assume("baz:before3"))) static void
28 __attribute__((assume("baz:after"))) static void baz();
32 __attribute__((assume("bar:before1"))) void bar();
34 __attribute__((assume("bar:before2")))
35 __attribute__((assume("bar:before3"))) void
41 __attribute__((assume("bar:after"))) void bar();
[all …]
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/test/CodeGenCXX/ |
| H A D | assume_attr.cpp | 11 __attribute__((assume("foo:before1"))) void foo();
13 __attribute__((assume("foo:before2")))
14 __attribute__((assume("foo:before3"))) void
21 __attribute__((assume("baz:before2")))
22 __attribute__((assume("baz:before3"))) static void
28 __attribute__((assume("baz:after"))) static void baz();
32 __attribute__((assume("bar:before1"))) void bar();
34 __attribute__((assume("bar:before2")))
35 __attribute__((assume("bar:before3"))) void
41 __attribute__((assume("bar:after"))) void bar();
[all …]
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/test/CodeGenCXX/ |
| H A D | assume_attr.cpp | 11 __attribute__((assume("foo:before1"))) void foo();
13 __attribute__((assume("foo:before2")))
14 __attribute__((assume("foo:before3"))) void
21 __attribute__((assume("baz:before2")))
22 __attribute__((assume("baz:before3"))) static void
28 __attribute__((assume("baz:after"))) static void baz();
32 __attribute__((assume("bar:before1"))) void bar();
34 __attribute__((assume("bar:before2")))
35 __attribute__((assume("bar:before3"))) void
41 __attribute__((assume("bar:after"))) void bar();
[all …]
|
| /dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/test/CodeGenCXX/ |
| H A D | assume_attr.cpp | 11 __attribute__((assume("foo:before1"))) void foo();
13 __attribute__((assume("foo:before2")))
14 __attribute__((assume("foo:before3"))) void
21 __attribute__((assume("baz:before2")))
22 __attribute__((assume("baz:before3"))) static void
28 __attribute__((assume("baz:after"))) static void baz();
32 __attribute__((assume("bar:before1"))) void bar();
34 __attribute__((assume("bar:before2")))
35 __attribute__((assume("bar:before3"))) void
41 __attribute__((assume("bar:after"))) void bar();
[all …]
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/clang/test/CodeGenCXX/ |
| H A D | assume_attr.cpp | 11 __attribute__((assume("foo:before1"))) void foo();
13 __attribute__((assume("foo:before2")))
14 __attribute__((assume("foo:before3"))) void
21 __attribute__((assume("baz:before2")))
22 __attribute__((assume("baz:before3"))) static void
28 __attribute__((assume("baz:after"))) static void baz();
32 __attribute__((assume("bar:before1"))) void bar();
34 __attribute__((assume("bar:before2")))
35 __attribute__((assume("bar:before3"))) void
41 __attribute__((assume("bar:after"))) void bar();
[all …]
|
| /dports/devel/llvm13/llvm-project-13.0.1.src/clang/test/CodeGenCXX/ |
| H A D | assume_attr.cpp | 11 __attribute__((assume("foo:before1"))) void foo();
13 __attribute__((assume("foo:before2")))
14 __attribute__((assume("foo:before3"))) void
21 __attribute__((assume("baz:before2")))
22 __attribute__((assume("baz:before3"))) static void
28 __attribute__((assume("baz:after"))) static void baz();
32 __attribute__((assume("bar:before1"))) void bar();
34 __attribute__((assume("bar:before2")))
35 __attribute__((assume("bar:before3"))) void
41 __attribute__((assume("bar:after"))) void bar();
[all …]
|
| /dports/lang/clang-mesa/clang-13.0.1.src/test/CodeGenCXX/ |
| H A D | assume_attr.cpp | 11 __attribute__((assume("foo:before1"))) void foo();
13 __attribute__((assume("foo:before2")))
14 __attribute__((assume("foo:before3"))) void
21 __attribute__((assume("baz:before2")))
22 __attribute__((assume("baz:before3"))) static void
28 __attribute__((assume("baz:after"))) static void baz();
32 __attribute__((assume("bar:before1"))) void bar();
34 __attribute__((assume("bar:before2")))
35 __attribute__((assume("bar:before3"))) void
41 __attribute__((assume("bar:after"))) void bar();
[all …]
|
| /dports/math/singular/Singular-Release-4-2-1/libpolys/coeffs/ |
| H A D | coeffs.h | 549 { STATISTIC(n_Int); assume(r != NULL); assume(r->cfInt!=NULL); return r->cfInt(n,r); } in n_Int()
725 assume(src != NULL && dst != NULL); assume(dst->cfSetMap!=NULL); in n_SetMap()
765 assume(r != NULL); in nCoeff_is_Domain()
808 { assume(r != NULL); in n_Param()
832 assume(r != NULL); in nCoeff_is_Q()
842 assume(r != NULL); in nCoeff_is_Z()
872 assume(r != NULL); in nCoeff_is_Extension()
885 assume(r != NULL); in nCoeff_is_Zp_a()
898 assume(r != NULL); in nCoeff_is_Zp_a()
899 assume(p != 0); in nCoeff_is_Zp_a()
[all …]
|
| /dports/math/singular/Singular-Release-4-2-1/kernel/fglm/ |
| H A D | test.cc | 124 assume( p_GetExp(p, x, R) == 1 ); in TestGBEngine()
125 assume( p_GetExp(p, z, R) == 1 ); in TestGBEngine()
126 assume( p_GetExp(p, w, R) == 0 ); in TestGBEngine()
127 assume( p_GetExp(p, y, R) == 0 ); in TestGBEngine()
150 assume( p_GetExp(p, y, R) == 1 ); in TestGBEngine()
151 assume( p_GetExp(p, z, R) == 1 ); in TestGBEngine()
152 assume( p_GetExp(p, w, R) == 0 ); in TestGBEngine()
153 assume( p_GetExp(p, x, R) == 0 ); in TestGBEngine()
178 assume( p_GetExp(p, y, R) == 1 ); in TestGBEngine()
291 assume( p_GetExp(p,1, R) == 1 ); in TestSimpleRingArithmetcs()
[all …]
|
| /dports/math/singular/Singular-Release-4-2-1/kernel/maps/ |
| H A D | test.cc | 125 assume( p_GetExp(p, x, R) == 1 ); in TestGBEngine()
126 assume( p_GetExp(p, z, R) == 1 ); in TestGBEngine()
127 assume( p_GetExp(p, w, R) == 0 ); in TestGBEngine()
128 assume( p_GetExp(p, y, R) == 0 ); in TestGBEngine()
151 assume( p_GetExp(p, y, R) == 1 ); in TestGBEngine()
152 assume( p_GetExp(p, z, R) == 1 ); in TestGBEngine()
153 assume( p_GetExp(p, w, R) == 0 ); in TestGBEngine()
154 assume( p_GetExp(p, x, R) == 0 ); in TestGBEngine()
179 assume( p_GetExp(p, y, R) == 1 ); in TestGBEngine()
292 assume( p_GetExp(p,1, R) == 1 ); in TestSimpleRingArithmetcs()
[all …]
|
| /dports/math/singular/Singular-Release-4-2-1/kernel/numeric/ |
| H A D | test.cc | 125 assume( p_GetExp(p, x, R) == 1 ); in TestGBEngine()
126 assume( p_GetExp(p, z, R) == 1 ); in TestGBEngine()
127 assume( p_GetExp(p, w, R) == 0 ); in TestGBEngine()
128 assume( p_GetExp(p, y, R) == 0 ); in TestGBEngine()
151 assume( p_GetExp(p, y, R) == 1 ); in TestGBEngine()
152 assume( p_GetExp(p, z, R) == 1 ); in TestGBEngine()
153 assume( p_GetExp(p, w, R) == 0 ); in TestGBEngine()
154 assume( p_GetExp(p, x, R) == 0 ); in TestGBEngine()
179 assume( p_GetExp(p, y, R) == 1 ); in TestGBEngine()
292 assume( p_GetExp(p,1, R) == 1 ); in TestSimpleRingArithmetcs()
[all …]
|
| /dports/math/singular/Singular-Release-4-2-1/kernel/oswrapper/ |
| H A D | test.cc | 125 assume( p_GetExp(p, x, R) == 1 ); in TestGBEngine()
126 assume( p_GetExp(p, z, R) == 1 ); in TestGBEngine()
127 assume( p_GetExp(p, w, R) == 0 ); in TestGBEngine()
128 assume( p_GetExp(p, y, R) == 0 ); in TestGBEngine()
151 assume( p_GetExp(p, y, R) == 1 ); in TestGBEngine()
152 assume( p_GetExp(p, z, R) == 1 ); in TestGBEngine()
153 assume( p_GetExp(p, w, R) == 0 ); in TestGBEngine()
154 assume( p_GetExp(p, x, R) == 0 ); in TestGBEngine()
179 assume( p_GetExp(p, y, R) == 1 ); in TestGBEngine()
292 assume( p_GetExp(p,1, R) == 1 ); in TestSimpleRingArithmetcs()
[all …]
|
| /dports/math/singular/Singular-Release-4-2-1/kernel/spectrum/ |
| H A D | test.cc | 121 assume( p_GetExp(p, x, R) == 1 ); in TestGBEngine()
122 assume( p_GetExp(p, z, R) == 1 ); in TestGBEngine()
123 assume( p_GetExp(p, w, R) == 0 ); in TestGBEngine()
124 assume( p_GetExp(p, y, R) == 0 ); in TestGBEngine()
147 assume( p_GetExp(p, y, R) == 1 ); in TestGBEngine()
148 assume( p_GetExp(p, z, R) == 1 ); in TestGBEngine()
149 assume( p_GetExp(p, w, R) == 0 ); in TestGBEngine()
150 assume( p_GetExp(p, x, R) == 0 ); in TestGBEngine()
175 assume( p_GetExp(p, y, R) == 1 ); in TestGBEngine()
288 assume( p_GetExp(p,1, R) == 1 ); in TestSimpleRingArithmetcs()
[all …]
|
| /dports/math/singular/Singular-Release-4-2-1/kernel/groebner_walk/ |
| H A D | test.cc | 125 assume( p_GetExp(p, x, R) == 1 ); in TestGBEngine()
126 assume( p_GetExp(p, z, R) == 1 ); in TestGBEngine()
127 assume( p_GetExp(p, w, R) == 0 ); in TestGBEngine()
128 assume( p_GetExp(p, y, R) == 0 ); in TestGBEngine()
151 assume( p_GetExp(p, y, R) == 1 ); in TestGBEngine()
152 assume( p_GetExp(p, z, R) == 1 ); in TestGBEngine()
153 assume( p_GetExp(p, w, R) == 0 ); in TestGBEngine()
154 assume( p_GetExp(p, x, R) == 0 ); in TestGBEngine()
179 assume( p_GetExp(p, y, R) == 1 ); in TestGBEngine()
292 assume( p_GetExp(p,1, R) == 1 ); in TestSimpleRingArithmetcs()
[all …]
|
| /dports/math/singular/Singular-Release-4-2-1/kernel/linear_algebra/ |
| H A D | test.cc | 125 assume( p_GetExp(p, x, R) == 1 ); in TestGBEngine()
126 assume( p_GetExp(p, z, R) == 1 ); in TestGBEngine()
127 assume( p_GetExp(p, w, R) == 0 ); in TestGBEngine()
128 assume( p_GetExp(p, y, R) == 0 ); in TestGBEngine()
151 assume( p_GetExp(p, y, R) == 1 ); in TestGBEngine()
152 assume( p_GetExp(p, z, R) == 1 ); in TestGBEngine()
153 assume( p_GetExp(p, w, R) == 0 ); in TestGBEngine()
154 assume( p_GetExp(p, x, R) == 0 ); in TestGBEngine()
179 assume( p_GetExp(p, y, R) == 1 ); in TestGBEngine()
292 assume( p_GetExp(p,1, R) == 1 ); in TestSimpleRingArithmetcs()
[all …]
|
| /dports/math/singular/Singular-Release-4-2-1/kernel/combinatorics/ |
| H A D | test.cc | 127 assume( p_GetExp(p, x, R) == 1 ); in TestGBEngine()
128 assume( p_GetExp(p, z, R) == 1 ); in TestGBEngine()
129 assume( p_GetExp(p, w, R) == 0 ); in TestGBEngine()
130 assume( p_GetExp(p, y, R) == 0 ); in TestGBEngine()
153 assume( p_GetExp(p, y, R) == 1 ); in TestGBEngine()
154 assume( p_GetExp(p, z, R) == 1 ); in TestGBEngine()
155 assume( p_GetExp(p, w, R) == 0 ); in TestGBEngine()
156 assume( p_GetExp(p, x, R) == 0 ); in TestGBEngine()
181 assume( p_GetExp(p, y, R) == 1 ); in TestGBEngine()
294 assume( p_GetExp(p,1, R) == 1 ); in TestSimpleRingArithmetcs()
[all …]
|
| /dports/textproc/py-pygments-25/Pygments-2.5.2/tests/examplefiles/ |
| H A D | test.lean | 10 assume Ha Hb, Ha
13 assume Hab Habc Ha,
17 assume Hab Hbc Ha,
22 assume Hnp Hp,
35 assume Hpnp Hp,
160 assume Hin H,
170 assume H,
183 assume Hem H1,
194 assume H,
201 assume H,
[all …]
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/test/CodeGen/ |
| H A D | assume_attr.c | 22 __attribute__((assume("foo:before1"))) void foo(void);
24 __attribute__((assume("foo:before2")))
25 __attribute__((assume("foo:before3"))) void
32 __attribute__((assume("baz:before2")))
33 __attribute__((assume("baz:before3"))) static void
39 __attribute__((assume("baz:after"))) static void baz(void);
43 __attribute__((assume("bar:before1"))) void bar(void);
45 __attribute__((assume("bar:before2")))
46 __attribute__((assume("bar:before3"))) void
52 __attribute__((assume("bar:after"))) void bar(void);
[all …]
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/test/CodeGen/ |
| H A D | assume_attr.c | 22 __attribute__((assume("foo:before1"))) void foo(void);
24 __attribute__((assume("foo:before2")))
25 __attribute__((assume("foo:before3"))) void
32 __attribute__((assume("baz:before2")))
33 __attribute__((assume("baz:before3"))) static void
39 __attribute__((assume("baz:after"))) static void baz(void);
43 __attribute__((assume("bar:before1"))) void bar(void);
45 __attribute__((assume("bar:before2")))
46 __attribute__((assume("bar:before3"))) void
52 __attribute__((assume("bar:after"))) void bar(void);
[all …]
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/clang/test/CodeGen/ |
| H A D | assume_attr.c | 22 __attribute__((assume("foo:before1"))) void foo(void);
24 __attribute__((assume("foo:before2")))
25 __attribute__((assume("foo:before3"))) void
32 __attribute__((assume("baz:before2")))
33 __attribute__((assume("baz:before3"))) static void
39 __attribute__((assume("baz:after"))) static void baz(void);
43 __attribute__((assume("bar:before1"))) void bar(void);
45 __attribute__((assume("bar:before2")))
46 __attribute__((assume("bar:before3"))) void
52 __attribute__((assume("bar:after"))) void bar(void);
[all …]
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/test/CodeGen/ |
| H A D | assume_attr.c | 22 __attribute__((assume("foo:before1"))) void foo(void);
24 __attribute__((assume("foo:before2")))
25 __attribute__((assume("foo:before3"))) void
32 __attribute__((assume("baz:before2")))
33 __attribute__((assume("baz:before3"))) static void
39 __attribute__((assume("baz:after"))) static void baz(void);
43 __attribute__((assume("bar:before1"))) void bar(void);
45 __attribute__((assume("bar:before2")))
46 __attribute__((assume("bar:before3"))) void
52 __attribute__((assume("bar:after"))) void bar(void);
[all …]
|
| /dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/test/CodeGen/ |
| H A D | assume_attr.c | 22 __attribute__((assume("foo:before1"))) void foo(void);
24 __attribute__((assume("foo:before2")))
25 __attribute__((assume("foo:before3"))) void
32 __attribute__((assume("baz:before2")))
33 __attribute__((assume("baz:before3"))) static void
39 __attribute__((assume("baz:after"))) static void baz(void);
43 __attribute__((assume("bar:before1"))) void bar(void);
45 __attribute__((assume("bar:before2")))
46 __attribute__((assume("bar:before3"))) void
52 __attribute__((assume("bar:after"))) void bar(void);
[all …]
|