/dports/math/SCIP/scip-7.0.3/applications/STP/check/testset/ |
H A D | stp-solvable.test | 1 ../steinlib/D/d01.stp 2 ../steinlib/D/d02.stp 3 ../steinlib/D/d03.stp 4 ../steinlib/D/d04.stp 5 ../steinlib/D/d05.stp 6 ../steinlib/D/d06.stp 7 ../steinlib/D/d07.stp 8 ../steinlib/D/d08.stp 9 ../steinlib/D/d09.stp 10 ../steinlib/D/d10.stp [all …]
|
H A D | I080.test | 1 ../steinlib/I080/i080-001.stp 2 ../steinlib/I080/i080-002.stp 3 ../steinlib/I080/i080-003.stp 4 ../steinlib/I080/i080-004.stp 5 ../steinlib/I080/i080-005.stp 6 ../steinlib/I080/i080-011.stp 7 ../steinlib/I080/i080-012.stp 8 ../steinlib/I080/i080-013.stp 9 ../steinlib/I080/i080-014.stp 10 ../steinlib/I080/i080-015.stp [all …]
|
H A D | I160.test | 1 ../steinlib/I160/i160-001.stp 2 ../steinlib/I160/i160-002.stp 3 ../steinlib/I160/i160-003.stp 4 ../steinlib/I160/i160-004.stp 5 ../steinlib/I160/i160-005.stp 6 ../steinlib/I160/i160-011.stp 7 ../steinlib/I160/i160-012.stp 8 ../steinlib/I160/i160-013.stp 9 ../steinlib/I160/i160-014.stp 10 ../steinlib/I160/i160-015.stp [all …]
|
H A D | I640.test | 1 ../steinlib/I640/i640-001.stp 2 ../steinlib/I640/i640-002.stp 3 ../steinlib/I640/i640-003.stp 4 ../steinlib/I640/i640-004.stp 5 ../steinlib/I640/i640-005.stp 6 ../steinlib/I640/i640-011.stp 7 ../steinlib/I640/i640-012.stp 8 ../steinlib/I640/i640-013.stp 9 ../steinlib/I640/i640-014.stp 10 ../steinlib/I640/i640-015.stp [all …]
|
H A D | I320.test | 1 ../steinlib/I320/i320-001.stp 2 ../steinlib/I320/i320-002.stp 3 ../steinlib/I320/i320-003.stp 4 ../steinlib/I320/i320-004.stp 5 ../steinlib/I320/i320-005.stp 6 ../steinlib/I320/i320-011.stp 7 ../steinlib/I320/i320-012.stp 8 ../steinlib/I320/i320-013.stp 9 ../steinlib/I320/i320-014.stp 10 ../steinlib/I320/i320-015.stp [all …]
|
H A D | pc-solvable.test | 123 ../STP-DIMACS/PCSPG-E/e01.stp-A.stp 124 ../STP-DIMACS/PCSPG-E/e01.stp-B.stp 125 ../STP-DIMACS/PCSPG-E/e02.stp-A.stp 126 ../STP-DIMACS/PCSPG-E/e02.stp-B.stp 127 ../STP-DIMACS/PCSPG-E/e03.stp-A.stp 128 ../STP-DIMACS/PCSPG-E/e03.stp-B.stp 129 ../STP-DIMACS/PCSPG-E/e04.stp-A.stp 130 ../STP-DIMACS/PCSPG-E/e04.stp-B.stp 131 ../STP-DIMACS/PCSPG-E/e05.stp-A.stp 132 ../STP-DIMACS/PCSPG-E/e05.stp-B.stp [all …]
|
H A D | TSPFST.test | 1 ../steinlib/TSPFST/a280fst.stp 2 ../steinlib/TSPFST/att48fst.stp 3 ../steinlib/TSPFST/att532fst.stp 4 ../steinlib/TSPFST/berlin52fst.stp 5 ../steinlib/TSPFST/bier127fst.stp 6 ../steinlib/TSPFST/d1291fst.stp 7 ../steinlib/TSPFST/d1655fst.stp 8 ../steinlib/TSPFST/d198fst.stp 9 ../steinlib/TSPFST/d2103fst.stp 10 ../steinlib/TSPFST/d493fst.stp [all …]
|
H A D | RSMT-carioca.test | 1 ../STP-DIMACS/ESMT-carioca/carioca_3_11_01.stp 2 ../STP-DIMACS/ESMT-carioca/carioca_3_11_02.stp 3 ../STP-DIMACS/ESMT-carioca/carioca_3_11_03.stp 4 ../STP-DIMACS/ESMT-carioca/carioca_3_11_04.stp 5 ../STP-DIMACS/ESMT-carioca/carioca_3_11_05.stp 6 ../STP-DIMACS/ESMT-carioca/carioca_3_12_01.stp 7 ../STP-DIMACS/ESMT-carioca/carioca_3_12_02.stp 8 ../STP-DIMACS/ESMT-carioca/carioca_3_12_03.stp 9 ../STP-DIMACS/ESMT-carioca/carioca_3_12_04.stp 10 ../STP-DIMACS/ESMT-carioca/carioca_3_12_05.stp [all …]
|
H A D | WRP3.test | 1 ../steinlib/WRP3/wrp3-11.stp 2 ../steinlib/WRP3/wrp3-12.stp 3 ../steinlib/WRP3/wrp3-13.stp 4 ../steinlib/WRP3/wrp3-14.stp 5 ../steinlib/WRP3/wrp3-15.stp 6 ../steinlib/WRP3/wrp3-16.stp 7 ../steinlib/WRP3/wrp3-17.stp 8 ../steinlib/WRP3/wrp3-19.stp 9 ../steinlib/WRP3/wrp3-20.stp 10 ../steinlib/WRP3/wrp3-21.stp [all …]
|
H A D | WRP4.test | 1 ../steinlib/WRP4/wrp4-11.stp 2 ../steinlib/WRP4/wrp4-13.stp 3 ../steinlib/WRP4/wrp4-14.stp 4 ../steinlib/WRP4/wrp4-15.stp 5 ../steinlib/WRP4/wrp4-16.stp 6 ../steinlib/WRP4/wrp4-17.stp 7 ../steinlib/WRP4/wrp4-18.stp 8 ../steinlib/WRP4/wrp4-19.stp 9 ../steinlib/WRP4/wrp4-21.stp 10 ../steinlib/WRP4/wrp4-22.stp [all …]
|
H A D | PCSPG-i640.test | 1 ../STP-DIMACS/PCSPG-i640/i640-001.stp 2 ../STP-DIMACS/PCSPG-i640/i640-002.stp 3 ../STP-DIMACS/PCSPG-i640/i640-003.stp 4 ../STP-DIMACS/PCSPG-i640/i640-004.stp 5 ../STP-DIMACS/PCSPG-i640/i640-005.stp 6 ../STP-DIMACS/PCSPG-i640/i640-011.stp 7 ../STP-DIMACS/PCSPG-i640/i640-012.stp 8 ../STP-DIMACS/PCSPG-i640/i640-013.stp 9 ../STP-DIMACS/PCSPG-i640/i640-014.stp 10 ../STP-DIMACS/PCSPG-i640/i640-015.stp [all …]
|
H A D | PUC.test | 1 ../steinlib/PUC/bip42p.stp 2 ../steinlib/PUC/bip42u.stp 3 ../steinlib/PUC/bip52p.stp 4 ../steinlib/PUC/bip52u.stp 5 ../steinlib/PUC/bip62p.stp 6 ../steinlib/PUC/bip62u.stp 7 ../steinlib/PUC/bipa2p.stp 8 ../steinlib/PUC/bipa2u.stp 9 ../steinlib/PUC/bipe2p.stp 10 ../steinlib/PUC/bipe2u.stp [all …]
|
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/erts/emulator/beam/jit/ |
H A D | asm_load.c | 45 stp->ba = beamasm_new_assembler(stp->module, in beam_load_prepare_emit() 50 stp->codev_size = stp->beam.code.function_count + 1; in beam_load_prepare_emit() 172 if (stp->ba) { in beam_load_prepared_dtor() 217 stp->line_instr[li].pos = beamasm_get_offset(stp->ba); in add_line_entry() 385 stp->last_label >= stp->beam.code.label_count) { in beam_load_emit_op() 391 if (stp->labels[stp->last_label].value != 0) { in beam_load_emit_op() 396 stp->labels[stp->last_label].value = 1; in beam_load_emit_op() 496 stp->func_line[stp->function_number] = stp->current_li; in beam_load_emit_op() 503 if (beamasm_emit(stp->ba, stp->specific_op, tmp_op) == 0) { in beam_load_emit_op() 714 stp->on_load = beamasm_get_on_load(stp->ba); in beam_load_finish_emit() [all …]
|
/dports/lang/erlang-wx/otp-OTP-24.1.7/erts/emulator/beam/jit/ |
H A D | asm_load.c | 45 stp->ba = beamasm_new_assembler(stp->module, in beam_load_prepare_emit() 50 stp->codev_size = stp->beam.code.function_count + 1; in beam_load_prepare_emit() 172 if (stp->ba) { in beam_load_prepared_dtor() 217 stp->line_instr[li].pos = beamasm_get_offset(stp->ba); in add_line_entry() 385 stp->last_label >= stp->beam.code.label_count) { in beam_load_emit_op() 391 if (stp->labels[stp->last_label].value != 0) { in beam_load_emit_op() 396 stp->labels[stp->last_label].value = 1; in beam_load_emit_op() 496 stp->func_line[stp->function_number] = stp->current_li; in beam_load_emit_op() 503 if (beamasm_emit(stp->ba, stp->specific_op, tmp_op) == 0) { in beam_load_emit_op() 714 stp->on_load = beamasm_get_on_load(stp->ba); in beam_load_finish_emit() [all …]
|
/dports/lang/erlang/otp-OTP-24.1.7/erts/emulator/beam/jit/ |
H A D | asm_load.c | 45 stp->ba = beamasm_new_assembler(stp->module, in beam_load_prepare_emit() 50 stp->codev_size = stp->beam.code.function_count + 1; in beam_load_prepare_emit() 172 if (stp->ba) { in beam_load_prepared_dtor() 217 stp->line_instr[li].pos = beamasm_get_offset(stp->ba); in add_line_entry() 385 stp->last_label >= stp->beam.code.label_count) { in beam_load_emit_op() 391 if (stp->labels[stp->last_label].value != 0) { in beam_load_emit_op() 396 stp->labels[stp->last_label].value = 1; in beam_load_emit_op() 496 stp->func_line[stp->function_number] = stp->current_li; in beam_load_emit_op() 503 if (beamasm_emit(stp->ba, stp->specific_op, tmp_op) == 0) { in beam_load_emit_op() 714 stp->on_load = beamasm_get_on_load(stp->ba); in beam_load_finish_emit() [all …]
|
/dports/lang/erlang-java/otp-OTP-24.1.7/erts/emulator/beam/jit/ |
H A D | asm_load.c | 45 stp->ba = beamasm_new_assembler(stp->module, in beam_load_prepare_emit() 50 stp->codev_size = stp->beam.code.function_count + 1; in beam_load_prepare_emit() 172 if (stp->ba) { in beam_load_prepared_dtor() 217 stp->line_instr[li].pos = beamasm_get_offset(stp->ba); in add_line_entry() 385 stp->last_label >= stp->beam.code.label_count) { in beam_load_emit_op() 391 if (stp->labels[stp->last_label].value != 0) { in beam_load_emit_op() 396 stp->labels[stp->last_label].value = 1; in beam_load_emit_op() 496 stp->func_line[stp->function_number] = stp->current_li; in beam_load_emit_op() 503 if (beamasm_emit(stp->ba, stp->specific_op, tmp_op) == 0) { in beam_load_emit_op() 714 stp->on_load = beamasm_get_on_load(stp->ba); in beam_load_finish_emit() [all …]
|
/dports/math/stp/stp-2.3.3/lib/Interface/ |
H A D | c_interface.cpp | 81 stp::STP* stp_i = (stp::STP*)vc; in vc_setInterfaceFlags() 150 stp::STP* stp_i = (stp::STP*)vc; in vc_printExpr() 158 stp::STP* stp_i = (stp::STP*)vc; in vc_printSMTLIB() 171 stp::STP* stp_i = (stp::STP*)vc; in vc_printExprCCode() 205 stp::STP* stp_i = (stp::STP*)vc; in vc_printExprFile() 216 stp::STP* stp_i = (stp::STP*)vc; in vc_printVarDeclsToStream() 253 stp::STP* stp_i = (stp::STP*)vc; in vc_clearDecls() 260 stp::STP* stp_i = (stp::STP*)vc; in vc_printAssertsToStream() 285 stp::STP* stp_i = (stp::STP*)vc; in vc_printQueryStateToBuffer() 331 stp::STP* stp_i = (stp::STP*)vc; in vc_printCounterExampleToBuffer() [all …]
|
/dports/math/stp/stp-2.3.3/lib/Parser/ |
H A D | smt2.y | 168 using stp::NOT_DECLARED; 173 using stp::BOOLEAN_TYPE; 175 using stp::ARRAY_TYPE; 176 using stp::UNKNOWN_TYPE; 179 using stp::SOLVER_VALID; 182 using stp::SOLVER_ERROR; 206 stp::ASTNode *node; 207 stp::ASTVec *vec; 769 using namespace stp; variable 796 using namespace stp; variable [all …]
|
/dports/textproc/rnv/rnv-1.7.11/ |
H A D | sc.c | 14 stp->top=0; in windup() 28 stp->tab[stp->base=stp->top++][1]=BASE; in sc_open() 29 if(stp->top==stp->len) stp->tab=(int(*)[SC_RECSIZE])m_stretch( in sc_open() 30 stp->tab,stp->len*=stp->top*2,stp->top,sizeof(int[SC_RECSIZE])); in sc_open() 38 stp->tab[stp->base][1]=LOCK; in sc_lock() 42 return stp->tab[stp->base][1]==LOCK; in sc_locked() 46 stp->top=stp->base; while(stp->tab[--stp->base][1]>BASE); in sc_close() 50 int i=stp->top; stp->tab[stp->base][0]=key; in sc_find() 58 stp->tab[i][0]=key; stp->tab[i][1]=val; stp->tab[i][2]=aux; in sc_add() 59 if(++stp->top==stp->len) stp->tab=(int(*)[SC_RECSIZE])m_stretch( in sc_add() [all …]
|
/dports/math/snns/SNNSv4.3/tools/sources/ |
H A D | gram1.y | 274 icode_op(add,$$.stp,$1.stp,$3.stp); } 277 icode_op(sub,$$.stp,$1.stp,$3.stp); } 280 icode_op(mult,$$.stp,$1.stp,$3.stp); } 283 icode_op(dvde,$$.stp,$1.stp,$3.stp); } 286 icode_op(intdiv,$$.stp,$1.stp,$3.stp); } 289 icode_op(mod,$$.stp,$1.stp,$3.stp); } 295 icode_op(less,$$.stp,$1.stp,$3.stp); } 301 icode_op(eq,$$.stp,$1.stp,$3.stp); } 304 icode_op(not_eq,$$.stp,$1.stp,$3.stp); } 313 icode_op(and,$$.stp,$1.stp,$3.stp); } [all …]
|
/dports/news/cnews/cnews-cr.g_18/libc/ |
H A D | fgetfln.c | 88 stp->line = malloc(stp->allocn); 92 stp->segment = stp->line; 98 (int)stp->maxrd - (stp->segment - stp->line), fp) == NULL) 107 stp->allocn += stp->incr; 108 stp->line = realloc(stp->line, stp->allocn); 113 stp->segment = stp->line + oldalloc - 1; 126 thislen = (stp->segment - stp->line) + strlen(stp->segment); 132 stp->allocn = thislen + 1 + stp->incr; 134 stp->line = realloc(stp->line, stp->allocn); /* save space */ 145 stp->maxrd = (islimit(limit)? min(stp->allocn, limit): stp->allocn); [all …]
|
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/erts/emulator/beam/emu/ |
H A D | emu_load.c | 41 code = stp->codev = (BeamInstr*) &stp->code_hdr->functions; \ 65 stp->codev_size = 2048 + stp->beam.code.function_count; in beam_load_prepare_emit() 85 stp->ci = stp->beam.code.function_count + 1; in beam_load_prepare_emit() 158 if (stp->bin) { in beam_load_prepared_dtor() 664 address = stp->codev + stp->labels[entry->label].value; in beam_load_finalize_code() 821 ci = stp->ci; in beam_load_emit_op() 978 stp->last_label >= stp->beam.code.label_count) { in beam_load_emit_op() 982 if (stp->labels[stp->last_label].value != 0) { in beam_load_emit_op() 986 stp->labels[stp->last_label].value = ci; in beam_load_emit_op() 1330 stp->func_line[stp->function_number] = stp->current_li; in beam_load_emit_op() [all …]
|
/dports/lang/erlang-wx/otp-OTP-24.1.7/erts/emulator/beam/emu/ |
H A D | emu_load.c | 41 code = stp->codev = (BeamInstr*) &stp->code_hdr->functions; \ 65 stp->codev_size = 2048 + stp->beam.code.function_count; in beam_load_prepare_emit() 85 stp->ci = stp->beam.code.function_count + 1; in beam_load_prepare_emit() 158 if (stp->bin) { in beam_load_prepared_dtor() 664 address = stp->codev + stp->labels[entry->label].value; in beam_load_finalize_code() 821 ci = stp->ci; in beam_load_emit_op() 978 stp->last_label >= stp->beam.code.label_count) { in beam_load_emit_op() 982 if (stp->labels[stp->last_label].value != 0) { in beam_load_emit_op() 986 stp->labels[stp->last_label].value = ci; in beam_load_emit_op() 1330 stp->func_line[stp->function_number] = stp->current_li; in beam_load_emit_op() [all …]
|
/dports/lang/erlang/otp-OTP-24.1.7/erts/emulator/beam/emu/ |
H A D | emu_load.c | 41 code = stp->codev = (BeamInstr*) &stp->code_hdr->functions; \ 65 stp->codev_size = 2048 + stp->beam.code.function_count; in beam_load_prepare_emit() 85 stp->ci = stp->beam.code.function_count + 1; in beam_load_prepare_emit() 158 if (stp->bin) { in beam_load_prepared_dtor() 664 address = stp->codev + stp->labels[entry->label].value; in beam_load_finalize_code() 821 ci = stp->ci; in beam_load_emit_op() 978 stp->last_label >= stp->beam.code.label_count) { in beam_load_emit_op() 982 if (stp->labels[stp->last_label].value != 0) { in beam_load_emit_op() 986 stp->labels[stp->last_label].value = ci; in beam_load_emit_op() 1330 stp->func_line[stp->function_number] = stp->current_li; in beam_load_emit_op() [all …]
|
/dports/lang/erlang-java/otp-OTP-24.1.7/erts/emulator/beam/emu/ |
H A D | emu_load.c | 41 code = stp->codev = (BeamInstr*) &stp->code_hdr->functions; \ 65 stp->codev_size = 2048 + stp->beam.code.function_count; in beam_load_prepare_emit() 85 stp->ci = stp->beam.code.function_count + 1; in beam_load_prepare_emit() 158 if (stp->bin) { in beam_load_prepared_dtor() 664 address = stp->codev + stp->labels[entry->label].value; in beam_load_finalize_code() 821 ci = stp->ci; in beam_load_emit_op() 978 stp->last_label >= stp->beam.code.label_count) { in beam_load_emit_op() 982 if (stp->labels[stp->last_label].value != 0) { in beam_load_emit_op() 986 stp->labels[stp->last_label].value = ci; in beam_load_emit_op() 1330 stp->func_line[stp->function_number] = stp->current_li; in beam_load_emit_op() [all …]
|