| /dports/math/abella/abella-2.0.7/examples/process-calculi/ccs/ |
| H A D | ccs_bisim_examples_helper.thm | 12 witness P3. split. search.
13 witness par P3 null. witness P3. split. search. backchain CH.
18 witness par Q1 null. witness Q1. split. search. backchain CH.
24 witness (par P3 Q). witness (par Q P3). split. search. backchain CH.
26 witness (par P Q2). witness (par Q2 P). split. search. backchain CH.
28 witness (par P3 Q2). witness (par Q2 P3). split. search. backchain CH.
30 witness (par P3 Q2). witness (par Q2 P3). split. search. backchain CH.
33 witness (par P P2). witness (par P2 P). split. search. backchain CH.
35 witness (par Q3 Q). witness (par Q Q3). split. search. backchain CH.
37 witness (par Q3 P2). witness (par P2 Q3). split. search. backchain CH.
[all …]
|
| H A D | ccs_bisim_context_examples.thm | 11 witness P1. split. search.
12 witness P1. witness P1. split.
13 unfold. witness P1. witness P1. split.
20 witness Q1. split. search.
21 witness Q1. witness Q1. split.
22 unfold. witness Q1. witness Q1. split.
37 witness (par (repl P) P).
46 witness (par (repl P) P).
55 witness (par (repl P) Q1).
57 witness (par (repl P) Q1).
[all …]
|
| H A D | ccs_context.thm | 28 witness P1. witness P1. split. search. backchain CH.
30 witness Q1. witness Q1. split. search. backchain CH.
37 witness P1. witness P2. split. search.
41 witness RR. split. search.
44 witness P4. witness Q4. split. search. backchain CH.
46 witness P3. witness P3. split. search.
51 witness P1. witness P2. split. search.
58 witness P4. witness Q4. split. search. backchain CH.
60 witness Q3. witness Q3. split. search.
68 witness Q2. split. search. witness P1. witness Q2. split. search.
[all …]
|
| H A D | ccs_ctx.thm | 40 witness P1. witness Q2. split. search.
43 witness P2. witness Q1. split. search.
63 witness P3. witness Q3. search.
69 witness P2. witness Q3. search.
82 witness P3. witness Q3. search.
88 witness P2. witness Q3. search.
94 witness P1. witness Q. search.
96 witness P. witness Q1. search.
175 left. right. witness hole. witness R. witness A. split. search. search.
182 left. right. witness CC. witness PBP. witness B. split. search. search.
[all …]
|
| /dports/www/firefox-legacy/firefox-52.8.0esr/memory/jemalloc/src/include/jemalloc/internal/ |
| H A D | witness.h | 79 const witness_t *witness);
128 if (w == witness) in witness_owner()
149 if (witness_owner(tsd, witness)) in witness_assert_owner()
151 witness_owner_error(witness); in witness_assert_owner()
172 if (w == witness) in witness_assert_not_owner()
173 witness_not_owner_error(witness); in witness_assert_not_owner()
221 } else if (w->rank > witness->rank) { in witness_lock()
225 witness->comp || w->comp(w, witness) > 0)) { in witness_lock()
233 ql_elm_new(witness, link); in witness_lock()
257 if (witness_owner(tsd, witness)) { in witness_unlock()
[all …]
|
| /dports/devel/radare2/radare2-5.1.1/shlr/heap/include/r_jemalloc/internal/ |
| H A D | witness.h | 90 const witness_t *witness);
146 if (w == witness) in witness_owner()
167 if (witness_owner(tsd, witness)) in witness_assert_owner()
169 witness_owner_error(witness); in witness_assert_owner()
190 if (w == witness) in witness_assert_not_owner()
191 witness_not_owner_error(witness); in witness_assert_not_owner()
259 } else if (w->rank > witness->rank) { in witness_lock()
263 witness->comp || w->comp(w, witness) > 0)) { in witness_lock()
271 ql_elm_new(witness, link); in witness_lock()
295 if (witness_owner(tsd, witness)) { in witness_unlock()
[all …]
|
| /dports/math/libccd/libccd-2.1/src/testsuites/regressions/ |
| H A D | TSPt.err | 3 ptCreate1 :: ->witness: [0.200000 -0.400000 0.000000]
5 ptCreate1 :: ->witness: [0.500000 0.000000 0.500000]
7 ptCreate1 :: ->witness: [-0.333333 -0.333333 0.666667]
9 ptCreate1 :: ->witness: [0.166667 -0.333333 0.166667]
12 ptCreate2 :: ->witness: [-1.000000 -1.000000 0.000000]
14 ptCreate2 :: ->witness: [1.000000 0.000000 0.000000]
16 ptCreate2 :: ->witness: [0.000000 0.000000 1.000000]
18 ptCreate2 :: ->witness: [0.000000 1.000000 0.000000]
20 ptCreate2 :: ->witness: [0.200000 -0.400000 0.000000]
22 ptCreate2 :: ->witness: [0.500000 0.000000 0.500000]
[all …]
|
| /dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/tikv-jemalloc-sys-0.4.2+5.2.1-patched.2/jemalloc/include/jemalloc/internal/ |
| H A D | witness.h | 174 if (w == witness) { in witness_owner()
201 witness_owner_error(witness); in witness_assert_owner()
206 const witness_t *witness) { in witness_assert_not_owner() argument
225 if (w == witness) { in witness_assert_not_owner()
226 witness_not_owner_error(witness); in witness_assert_not_owner()
300 } else if (w->rank > witness->rank) { in witness_lock()
302 witness_lock_error(witnesses, witness); in witness_lock()
304 witness->comp || w->comp(w, w->opaque, witness, witness->opaque) > in witness_lock()
310 witness_lock_error(witnesses, witness); in witness_lock()
313 ql_elm_new(witness, link); in witness_lock()
[all …]
|
| /dports/textproc/sonic/sonic-1.3.0/cargo-crates/jemalloc-sys-0.3.2/rep/include/jemalloc/internal/ |
| H A D | witness.h | 174 if (w == witness) { in witness_owner()
201 witness_owner_error(witness); in witness_assert_owner()
206 const witness_t *witness) { in witness_assert_not_owner() argument
225 if (w == witness) { in witness_assert_not_owner()
226 witness_not_owner_error(witness); in witness_assert_not_owner()
300 } else if (w->rank > witness->rank) { in witness_lock()
302 witness_lock_error(witnesses, witness); in witness_lock()
304 witness->comp || w->comp(w, w->opaque, witness, witness->opaque) > in witness_lock()
310 witness_lock_error(witnesses, witness); in witness_lock()
313 ql_elm_new(witness, link); in witness_lock()
[all …]
|
| /dports/databases/redis-devel/redis-0e5b813/deps/jemalloc/include/jemalloc/internal/ |
| H A D | witness.h | 174 if (w == witness) { in witness_owner()
201 witness_owner_error(witness); in witness_assert_owner()
206 const witness_t *witness) { in witness_assert_not_owner() argument
225 if (w == witness) { in witness_assert_not_owner()
226 witness_not_owner_error(witness); in witness_assert_not_owner()
300 } else if (w->rank > witness->rank) { in witness_lock()
302 witness_lock_error(witnesses, witness); in witness_lock()
304 witness->comp || w->comp(w, w->opaque, witness, witness->opaque) > in witness_lock()
310 witness_lock_error(witnesses, witness); in witness_lock()
313 ql_elm_new(witness, link); in witness_lock()
[all …]
|
| /dports/databases/redis6/redis-6.0.16/deps/jemalloc/include/jemalloc/internal/ |
| H A D | witness.h | 173 if (w == witness) { in witness_owner()
200 witness_owner_error(witness); in witness_assert_owner()
205 const witness_t *witness) { in witness_assert_not_owner() argument
224 if (w == witness) { in witness_assert_not_owner()
225 witness_not_owner_error(witness); in witness_assert_not_owner()
299 } else if (w->rank > witness->rank) { in witness_lock()
301 witness_lock_error(witnesses, witness); in witness_lock()
303 witness->comp || w->comp(w, w->opaque, witness, witness->opaque) > in witness_lock()
309 witness_lock_error(witnesses, witness); in witness_lock()
312 ql_elm_new(witness, link); in witness_lock()
[all …]
|
| /dports/databases/redis5/redis-5.0.14/deps/jemalloc/include/jemalloc/internal/ |
| H A D | witness.h | 173 if (w == witness) { in witness_owner()
200 witness_owner_error(witness); in witness_assert_owner()
205 const witness_t *witness) { in witness_assert_not_owner() argument
224 if (w == witness) { in witness_assert_not_owner()
225 witness_not_owner_error(witness); in witness_assert_not_owner()
299 } else if (w->rank > witness->rank) { in witness_lock()
301 witness_lock_error(witnesses, witness); in witness_lock()
303 witness->comp || w->comp(w, w->opaque, witness, witness->opaque) > in witness_lock()
309 witness_lock_error(witnesses, witness); in witness_lock()
312 ql_elm_new(witness, link); in witness_lock()
[all …]
|
| /dports/dns/doh-proxy/doh-proxy-0.9.2/cargo-crates/jemalloc-sys-0.3.2/jemalloc/include/jemalloc/internal/ |
| H A D | witness.h | 173 if (w == witness) { in witness_owner()
200 witness_owner_error(witness); in witness_assert_owner()
205 const witness_t *witness) { in witness_assert_not_owner() argument
224 if (w == witness) { in witness_assert_not_owner()
225 witness_not_owner_error(witness); in witness_assert_not_owner()
299 } else if (w->rank > witness->rank) { in witness_lock()
301 witness_lock_error(witnesses, witness); in witness_lock()
303 witness->comp || w->comp(w, w->opaque, witness, witness->opaque) > in witness_lock()
309 witness_lock_error(witnesses, witness); in witness_lock()
312 ql_elm_new(witness, link); in witness_lock()
[all …]
|
| /dports/dns/encrypted-dns-server/encrypted-dns-server-0.9.1/cargo-crates/jemalloc-sys-0.3.2/rep/include/jemalloc/internal/ |
| H A D | witness.h | 174 if (w == witness) { in witness_owner()
201 witness_owner_error(witness); in witness_assert_owner()
206 const witness_t *witness) { in witness_assert_not_owner() argument
225 if (w == witness) { in witness_assert_not_owner()
226 witness_not_owner_error(witness); in witness_assert_not_owner()
300 } else if (w->rank > witness->rank) { in witness_lock()
302 witness_lock_error(witnesses, witness); in witness_lock()
304 witness->comp || w->comp(w, w->opaque, witness, witness->opaque) > in witness_lock()
310 witness_lock_error(witnesses, witness); in witness_lock()
313 ql_elm_new(witness, link); in witness_lock()
[all …]
|
| /dports/dns/doh-proxy/doh-proxy-0.9.2/cargo-crates/jemalloc-sys-0.3.2/rep/include/jemalloc/internal/ |
| H A D | witness.h | 174 if (w == witness) { in witness_owner()
201 witness_owner_error(witness); in witness_assert_owner()
206 const witness_t *witness) { in witness_assert_not_owner() argument
225 if (w == witness) { in witness_assert_not_owner()
226 witness_not_owner_error(witness); in witness_assert_not_owner()
300 } else if (w->rank > witness->rank) { in witness_lock()
302 witness_lock_error(witnesses, witness); in witness_lock()
304 witness->comp || w->comp(w, w->opaque, witness, witness->opaque) > in witness_lock()
310 witness_lock_error(witnesses, witness); in witness_lock()
313 ql_elm_new(witness, link); in witness_lock()
[all …]
|
| /dports/dns/encrypted-dns-server/encrypted-dns-server-0.9.1/cargo-crates/jemalloc-sys-0.3.2/jemalloc/include/jemalloc/internal/ |
| H A D | witness.h | 173 if (w == witness) { in witness_owner()
200 witness_owner_error(witness); in witness_assert_owner()
205 const witness_t *witness) { in witness_assert_not_owner() argument
224 if (w == witness) { in witness_assert_not_owner()
225 witness_not_owner_error(witness); in witness_assert_not_owner()
299 } else if (w->rank > witness->rank) { in witness_lock()
301 witness_lock_error(witnesses, witness); in witness_lock()
303 witness->comp || w->comp(w, w->opaque, witness, witness->opaque) > in witness_lock()
309 witness_lock_error(witnesses, witness); in witness_lock()
312 ql_elm_new(witness, link); in witness_lock()
[all …]
|
| /dports/textproc/angle-grinder/angle-grinder-0.18.0/cargo-crates/jemalloc-sys-0.3.2/jemalloc/include/jemalloc/internal/ |
| H A D | witness.h | 173 if (w == witness) { in witness_owner()
200 witness_owner_error(witness); in witness_assert_owner()
205 const witness_t *witness) { in witness_assert_not_owner() argument
224 if (w == witness) { in witness_assert_not_owner()
225 witness_not_owner_error(witness); in witness_assert_not_owner()
299 } else if (w->rank > witness->rank) { in witness_lock()
301 witness_lock_error(witnesses, witness); in witness_lock()
303 witness->comp || w->comp(w, w->opaque, witness, witness->opaque) > in witness_lock()
309 witness_lock_error(witnesses, witness); in witness_lock()
312 ql_elm_new(witness, link); in witness_lock()
[all …]
|
| /dports/textproc/angle-grinder/angle-grinder-0.18.0/cargo-crates/jemalloc-sys-0.3.2/rep/include/jemalloc/internal/ |
| H A D | witness.h | 174 if (w == witness) { in witness_owner()
201 witness_owner_error(witness); in witness_assert_owner()
206 const witness_t *witness) { in witness_assert_not_owner() argument
225 if (w == witness) { in witness_assert_not_owner()
226 witness_not_owner_error(witness); in witness_assert_not_owner()
300 } else if (w->rank > witness->rank) { in witness_lock()
302 witness_lock_error(witnesses, witness); in witness_lock()
304 witness->comp || w->comp(w, w->opaque, witness, witness->opaque) > in witness_lock()
310 witness_lock_error(witnesses, witness); in witness_lock()
313 ql_elm_new(witness, link); in witness_lock()
[all …]
|
| /dports/sysutils/vector/vector-0.10.0/cargo-crates/jemalloc-sys-0.3.2/rep/include/jemalloc/internal/ |
| H A D | witness.h | 174 if (w == witness) { in witness_owner()
201 witness_owner_error(witness); in witness_assert_owner()
206 const witness_t *witness) { in witness_assert_not_owner() argument
225 if (w == witness) { in witness_assert_not_owner()
226 witness_not_owner_error(witness); in witness_assert_not_owner()
300 } else if (w->rank > witness->rank) { in witness_lock()
302 witness_lock_error(witnesses, witness); in witness_lock()
304 witness->comp || w->comp(w, w->opaque, witness, witness->opaque) > in witness_lock()
310 witness_lock_error(witnesses, witness); in witness_lock()
313 ql_elm_new(witness, link); in witness_lock()
[all …]
|
| /dports/sysutils/vector/vector-0.10.0/cargo-crates/jemalloc-sys-0.3.2/jemalloc/include/jemalloc/internal/ |
| H A D | witness.h | 173 if (w == witness) { in witness_owner()
200 witness_owner_error(witness); in witness_assert_owner()
205 const witness_t *witness) { in witness_assert_not_owner() argument
224 if (w == witness) { in witness_assert_not_owner()
225 witness_not_owner_error(witness); in witness_assert_not_owner()
299 } else if (w->rank > witness->rank) { in witness_lock()
301 witness_lock_error(witnesses, witness); in witness_lock()
303 witness->comp || w->comp(w, w->opaque, witness, witness->opaque) > in witness_lock()
309 witness_lock_error(witnesses, witness); in witness_lock()
312 ql_elm_new(witness, link); in witness_lock()
[all …]
|
| /dports/textproc/ripgrep/ripgrep-13.0.0/cargo-crates/jemalloc-sys-0.3.2/rep/include/jemalloc/internal/ |
| H A D | witness.h | 174 if (w == witness) { in witness_owner()
201 witness_owner_error(witness); in witness_assert_owner()
206 const witness_t *witness) { in witness_assert_not_owner() argument
225 if (w == witness) { in witness_assert_not_owner()
226 witness_not_owner_error(witness); in witness_assert_not_owner()
300 } else if (w->rank > witness->rank) { in witness_lock()
302 witness_lock_error(witnesses, witness); in witness_lock()
304 witness->comp || w->comp(w, w->opaque, witness, witness->opaque) > in witness_lock()
310 witness_lock_error(witnesses, witness); in witness_lock()
313 ql_elm_new(witness, link); in witness_lock()
[all …]
|
| /dports/textproc/ripgrep/ripgrep-13.0.0/cargo-crates/jemalloc-sys-0.3.2/jemalloc/include/jemalloc/internal/ |
| H A D | witness.h | 173 if (w == witness) { in witness_owner()
200 witness_owner_error(witness); in witness_assert_owner()
205 const witness_t *witness) { in witness_assert_not_owner() argument
224 if (w == witness) { in witness_assert_not_owner()
225 witness_not_owner_error(witness); in witness_assert_not_owner()
299 } else if (w->rank > witness->rank) { in witness_lock()
301 witness_lock_error(witnesses, witness); in witness_lock()
303 witness->comp || w->comp(w, w->opaque, witness, witness->opaque) > in witness_lock()
309 witness_lock_error(witnesses, witness); in witness_lock()
312 ql_elm_new(witness, link); in witness_lock()
[all …]
|
| /dports/textproc/sonic/sonic-1.3.0/cargo-crates/jemalloc-sys-0.3.2/jemalloc/include/jemalloc/internal/ |
| H A D | witness.h | 173 if (w == witness) { in witness_owner()
200 witness_owner_error(witness); in witness_assert_owner()
205 const witness_t *witness) { in witness_assert_not_owner() argument
224 if (w == witness) { in witness_assert_not_owner()
225 witness_not_owner_error(witness); in witness_assert_not_owner()
299 } else if (w->rank > witness->rank) { in witness_lock()
301 witness_lock_error(witnesses, witness); in witness_lock()
303 witness->comp || w->comp(w, w->opaque, witness, witness->opaque) > in witness_lock()
309 witness_lock_error(witnesses, witness); in witness_lock()
312 ql_elm_new(witness, link); in witness_lock()
[all …]
|
| /dports/net-im/telegram-desktop/tdesktop-3.2.5-full/Telegram/ThirdParty/jemalloc/include/jemalloc/internal/ |
| H A D | witness.h | 174 if (w == witness) { in witness_owner()
201 witness_owner_error(witness); in witness_assert_owner()
206 const witness_t *witness) { in witness_assert_not_owner() argument
225 if (w == witness) { in witness_assert_not_owner()
226 witness_not_owner_error(witness); in witness_assert_not_owner()
300 } else if (w->rank > witness->rank) { in witness_lock()
302 witness_lock_error(witnesses, witness); in witness_lock()
304 witness->comp || w->comp(w, w->opaque, witness, witness->opaque) > in witness_lock()
310 witness_lock_error(witnesses, witness); in witness_lock()
313 ql_elm_new(witness, link); in witness_lock()
[all …]
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/tikv-jemalloc-sys/jemalloc/include/jemalloc/internal/ |
| H A D | witness.h | 174 if (w == witness) { in witness_owner()
201 witness_owner_error(witness); in witness_assert_owner()
206 const witness_t *witness) { in witness_assert_not_owner() argument
225 if (w == witness) { in witness_assert_not_owner()
226 witness_not_owner_error(witness); in witness_assert_not_owner()
300 } else if (w->rank > witness->rank) { in witness_lock()
302 witness_lock_error(witnesses, witness); in witness_lock()
304 witness->comp || w->comp(w, w->opaque, witness, witness->opaque) > in witness_lock()
310 witness_lock_error(witnesses, witness); in witness_lock()
313 ql_elm_new(witness, link); in witness_lock()
[all …]
|