Home
last modified time | relevance | path

Searched refs:t_desc (Results 1 – 25 of 47) sorted by relevance

12

/dports/math/yices/yices-2.6.2/src/mcsat/uf/
H A Duf_plugin.c187 composite_term_t* t_desc = NULL; in uf_plugin_add_to_eq_graph() local
191 t_desc = app_term_desc(terms, t); in uf_plugin_add_to_eq_graph()
192 eq_graph_add_ufun_term(&uf->eq_graph, t, t_desc->arg[0], t_desc->arity - 1, t_desc->arg + 1); in uf_plugin_add_to_eq_graph()
196 t_desc = arith_rdiv_term_desc(terms, t); in uf_plugin_add_to_eq_graph()
200 t_desc = arith_idiv_term_desc(terms, t); in uf_plugin_add_to_eq_graph()
204 t_desc = arith_mod_term_desc(terms, t); in uf_plugin_add_to_eq_graph()
205 eq_graph_add_ifun_term(&uf->eq_graph, t, ARITH_MOD, 2, t_desc->arg); in uf_plugin_add_to_eq_graph()
208 t_desc = eq_term_desc(terms, t); in uf_plugin_add_to_eq_graph()
209 eq_graph_add_ifun_term(&uf->eq_graph, t, EQ_TERM, 2, t_desc->arg); in uf_plugin_add_to_eq_graph()
217 for (i = children_start; i < t_desc->arity; ++ i) { in uf_plugin_add_to_eq_graph()
[all …]
/dports/math/yices/yices-2.6.2/src/mcsat/
H A Dvalue.c87 bvconst_term_t* t_desc = bvconst_term_desc(terms, t); in mcsat_value_construct_from_constant_term() local
90 bvconstant_set_bitsize(&t_bvconst, t_desc->bitsize); in mcsat_value_construct_from_constant_term()
91 bvconstant_copy(&t_bvconst, t_desc->bitsize, t_desc->data); in mcsat_value_construct_from_constant_term()
98 bvconst64_term_t* t_desc = bvconst64_term_desc(terms, t); in mcsat_value_construct_from_constant_term() local
101 bvconstant_set_bitsize(&t_bvconst, t_desc->bitsize); in mcsat_value_construct_from_constant_term()
102 bvconstant_copy64(&t_bvconst, t_desc->bitsize, t_desc->value); in mcsat_value_construct_from_constant_term()
/dports/textproc/redland/redland-1.0.17/demos/
H A Drss-show.pl643 my $t_desc=$textinput->description;
651 print " <b>Description</b>: ",($t_desc ? format_term($t_desc) : $missing),"<br />\n";
655 if($t_uri && $t_title && $t_link && $t_desc && $t_name) {
658 my $t_desc_string=$t_desc->literal_value;
/dports/textproc/redland-bindings/redland-bindings-1.0.17.1/perl/lib/RDF/Redland/
H A DRSS.pm495 my $t_desc=$textinput->description;
498 if($t_uri && $t_title && $t_link && $t_desc && $t_name) {
501 my $t_desc_string=$t_desc ? $t_desc->literal_value : '';
/dports/emulators/qemu-utils/qemu-4.2.1/target/arm/
H A Dtranslate-sve.c2169 TCGv_i32 t_desc; in do_perm_pred3() local
2200 TCGv_i32 t_desc; in do_perm_pred2() local
2216 fn(t_d, t_n, t_desc); in do_perm_pred2()
2366 TCGv_i32 t_desc; in find_last_active() local
3038 TCGv_i32 t_desc; in do_cntp() local
3697 TCGv_i32 t_desc; in trans_FADDA() local
3964 TCGv_i32 t_desc; in do_fmla() local
4014 TCGv_i32 t_desc; in DO_FMLA() local
4597 TCGv_i32 t_desc; in do_mem_zpa() local
4834 TCGv_i32 t_desc; in do_ldrq() local
[all …]
/dports/emulators/qemu-guest-agent/qemu-5.0.1/target/arm/
H A Dtranslate-sve.c2169 TCGv_i32 t_desc; in do_perm_pred3() local
2200 TCGv_i32 t_desc; in do_perm_pred2() local
2216 fn(t_d, t_n, t_desc); in do_perm_pred2()
2366 TCGv_i32 t_desc; in find_last_active() local
3038 TCGv_i32 t_desc; in do_cntp() local
3697 TCGv_i32 t_desc; in trans_FADDA() local
3964 TCGv_i32 t_desc; in do_fmla() local
4014 TCGv_i32 t_desc; in DO_FMLA() local
4597 TCGv_i32 t_desc; in do_mem_zpa() local
4834 TCGv_i32 t_desc; in do_ldrq() local
[all …]
/dports/emulators/qemu-powernv/qemu-powernv-3.0.50/target/arm/
H A Dtranslate-sve.c2173 TCGv_i32 t_desc; in do_perm_pred3() local
2204 TCGv_i32 t_desc; in do_perm_pred2() local
2220 fn(t_d, t_n, t_desc); in do_perm_pred2()
2370 TCGv_i32 t_desc; in find_last_active() local
3045 TCGv_i32 t_desc; in do_cntp() local
3710 TCGv_i32 t_desc; in trans_FADDA() local
3979 TCGv_i32 t_desc; in do_fmla() local
4030 TCGv_i32 t_desc; in DO_FMLA() local
4613 TCGv_i32 t_desc; in do_mem_zpa() local
4850 TCGv_i32 t_desc; in do_ldrq() local
[all …]
/dports/emulators/qemu42/qemu-4.2.1/target/arm/
H A Dtranslate-sve.c2169 TCGv_i32 t_desc; in do_perm_pred3() local
2200 TCGv_i32 t_desc; in do_perm_pred2() local
2216 fn(t_d, t_n, t_desc); in do_perm_pred2()
2366 TCGv_i32 t_desc; in find_last_active() local
3038 TCGv_i32 t_desc; in do_cntp() local
3697 TCGv_i32 t_desc; in trans_FADDA() local
3964 TCGv_i32 t_desc; in do_fmla() local
4014 TCGv_i32 t_desc; in DO_FMLA() local
4597 TCGv_i32 t_desc; in do_mem_zpa() local
4834 TCGv_i32 t_desc; in do_ldrq() local
[all …]
/dports/emulators/qemu-cheri/qemu-0a323821042c36e21ea80e58b9545dfc3b0cb8ef/target/arm/
H A Dtranslate-sve.c2169 TCGv_i32 t_desc; in do_perm_pred3() local
2200 TCGv_i32 t_desc; in do_perm_pred2() local
2216 fn(t_d, t_n, t_desc); in do_perm_pred2()
2366 TCGv_i32 t_desc; in find_last_active() local
3038 TCGv_i32 t_desc; in do_cntp() local
3697 TCGv_i32 t_desc; in trans_FADDA() local
3964 TCGv_i32 t_desc; in do_fmla() local
4014 TCGv_i32 t_desc; in DO_FMLA() local
4597 TCGv_i32 t_desc; in do_mem_zpa() local
4834 TCGv_i32 t_desc; in do_ldrq() local
[all …]
/dports/math/yices/yices-2.6.2/src/mcsat/bv/
H A Dbv_evaluator.c305 bvconst_term_t* t_desc = bvconst_term_desc(terms, t); in bv_evaluator_run_term() local
307 bvconstant_set_bitsize(out_value, t_desc->bitsize); in bv_evaluator_run_term()
308 bvconstant_copy(out_value, t_desc->bitsize, t_desc->data); in bv_evaluator_run_term()
312 bvconst64_term_t* t_desc = bvconst64_term_desc(terms, t); in bv_evaluator_run_term() local
314 bvconstant_set_bitsize(out_value, t_desc->bitsize); in bv_evaluator_run_term()
315 bvconstant_copy64(out_value, t_desc->bitsize, t_desc->value); in bv_evaluator_run_term()
H A Dbv_bdd_manager.c467 bvconst_term_t* t_desc = bvconst_term_desc(terms, t); in bv_bdd_manager_ensure_term_data() local
468 bvconstant_copy(&t_info->value, t_desc->bitsize, t_desc->data); in bv_bdd_manager_ensure_term_data()
474 bvconst64_term_t* t_desc = bvconst64_term_desc(terms, t); in bv_bdd_manager_ensure_term_data() local
475 bvconstant_copy64(&t_info->value, t_desc->bitsize, t_desc->value); in bv_bdd_manager_ensure_term_data()
/dports/devel/vstr/vstr-1.0.15/Documentation/
H A Dsec_txt2html.pl234 sub t_desc subroutine
343 OUT->print(t_desc($_));
/dports/emulators/qemu60/qemu-6.0.0/target/arm/
H A Dtranslate-sve.c2116 TCGv_i32 t_desc; in do_perm_pred3() local
2128 fn(t_d, t_n, t_m, t_desc); in do_perm_pred3()
2133 tcg_temp_free_i32(t_desc); in do_perm_pred3()
2147 TCGv_i32 t_desc; in do_perm_pred2() local
2158 fn(t_d, t_n, t_desc); in do_perm_pred2()
2304 TCGv_i32 t_desc; in find_last_active() local
2971 TCGv_i32 t_desc; in do_cntp() local
3621 TCGv_i32 t_desc; in trans_FADDA() local
4497 TCGv_i32 t_desc; in do_mem_zpa() local
4899 TCGv_i32 t_desc; in do_ldrq() local
[all …]
/dports/emulators/qemu5/qemu-5.2.0/target/arm/
H A Dtranslate-sve.c2120 TCGv_i32 t_desc; in do_perm_pred3() local
2132 fn(t_d, t_n, t_m, t_desc); in do_perm_pred3()
2137 tcg_temp_free_i32(t_desc); in do_perm_pred3()
2151 TCGv_i32 t_desc; in do_perm_pred2() local
2167 fn(t_d, t_n, t_desc); in do_perm_pred2()
2313 TCGv_i32 t_desc; in find_last_active() local
2981 TCGv_i32 t_desc; in do_cntp() local
3630 TCGv_i32 t_desc; in trans_FADDA() local
4506 TCGv_i32 t_desc; in do_mem_zpa() local
4908 TCGv_i32 t_desc; in do_ldrq() local
[all …]
/dports/misc/rump/buildrump.sh-b914579/src/sys/dev/ic/
H A Ddwc_gmac_var.h64 struct dwc_gmac_dev_dmadesc *t_desc; /* VA of TX ring start */ member
H A Ddwc_gmac.c506 sc->sc_txq.t_desc = sc->sc_rxq.r_desc + AWGE_RX_RING_COUNT; in dwc_gmac_alloc_dma_rings()
563 memset(ring->t_desc, 0, AWGE_TX_RING_COUNT*sizeof(*ring->t_desc)); in dwc_gmac_alloc_tx_ring()
580 ring->t_desc[i].ddesc_next = htole32( in dwc_gmac_alloc_tx_ring()
887 desc = &sc->sc_txq.t_desc[sc->sc_txq.t_cur]; in dwc_gmac_queue()
923 sc->sc_txq.t_desc[first].ddesc_status = in dwc_gmac_queue()
1001 desc = &sc->sc_txq.t_desc[i]; in dwc_gmac_tx_intr()
1330 struct dwc_gmac_dev_dmadesc *desc = &sc->sc_txq.t_desc[i]; in dwc_gmac_dump_tx_desc()
/dports/databases/mantis/mantisbt-2.25.2/
H A Dmanage_proj_edit_page.php719 $t_desc = custom_field_get_definition( $t_field_id ); ?>
722 custom_field_get_display_name( $t_desc['name'] ) . '</a>' ?></td>
/dports/graphics/libraw/LibRaw-0.20.2/src/write/
H A Dfile_write.cpp72 strncpy(th->t_desc, desc, 512); in tiff_head()
92 tiff_set(th, &th->ntag, 270, 2, 512, TOFF(th->t_desc)); in tiff_head()
/dports/graphics/freeimage/FreeImage/Source/LibRawLite/libraw/
H A Dlibraw_internal.h206 char t_desc[512], t_make[64], t_model[64], soft[32], date[20], t_artist[64]; member
/dports/graphics/darktable38/darktable-3.8.0/src/external/LibRaw/src/write/
H A Dfile_write.cpp73 strncpy(th->t_desc, desc, 512); in tiff_head()
93 tiff_set(th, &th->ntag, 270, 2, 512, TOFF(th->t_desc)); in tiff_head()
/dports/graphics/digikam/digikam-7.4.0/core/libs/rawengine/libraw/src/write/
H A Dfile_write.cpp73 strncpy(th->t_desc, desc, 512); in tiff_head()
93 tiff_set(th, &th->ntag, 270, 2, 512, TOFF(th->t_desc)); in tiff_head()
/dports/emulators/qemu-devel/qemu-de8ed1055c2ce18c95f597eb10df360dcb534f99/target/arm/
H A Dtranslate-sve.c2545 TCGv_i32 t_desc; in do_perm_pred3() local
2557 fn(t_d, t_n, t_m, t_desc); in do_perm_pred3()
2562 tcg_temp_free_i32(t_desc); in do_perm_pred3()
2576 TCGv_i32 t_desc; in do_perm_pred2() local
2587 fn(t_d, t_n, t_desc); in do_perm_pred2()
2589 tcg_temp_free_i32(t_desc); in do_perm_pred2()
2791 TCGv_i32 t_desc; in find_last_active() local
3470 TCGv_i32 t_desc; in do_cntp() local
4408 TCGv_i32 t_desc; in trans_FADDA() local
5306 TCGv_i32 t_desc; in do_mem_zpa() local
[all …]
/dports/emulators/qemu/qemu-6.2.0/target/arm/
H A Dtranslate-sve.c2544 TCGv_i32 t_desc; in do_perm_pred3() local
2556 fn(t_d, t_n, t_m, t_desc); in do_perm_pred3()
2561 tcg_temp_free_i32(t_desc); in do_perm_pred3()
2575 TCGv_i32 t_desc; in do_perm_pred2() local
2586 fn(t_d, t_n, t_desc); in do_perm_pred2()
2588 tcg_temp_free_i32(t_desc); in do_perm_pred2()
2790 TCGv_i32 t_desc; in find_last_active() local
3469 TCGv_i32 t_desc; in do_cntp() local
4407 TCGv_i32 t_desc; in trans_FADDA() local
5305 TCGv_i32 t_desc; in do_mem_zpa() local
[all …]
/dports/graphics/libraw/LibRaw-0.20.2/libraw/
H A Dlibraw_internal.h242 char t_desc[512], t_make[64], t_model[64], soft[32], date[20], t_artist[64]; member
/dports/databases/mantis/mantisbt-2.25.2/core/
H A Dprint_api.php1850 foreach ( $p_control_array as $t_name => $t_desc ) {
1853 …if( in_array( $t_name, array_values( $p_match ) ) || in_array( $t_desc, array_values( $p_match ) )…
1857 if( ( $t_name === $p_match ) || ( $t_desc === $p_match ) ) {
1861 $t_info .= sprintf( '<option%s value="%s">%s</option>', $t_sel, $t_name, $t_desc );

12