/dports/math/yices/yices-2.6.2/src/mcsat/uf/ |
H A D | uf_plugin.c | 187 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 D | value.c | 87 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 D | rss-show.pl | 643 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 D | RSS.pm | 495 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 D | translate-sve.c | 2169 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 D | translate-sve.c | 2169 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 D | translate-sve.c | 2173 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 D | translate-sve.c | 2169 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 D | translate-sve.c | 2169 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 D | bv_evaluator.c | 305 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 D | bv_bdd_manager.c | 467 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 D | sec_txt2html.pl | 234 sub t_desc subroutine 343 OUT->print(t_desc($_));
|
/dports/emulators/qemu60/qemu-6.0.0/target/arm/ |
H A D | translate-sve.c | 2116 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 D | translate-sve.c | 2120 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 D | dwc_gmac_var.h | 64 struct dwc_gmac_dev_dmadesc *t_desc; /* VA of TX ring start */ member
|
H A D | dwc_gmac.c | 506 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 D | manage_proj_edit_page.php | 719 $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 D | file_write.cpp | 72 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 D | libraw_internal.h | 206 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 D | file_write.cpp | 73 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 D | file_write.cpp | 73 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 D | translate-sve.c | 2545 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 D | translate-sve.c | 2544 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 D | libraw_internal.h | 242 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 D | print_api.php | 1850 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 );
|