Home
last modified time | relevance | path

Searched refs:witness1 (Results 1 – 25 of 33) sorted by relevance

12

/dports/lang/yap/yap-6.2.2/packages/chr/Benchmarks/
H A Dwfs.chr42 …, phase2/0, true2/1, undefined2/1, aclause2/2, pos2/2, nbplit2/2, phase1/0, witness1/0, witness2/0.
97 witness1 \ witness1 <=> true.
101 phase1 \ undefined2(At) # ID <=> witness1, false(At) pragma passive(ID).
106 phase1, witness1 # ID <=> phase2 pragma passive(ID).
/dports/lang/swi-pl/swipl-8.2.3/packages/chr/Benchmarks/
H A Dwfs.chr43 …, phase2/0, true2/1, undefined2/1, aclause2/2, pos2/2, nbplit2/2, phase1/0, witness1/0, witness2/0.
98 witness1 \ witness1 <=> true.
102 phase1 \ undefined2(At) # ID <=> witness1, false(At) pragma passive(ID).
107 phase1, witness1 # ID <=> phase2 pragma passive(ID).
/dports/security/arti/arti-9d0ede26801cdb182daa85c3eb5f0058dc178eb6/cargo-crates/merlin-2.0.1/src/
H A Dtranscript.rs491 let witness1 = b"witness data 1"; in transcript_rng_is_bound_to_transcript_and_witnesses() localVariable
506 .rekey_with_witness_bytes(b"witness", witness1) in transcript_rng_is_bound_to_transcript_and_witnesses()
511 .rekey_with_witness_bytes(b"witness", witness1) in transcript_rng_is_bound_to_transcript_and_witnesses()
/dports/devel/dtool/dtool-0.11.0/cargo-crates/merlin-3.0.0/src/
H A Dtranscript.rs491 let witness1 = b"witness data 1"; in transcript_rng_is_bound_to_transcript_and_witnesses() localVariable
506 .rekey_with_witness_bytes(b"witness", witness1) in transcript_rng_is_bound_to_transcript_and_witnesses()
511 .rekey_with_witness_bytes(b"witness", witness1) in transcript_rng_is_bound_to_transcript_and_witnesses()
/dports/devel/log4cxx/apache-log4cxx-0.11.0/src/test/cpp/xml/
H A Ddomtestcase.cpp114 const File witness1(LOG4CXX_TEST_STR("witness/dom.A1.1")); in LOGUNIT_CLASS()
150 const File witness1(LOG4CXX_TEST_STR("witness/dom.A1.2")); in LOGUNIT_CLASS()
/dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/tikv-jemalloc-sys-0.4.2+5.2.1-patched.2/jemalloc/src/
H A Dmutex.c119 mutex_addr_comp(const witness_t *witness1, void *mutex1, in mutex_addr_comp() argument
/dports/textproc/sonic/sonic-1.3.0/cargo-crates/jemalloc-sys-0.3.2/rep/src/
H A Dmutex.c119 mutex_addr_comp(const witness_t *witness1, void *mutex1, in mutex_addr_comp() argument
/dports/textproc/sonic/sonic-1.3.0/cargo-crates/jemalloc-sys-0.3.2/jemalloc/src/
H A Dmutex.c118 mutex_addr_comp(const witness_t *witness1, void *mutex1, in mutex_addr_comp() argument
/dports/sysutils/vector/vector-0.10.0/cargo-crates/jemalloc-sys-0.3.2/rep/src/
H A Dmutex.c119 mutex_addr_comp(const witness_t *witness1, void *mutex1, in mutex_addr_comp() argument
/dports/databases/redis5/redis-5.0.14/deps/jemalloc/src/
H A Dmutex.c118 mutex_addr_comp(const witness_t *witness1, void *mutex1, in mutex_addr_comp() argument
/dports/databases/redis6/redis-6.0.16/deps/jemalloc/src/
H A Dmutex.c118 mutex_addr_comp(const witness_t *witness1, void *mutex1, in mutex_addr_comp() argument
/dports/databases/redis-devel/redis-0e5b813/deps/jemalloc/src/
H A Dmutex.c119 mutex_addr_comp(const witness_t *witness1, void *mutex1, in mutex_addr_comp() argument
/dports/dns/encrypted-dns-server/encrypted-dns-server-0.9.1/cargo-crates/jemalloc-sys-0.3.2/rep/src/
H A Dmutex.c119 mutex_addr_comp(const witness_t *witness1, void *mutex1, in mutex_addr_comp() argument
/dports/dns/encrypted-dns-server/encrypted-dns-server-0.9.1/cargo-crates/jemalloc-sys-0.3.2/jemalloc/src/
H A Dmutex.c118 mutex_addr_comp(const witness_t *witness1, void *mutex1, in mutex_addr_comp() argument
/dports/dns/doh-proxy/doh-proxy-0.9.2/cargo-crates/jemalloc-sys-0.3.2/rep/src/
H A Dmutex.c119 mutex_addr_comp(const witness_t *witness1, void *mutex1, in mutex_addr_comp() argument
/dports/net-im/telegram-desktop/tdesktop-3.2.5-full/Telegram/ThirdParty/jemalloc/src/
H A Dmutex.c119 mutex_addr_comp(const witness_t *witness1, void *mutex1, in mutex_addr_comp() argument
/dports/textproc/angle-grinder/angle-grinder-0.18.0/cargo-crates/jemalloc-sys-0.3.2/rep/src/
H A Dmutex.c119 mutex_addr_comp(const witness_t *witness1, void *mutex1, in mutex_addr_comp() argument
/dports/textproc/angle-grinder/angle-grinder-0.18.0/cargo-crates/jemalloc-sys-0.3.2/jemalloc/src/
H A Dmutex.c118 mutex_addr_comp(const witness_t *witness1, void *mutex1, in mutex_addr_comp() argument
/dports/sysutils/vector/vector-0.10.0/cargo-crates/jemalloc-sys-0.3.2/jemalloc/src/
H A Dmutex.c118 mutex_addr_comp(const witness_t *witness1, void *mutex1, in mutex_addr_comp() argument
/dports/textproc/ripgrep/ripgrep-13.0.0/cargo-crates/jemalloc-sys-0.3.2/jemalloc/src/
H A Dmutex.c118 mutex_addr_comp(const witness_t *witness1, void *mutex1, in mutex_addr_comp() argument
/dports/textproc/ripgrep/ripgrep-13.0.0/cargo-crates/jemalloc-sys-0.3.2/rep/src/
H A Dmutex.c119 mutex_addr_comp(const witness_t *witness1, void *mutex1, in mutex_addr_comp() argument
/dports/dns/doh-proxy/doh-proxy-0.9.2/cargo-crates/jemalloc-sys-0.3.2/jemalloc/src/
H A Dmutex.c118 mutex_addr_comp(const witness_t *witness1, void *mutex1, in mutex_addr_comp() argument
/dports/lang/rust/rustc-1.58.1-src/vendor/tikv-jemalloc-sys-0.4.1+5.2.1-patched/jemalloc/src/
H A Dmutex.c119 mutex_addr_comp(const witness_t *witness1, void *mutex1, in mutex_addr_comp() argument
/dports/lang/rust/rustc-1.58.1-src/vendor/tikv-jemalloc-sys/jemalloc/src/
H A Dmutex.c119 mutex_addr_comp(const witness_t *witness1, void *mutex1, in mutex_addr_comp() argument
/dports/sysutils/fd/fd-8.3.0/cargo-crates/jemalloc-sys-0.3.2/jemalloc/src/
H A Dmutex.c118 mutex_addr_comp(const witness_t *witness1, void *mutex1, in mutex_addr_comp() argument

12