| /dports/net-p2p/c-lightning/lightning-0.10.2/external/libwally-core/src/secp256k1/src/modules/surjection/ |
| H A D | tests_impl.h | 325 CHECK(used_inputs[1] > 2725 && used_inputs[1] < 3961); in test_input_selection_distribution()
326 CHECK(used_inputs[2] > 2725 && used_inputs[2] < 3961); in test_input_selection_distribution()
327 CHECK(used_inputs[3] > 2725 && used_inputs[3] < 3961); in test_input_selection_distribution()
333 CHECK(used_inputs[1] > 6039 && used_inputs[1] < 7275); in test_input_selection_distribution()
334 CHECK(used_inputs[2] > 6039 && used_inputs[2] < 7275); in test_input_selection_distribution()
335 CHECK(used_inputs[3] > 6039 && used_inputs[3] < 7275); in test_input_selection_distribution()
344 CHECK(used_inputs[0] > 4345 && used_inputs[0] < 5655); in test_input_selection_distribution()
345 CHECK(used_inputs[1] > 4345 && used_inputs[1] < 5655); in test_input_selection_distribution()
355 CHECK(used_inputs[0] > 5352 && used_inputs[0] < 6637); in test_input_selection_distribution()
356 CHECK(used_inputs[1] > 5352 && used_inputs[1] < 6637); in test_input_selection_distribution()
[all …]
|
| H A D | main_impl.h | 84 memcpy(proof->used_inputs, &input[2], (n_inputs + 7) / 8); in secp256k1_surjectionproof_parse()
100 …signature_len = 32 * (1 + secp256k1_count_bits_set(proof->used_inputs, (proof->n_inputs + 7) / 8)); in secp256k1_surjectionproof_serialize()
108 memcpy(&output[2], proof->used_inputs, (proof->n_inputs + 7) / 8); in secp256k1_surjectionproof_serialize()
126 return secp256k1_count_bits_set(proof->used_inputs, (proof->n_inputs + 7) / 8); in secp256k1_surjectionproof_n_used_inputs()
241 memset(proof->used_inputs, 0, sizeof(proof->used_inputs)); in secp256k1_surjectionproof_initialize()
251 if (!(proof->used_inputs[next_input_index / 8] & (1 << (next_input_index % 8)))) { in secp256k1_surjectionproof_initialize()
252 proof->used_inputs[next_input_index / 8] |= (1 << (next_input_index % 8)); in secp256k1_surjectionproof_initialize()
326 …pubkeys, n_used_pubkeys, ephemeral_input_tags, n_total_pubkeys, proof->used_inputs, ephemeral_outp… in secp256k1_surjectionproof_generate()
381 …pubkeys, n_used_pubkeys, ephemeral_input_tags, n_total_pubkeys, proof->used_inputs, ephemeral_outp… in secp256k1_surjectionproof_verify()
|
| /dports/math/cvc4/CVC4-1.7/src/proof/ |
| H A D | resolution_bitvector_proof.cpp | 467 IdToSatClause used_inputs; in calculateAtomsInBitblastingProof() local
468 d_resolutionProof->collectClausesUsed(used_inputs, used_lemmas); in calculateAtomsInBitblastingProof()
469 d_cnfProof->collectAtomsForClauses(used_inputs, d_atomsInBitblastingProof); in calculateAtomsInBitblastingProof()
497 IdToSatClause used_inputs; in printBBDeclarationAndCnf() local
498 d_resolutionProof->collectClausesUsed(used_inputs, used_lemmas); in printBBDeclarationAndCnf()
502 for (IdToSatClause::iterator it = used_inputs.begin(); in printBBDeclarationAndCnf()
503 it != used_inputs.end(); in printBBDeclarationAndCnf()
|
| H A D | proof_manager.cpp | 333 IdToSatClause used_inputs; in traceUnsatCore() local
334 d_satProof->collectClausesUsed(used_inputs, in traceUnsatCore()
340 IdToSatClause::const_iterator it = used_inputs.begin(); in traceUnsatCore()
341 for(; it != used_inputs.end(); ++it) { in traceUnsatCore()
384 IdToSatClause used_inputs; in getLemmasInUnsatCore() local
440 IdToSatClause used_inputs; in getWeakestImplicantInUnsatCore() local
571 IdToSatClause used_inputs; in toStream() local
572 d_satProof->collectClausesUsed(used_inputs, in toStream()
577 for (it2 = used_inputs.begin(); it2 != used_inputs.end(); ++it2) { in toStream()
652 d_cnfProof->collectAtomsForClauses(used_inputs, atoms); in toStream()
[all …]
|
| /dports/biology/avida/avida-2.12.4-src/avida-core/source/cpu/ |
| H A D | cCPUTestInfo.cc | 74 used_inputs = test_info.used_inputs; in operator =()
|
| H A D | cCPUTestInfo.h | 76 tArray<int> used_inputs; //Depth 0 inputs variable
113 tArray<int> GetTestCPUInputs() const { return used_inputs; } in GetTestCPUInputs()
|
| H A D | cTestCPU.cc | 278 if (cur_depth == 0) test_info.used_inputs = input_array; in TestGenome_Body()
|
| /dports/devel/icestorm/icestorm-710470f9/icefuzz/tests/ip/ |
| H A D | trace_ip.py | 88 used_inputs = [ ]
96 used_inputs.append(insig)
104 all_sigs = used_inputs + used_outputs
111 for s in used_inputs:
|
| /dports/cad/alliance/alliance/src/boog/src/ |
| H A D | bog_lib_format.c | 69 static int used_inputs(befig_list* befig) in used_inputs() function
288 return used_inputs(befig); in format_cell()
|
| /dports/net-p2p/c-lightning/lightning-0.10.2/external/libwally-core/src/secp256k1/include/ |
| H A D | secp256k1_surjectionproof.h | 50 unsigned char used_inputs[SECP256K1_SURJECTIONPROOF_MAX_N_INPUTS / 8]; member
|
| /dports/cad/alliance/alliance/src/loon/src/ |
| H A D | lon_lib_format.c | 69 static int used_inputs(befig_list* befig) in used_inputs() function
294 return used_inputs(befig); in format_cell()
|
| /dports/math/py-theano/Theano-1.0.5/theano/compile/ |
| H A D | function_module.py | 1604 used_inputs = gof.graph.ancestors(
1621 if ((i.variable not in used_inputs) and (i.update is None)):
|