| /dports/math/z3/z3-z3-4.8.13/src/smt/ |
| H A D | smt_model_checker.cpp | 213 expr_ref sk_value(cex->get_some_const_interp(sk_d), m); in add_instance() local
214 if (!sk_value) { in add_instance()
227 sk_value = sk_term; in add_instance()
235 expr * sk_term = get_term_from_ctx(sk_value); in add_instance()
237 sk_value = sk_term; in add_instance()
240 if (contains_model_value(sk_value)) { in add_instance()
241 sk_value = get_type_compatible_term(sk_value); in add_instance()
255 body = dn.mk_definition(body, to_app(sk_value)); in add_instance()
258 bindings.set(num_decls - i - 1, sk_value); in add_instance()
306 if (!sk_value) { in add_blocking_clause()
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/ |
| H A D | smt_model_checker.cpp | 212 expr_ref sk_value(cex->get_some_const_interp(sk_d), m); in add_instance() local
213 if (!sk_value) { in add_instance()
226 sk_value = sk_term; in add_instance()
234 expr * sk_term = get_term_from_ctx(sk_value); in add_instance()
236 sk_value = sk_term; in add_instance()
239 if (contains_model_value(sk_value)) { in add_instance()
240 sk_value = get_type_compatible_term(sk_value); in add_instance()
254 body = dn.mk_definition(body, to_app(sk_value)); in add_instance()
257 bindings.set(num_decls - i - 1, sk_value); in add_instance()
305 if (!sk_value) { in add_blocking_clause()
[all …]
|
| /dports/net/p5-Socket-Class/Socket-Class-2.258/xs/sc_ssl/openssl/source/crypto/store/ |
| H A D | str_mem.c | 290 (STORE_ATTR_INFO *)sk_value(context->search_attributes, i); in mem_list_next()
304 (STORE_ATTR_INFO *)sk_value(context->search_attributes, in mem_list_next()
309 (STORE_ATTR_INFO *)sk_value(store->data, srch)) in mem_list_next()
311 (STORE_ATTR_INFO *)sk_value(store->data, srch))); in mem_list_next()
317 return ((struct mem_object_data_st *)sk_value(store->data, in mem_list_next()
|
| /dports/sysutils/shim/shim-0.9/Cryptlib/OpenSSL/crypto/store/ |
| H A D | str_mem.c | 305 (STORE_ATTR_INFO *)sk_value(context->search_attributes, i); in mem_list_next()
318 (STORE_ATTR_INFO *)sk_value(context->search_attributes, in mem_list_next()
322 (STORE_ATTR_INFO *)sk_value(store->data, in mem_list_next()
326 (STORE_ATTR_INFO *)sk_value(store->data, in mem_list_next()
332 return ((struct mem_object_data_st *)sk_value(store->data, in mem_list_next()
|
| /dports/www/squid/squid-4.15/src/security/cert_generators/file/ |
| H A D | certificate_db.cc | 182 …const char ** current_row = ((const char **)sk_value(CHECKED_STACK_OF(OPENSSL_PSTRING, db->data), …
188 const char ** current_row = ((const char **)sk_value(db->data, i));
406 …const char ** current_row = ((const char **)sk_value(CHECKED_STACK_OF(OPENSSL_PSTRING, db.get()->d…
412 const char ** current_row = ((const char **)sk_value(db.get()->data, i));
551 …const char ** current_row = ((const char **)sk_value(CHECKED_STACK_OF(OPENSSL_PSTRING, db.get()->d…
557 const char ** current_row = ((const char **)sk_value(db.get()->data, i));
579 …const char **row = ((const char **)sk_value(CHECKED_STACK_OF(OPENSSL_PSTRING, db.get()->data), 0));
584 const char **row = (const char **)sk_value(db.get()->data, 0);
600 …const char ** current_row = ((const char **)sk_value(CHECKED_STACK_OF(OPENSSL_PSTRING, db.get()->d…
606 const char ** current_row = ((const char **)sk_value(db.get()->data, i));
|
| /dports/devel/git-delta/delta-0.9.2/cargo-crates/libgit2-sys-0.12.24+1.3.0/libgit2/src/streams/ |
| H A D | openssl_dynamic.c | 91 void *(*sk_value)(const void *sk, int i); variable
173 sk_value = (void *(*)(const void *sk, int i))openssl_sym(&err, "sk_value", false); in git_openssl_stream_dynamic_init()
262 (!OPENSSL_sk_value && !sk_value) || in git_openssl_stream_dynamic_init()
294 else if (sk_value) in sk_GENERAL_NAME_value()
295 return sk_value(sk, i); in sk_GENERAL_NAME_value()
|
| /dports/security/cargo-audit/rustsec-cargo-audit-v0.15.2/cargo-audit/cargo-crates/libgit2-sys-0.12.23+1.2.0/libgit2/src/streams/ |
| H A D | openssl_dynamic.c | 91 void *(*sk_value)(const void *sk, int i); variable
173 sk_value = (void *(*)(const void *sk, int i))openssl_sym(&err, "sk_value", false); in git_openssl_stream_dynamic_init()
262 (!OPENSSL_sk_value && !sk_value) || in git_openssl_stream_dynamic_init()
294 else if (sk_value) in sk_GENERAL_NAME_value()
295 return sk_value(sk, i); in sk_GENERAL_NAME_value()
|
| /dports/devel/libgit2/libgit2-1.3.0/src/streams/ |
| H A D | openssl_dynamic.c | 91 void *(*sk_value)(const void *sk, int i); variable
173 sk_value = (void *(*)(const void *sk, int i))openssl_sym(&err, "sk_value", false); in git_openssl_stream_dynamic_init()
262 (!OPENSSL_sk_value && !sk_value) || in git_openssl_stream_dynamic_init()
294 else if (sk_value) in sk_GENERAL_NAME_value()
295 return sk_value(sk, i); in sk_GENERAL_NAME_value()
|
| /dports/devel/cargo-c/cargo-c-0.9.6+cargo-0.58/cargo-crates/libgit2-sys-0.12.26+1.3.0/libgit2/src/streams/ |
| H A D | openssl_dynamic.c | 91 void *(*sk_value)(const void *sk, int i); variable
173 sk_value = (void *(*)(const void *sk, int i))openssl_sym(&err, "sk_value", false); in git_openssl_stream_dynamic_init()
262 (!OPENSSL_sk_value && !sk_value) || in git_openssl_stream_dynamic_init()
294 else if (sk_value) in sk_GENERAL_NAME_value()
295 return sk_value(sk, i); in sk_GENERAL_NAME_value()
|
| /dports/textproc/mdbook-linkcheck/mdbook-linkcheck-0.7.6/cargo-crates/libgit2-sys-0.12.24+1.3.0/libgit2/src/streams/ |
| H A D | openssl_dynamic.c | 91 void *(*sk_value)(const void *sk, int i); variable
173 sk_value = (void *(*)(const void *sk, int i))openssl_sym(&err, "sk_value", false); in git_openssl_stream_dynamic_init()
262 (!OPENSSL_sk_value && !sk_value) || in git_openssl_stream_dynamic_init()
294 else if (sk_value) in sk_GENERAL_NAME_value()
295 return sk_value(sk, i); in sk_GENERAL_NAME_value()
|
| /dports/devel/pijul/pijul-1.0.0.a55/cargo-crates/libgit2-sys-0.12.24+1.3.0/libgit2/src/streams/ |
| H A D | openssl_dynamic.c | 91 void *(*sk_value)(const void *sk, int i); variable
173 sk_value = (void *(*)(const void *sk, int i))openssl_sym(&err, "sk_value", false); in git_openssl_stream_dynamic_init()
262 (!OPENSSL_sk_value && !sk_value) || in git_openssl_stream_dynamic_init()
294 else if (sk_value) in sk_GENERAL_NAME_value()
295 return sk_value(sk, i); in sk_GENERAL_NAME_value()
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/libgit2-sys/libgit2/src/streams/ |
| H A D | openssl_dynamic.c | 91 void *(*sk_value)(const void *sk, int i); variable
173 sk_value = (void *(*)(const void *sk, int i))openssl_sym(&err, "sk_value", false); in git_openssl_stream_dynamic_init()
262 (!OPENSSL_sk_value && !sk_value) || in git_openssl_stream_dynamic_init()
294 else if (sk_value) in sk_GENERAL_NAME_value()
295 return sk_value(sk, i); in sk_GENERAL_NAME_value()
|
| /dports/devel/sentry-cli/sentry-cli-1.71.0/cargo-crates/libgit2-sys-0.12.23+1.2.0/libgit2/src/streams/ |
| H A D | openssl_dynamic.c | 91 void *(*sk_value)(const void *sk, int i); variable
173 sk_value = (void *(*)(const void *sk, int i))openssl_sym(&err, "sk_value", false); in git_openssl_stream_dynamic_init()
262 (!OPENSSL_sk_value && !sk_value) || in git_openssl_stream_dynamic_init()
294 else if (sk_value) in sk_GENERAL_NAME_value()
295 return sk_value(sk, i); in sk_GENERAL_NAME_value()
|
| /dports/net/p5-Socket-Class/Socket-Class-2.258/xs/sc_ssl/openssl/source/crypto/asn1/ |
| H A D | a_set.c | 100 ret+=i2d(sk_value(a,i),NULL); in i2d_ASN1_SET()
114 i2d(sk_value(a,i),&p); in i2d_ASN1_SET()
132 i2d(sk_value(a,i),&p); in i2d_ASN1_SET()
|
| /dports/sysutils/shim/shim-0.9/Cryptlib/OpenSSL/crypto/asn1/ |
| H A D | a_set.c | 102 ret += i2d(sk_value(a, i), NULL); in i2d_ASN1_SET()
116 i2d(sk_value(a, i), &p); in i2d_ASN1_SET()
132 i2d(sk_value(a, i), &p); in i2d_ASN1_SET()
|
| /dports/net/p5-Socket-Class/Socket-Class-2.258/xs/sc_ssl/openssl/source/crypto/txt_db/ |
| H A D | txt_db.c | 236 r=(char **)sk_value(db->data,i); in TXT_DB_create_index()
266 pp=(char **)sk_value(db->data,i); in TXT_DB_write()
365 p=(char **)sk_value(db->data,i); in TXT_DB_free()
381 OPENSSL_free(sk_value(db->data,i)); in TXT_DB_free()
|
| /dports/sysutils/shim/shim-0.9/Cryptlib/OpenSSL/crypto/txt_db/ |
| H A D | txt_db.c | 239 r = (char **)sk_value(db->data, i); in TXT_DB_create_index()
269 pp = (char **)sk_value(db->data, i); in TXT_DB_write()
363 p = (char **)sk_value(db->data, i); in TXT_DB_free()
376 OPENSSL_free(sk_value(db->data, i)); in TXT_DB_free()
|
| /dports/sysutils/shim/shim-0.9/Cryptlib/OpenSSL/crypto/evp/ |
| H A D | evp_pbe.c | 104 pbetmp = (EVP_PBE_CTL *)sk_value(pbe_algs, i); in EVP_PBE_CipherInit()
139 pbe_tmp = (EVP_PBE_CTL *)sk_value(pbe_algs, i); in EVP_PBE_alg_add()
|
| /dports/security/py-ctypescrypto/ctypescrypto-0.5/ctypescrypto/ |
| H A D | x509.py | 107 sk_value = libcrypto.sk_value variable
115 sk_value = libcrypto.OPENSSL_sk_value variable
622 p = sk_value(self.ptr, index)
631 p = sk_value(self.ptr, index)
724 sk_value.argtypes = (c_void_p, c_int)
725 sk_value.restype = c_void_p
|
| /dports/lang/mono/mono-5.10.1.57/external/boringssl/include/openssl/ |
| H A D | stack_macros.h | 301 ((ASN1_INTEGER *)sk_value( \
384 ((ASN1_OBJECT *)sk_value( \
555 ((ASN1_TYPE *)sk_value( \
634 ((ASN1_VALUE *)sk_value( \
951 ((CONF_VALUE *)sk_value( \
1127 ((DIST_POINT *)sk_value( \
1813 ((SSL_COMP *)sk_value( \
2082 ((SXNETID *)sk_value( \
2488 ((X509_CRL *)sk_value( \
2652 ((X509_INFO *)sk_value( \
[all …]
|
| /dports/devel/godot2/godot-2.1.6-stable/thirdparty/openssl/crypto/dso/ |
| H A D | dso_beos.c | 184 id = (image_id) sk_value(dso->meth_data, sk_num(dso->meth_data) - 1); in beos_bind_var()
210 id = (image_id) sk_value(dso->meth_data, sk_num(dso->meth_data) - 1); in beos_bind_func()
|
| /dports/devel/godot2-tools/godot-2.1.6-stable/thirdparty/openssl/crypto/dso/ |
| H A D | dso_beos.c | 184 id = (image_id) sk_value(dso->meth_data, sk_num(dso->meth_data) - 1); in beos_bind_var()
210 id = (image_id) sk_value(dso->meth_data, sk_num(dso->meth_data) - 1); in beos_bind_func()
|
| /dports/security/openssl-legacy-static/openssl-1.0.2u/crypto/dso/ |
| H A D | dso_beos.c | 184 id = (image_id) sk_value(dso->meth_data, sk_num(dso->meth_data) - 1); in beos_bind_var()
210 id = (image_id) sk_value(dso->meth_data, sk_num(dso->meth_data) - 1); in beos_bind_func()
|
| /dports/security/openssl-unsafe/openssl-c9ba19c/crypto/dso/ |
| H A D | dso_beos.c | 184 id = (image_id) sk_value(dso->meth_data, sk_num(dso->meth_data) - 1); in beos_bind_var()
210 id = (image_id) sk_value(dso->meth_data, sk_num(dso->meth_data) - 1); in beos_bind_func()
|
| /dports/security/p5-Net-SAML/zxid-1.42/ |
| H A D | pkcs12.c | 412 PKCS7* authsafe = (PKCS7*)sk_value((_STACK*)authsafes, i); in pkcs12_to_x509_and_pkey()
426 PKCS12_SAFEBAG* bag = (PKCS12_SAFEBAG*)sk_value((_STACK*)bags, j); in pkcs12_to_x509_and_pkey()
557 PKCS7* authsafe = (PKCS7*)sk_value((_STACK*)authsafes, i); in smime_pkcs12_to_pem_generic()
573 PKCS12_SAFEBAG* bag = (PKCS12_SAFEBAG*)sk_value((_STACK*)bags, j); in smime_pkcs12_to_pem_generic()
|