Public Git Hosting - isl.git/search

2017-06-30	Sven Verdoolaege	scheduler: fix handling of bounds on schedule coefficients Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-16	Sven Verdoolaege	interface: update to refactoring of frontend InputKind Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-12	Sven Verdoolaege	isl_access_info_compute_flow: support "kill" accesses Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-12	Sven Verdoolaege	add isl_union_map_intersect_range_factor_range Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-12	Sven Verdoolaege	add map_intersect_range_factor_range Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-12	Sven Verdoolaege	isl_union_map.c: gen_bin_entry: extract out bin_try_get_match Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-12	Sven Verdoolaege	add isl_maybe_isl_map Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-12	Sven Verdoolaege	isl_union_map.c: gen_bin_entry: improve error handling Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-12	Sven Verdoolaege	isl_union_map.c: gen_bin_op: unify callbacks Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-12	Sven Verdoolaege	isl_union_map.c: subtract_entry: use isl_union_map_get_ctx Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-12	Sven Verdoolaege	isl_union_map.c: subtract_entry: use isl_map_get_space Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-12	Sven Verdoolaege	isl_union_map.c: rename has_dim to has_space Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-12	Sven Verdoolaege	isl_union_map.c: has_dim: rename "dim" variable to... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-12	Sven Verdoolaege	isl_union_access_info_compute_flow: handle coscheduled... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-12	Sven Verdoolaege	add isl_map_intersect_domain_factor_range Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-12	Sven Verdoolaege	doc: break up paragraph describing isl_access_info_compute_f... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-12	Sven Verdoolaege	add basic isl_union_access_info_compute_flow tests Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-12	Sven Verdoolaege	add isl_flow_cmp application Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-12	Sven Verdoolaege	add isl_flow application Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-12	Sven Verdoolaege	add isl_union_access_info_read_from_file Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-12	Sven Verdoolaege	isl_union_access_info_from_sink: extract out isl_union_acces... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-12	Sven Verdoolaege	isl_union_access_info_from_sink: extract out isl_union_acces... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-12	Sven Verdoolaege	isl_printer_print_union_access_info: do not print empty... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-12	Sven Verdoolaege	isl_printer_print_union_access_info: extract out shared... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-12	Sven Verdoolaege	isl_printer_print_union_access_info: extract out field... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-12	Sven Verdoolaege	isl_flow.c: merge isl_union_access_info_set_* Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-12	Sven Verdoolaege	isl_union_access_info: treat access relations in a... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-12	Sven Verdoolaege	isl_printer_print_union_flow: consistently print full... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-12	Sven Verdoolaege	isl_schedule_{read,constraints}.c: extract out shared... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-12	Sven Verdoolaege	isl_schedule_read.c: extract_key: store key strings... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-12	Sven Verdoolaege	Merge branch 'maint'	commit \| commitdiff \| tree
2017-06-08	Sven Verdoolaege	properly add declaration of isl_multi_union_pw_aff_apply_pw_aff Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-08	Sven Verdoolaege	scheduler: exploit lineality space in difference set... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-06-07	Sven Verdoolaege	add isl_union_set_combined_lineality_space Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-06-07	Sven Verdoolaege	privately export isl_set_combined_lineality_space Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-06-07	Sven Verdoolaege	isl_basic_set_lineality_space: allow local variables... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-06-07	Sven Verdoolaege	add isl_basic_set_extract_equalities Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-06-07	Sven Verdoolaege	add isl_multi_aff_from_aff_mat Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-06-07	Sven Verdoolaege	scheduler: drop constraints that can only be used for... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-06-07	Sven Verdoolaege	isl_scheduler.c: collect_intra_validity: drop parameters Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-06-07	Sven Verdoolaege	isl_scheduler.c: intra_coefficients: separate cache... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-06-07	Sven Verdoolaege	isl_scheduler.c: count_map_constraints: count parametric... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-06-07	Sven Verdoolaege	isl_scheduler.c: extract out shared force_zero Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-06-07	Sven Verdoolaege	isl_scheduler.c: extract out shared update_count Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-06-07	Sven Verdoolaege	add isl_union_set_plain_gist Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-06-07	Sven Verdoolaege	add isl_map_plain_gist Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-06-07	Sven Verdoolaege	add isl_set_plain_gist_basic_set Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-06-07	Sven Verdoolaege	add isl_basic_set_{lower,upper}_bound_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-06-07	Sven Verdoolaege	doc: isl__bound_: specify header to include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-06-07	Sven Verdoolaege	scheduler: try carrying only self-dependences in the... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-06-07	Sven Verdoolaege	isl_map_is_disjoint: handle input with unaligned parameters Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-06-07	Sven Verdoolaege	update imath for fix of bug introduced in previous... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	isl_scheduler.c: compute_carrying_sol: extract out... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	isl_scheduler.c: find_node_coalescing: use half of... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	add isl_val_div_ui Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	isl_scheduler.c: compute_max_coefficient: round up... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	add isl_int_cdiv_q_ui Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	isl_test_int: add more isl_int_cdiv_q tests Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	imath backend: use tailored isl_int_fdiv_q_ui Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	isl_scheduler.c: compute_schedule_finish_band: split... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	isl_scheduler.c: split_scaled: do not enforce relative... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	scheduler: change order of coefficients in (I)LP problems Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	isl_scheduler.c: extract out shared node_par_coef_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	isl_scheduler.c: extract out shared node_cst_coef_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	isl_scheduler.c: extract_var_coef: drop comment on... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	isl_scheduler.c: add_var_sum_constraint: drop comment... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	isl_sched_node: drop cmap field Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	isl_scheduler.c: update_schedule: drop support for... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	scheduler: solve for original schedule coefficients Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	ignore computed schedule of timing test case Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	isl_scheduler.c: isl_sched_node: normalize non-trivial... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	add isl_mat_lexnonneg_rows Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	add isl_mat_reverse_gauss Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	add isl_mat_row_neg Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	isl_mat.c: extract out shared check_row Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	isl_scheduler.c: isl_sched_node: only store rows that... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	scheduler: reverse order of schedule coefficients Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	isl_scheduler.c: extract out shared node_var_coef_pos Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	isl_dim_map_range: allow negative strides Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	isl_scheduler.c: construct_trivial: construct region... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	isl_tab_basic_set_non_trivial_lexmin: take triviality... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	isl_tab_pip.c: region_is_trivial: return isl_bool Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	isl_tab_basic_set_non_trivial_lexmin: extract out fix_zero... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	isl_tab_pip.c: extend isl_trivial documentation Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	add isl_vec_is_zero Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	scheduler: solve Feautrier fallback as ILP to avoid... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	add isl_tab_lexmin_cut_to_integer Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	isl_scheduler.c: compute_schedule_finish_band: also... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	isl_scheduler.c: count_map_constraints: drop "carry... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	isl_scheduler.c: compute_carrying_sol: remove duplicate... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	isl_scheduler.c: carry_dependences: extract out compute_carr... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	isl_scheduler.c: carry_dependences: delay erroring... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	isl_scheduler.c: add_inter_constraints: return isl_stat Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	isl_scheduler.c: add_intra_constraints: return isl_stat Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	isl_scheduler.c: inter_dim_map: handle NULL input Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	isl_scheduler.c: intra_dim_map: handle NULL input Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	add isl_union_set_get_basic_set_list Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	isl_*_list_concat: special case pre-allocated list Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	add isl_union_{map,set}_remove_divs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-05-25	Sven Verdoolaege	add isl_basic_set_list_coefficients Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
next

Integer set library

RSS Atom