Public Git Hosting - isl.git/search

2016-04-30	Michael Kruse	doc: Use T1 font encoding Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-26	Sven Verdoolaege	Merge branch 'maint' into release	commit \| commitdiff \| tree
2016-04-26	Sven Verdoolaege	doc: add some further reading Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-26	Sven Verdoolaege	doc: update integer set coalescing reference Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-26	Sven Verdoolaege	doc: add pip experiment inputs to distribution Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-24	Sven Verdoolaege	doc: add DOIs to some more bibtex entries Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-24	Sven Verdoolaege	doc: use biblatex for printing references Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-24	Sven Verdoolaege	doc: set algorithmautorefname Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-24	Sven Verdoolaege	doc: replace freshmeat links Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-24	Sven Verdoolaege	doc: rename isl_union_pw_aff_foreach_pw_aff callback... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-24	Sven Verdoolaege	avoid use of VLAs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	isl_schedule_constraints_compute_schedule: optionally... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	isl_scheduler.c: add_node: pass in instance set instead... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	isl_scheduler.c: add_node: minor clean-up Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	isl_scheduler.c: non_neg_lexmin: extract out non_empty_solution Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	isl_scheduler.c: non_neg_lexmin: explicitly use isl_tab_lexmin Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	isl_scheduler.c: carry_dependences: extract out non_neg_lexmin Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	isl_scheduler.c: carry_dependences: extract out carries_depe... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	add isl_tab_lexmin_dim Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	add isl_tab_lexmin_add_eq Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	break up isl_tab_basic_set_non_neg_lexmin Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	add isl_set_project_onto_map Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	make schedule_max_coefficient option work as advertised Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	isl_scheduler.c: extract out node_add_coefficient_constraints Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	isl_scheduler.c: count_bound_coefficient_constraints... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	isl_scheduler.c: add_bound_coefficient_constraints... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	isl_scheduler.c: add_bound_coefficient_constraints... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	schedule construction: use only positive parameter... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	isl_scheduler.c: extract out shared node_var_coef_offset Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	isl_scheduler.c: extract out shared extract_var_coef Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: coef_var_offset: minor simplification Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: extract out shared coef_var_offset Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: extract out shared inter_dim_map Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: extract out shared intra_dim_map Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: add_inter_proximity_constraints: return... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: add_inter_validity_constraints: return... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: add_intra_proximity_constraints: return... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: add_intra_validity_constraints: return... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: add_inter_constraints: rename "dim... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: add_inter_proximity_constraints: rename... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: add_inter_validity_constraints: rename... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: add_intra_constraints: rename "dim... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: add_intra_proximity_constraints: rename... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: add_intra_validity_constraints: rename... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: count_all_constraints: minor simplification Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: extract out shared is_any_validity Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: extract out shared add_var_sum_constraint Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: extract out shared add_param_sum_constraint Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: setup_lp: extract out add_sum_constraint Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: setup_lp: extract out count_bound_constant_... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: setup_lp: extract out add_bound_constant_co... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: setup_carry_lp: return isl_stat Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: setup_lp: return isl_stat Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: setup_lp: rename "dim" variable to... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_aff_expand_divs: minor clean-up Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_aff_expand_divs: extract out isl_vec_expand Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_aff_align_divs: skip extension if local spaces... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_aff_align_divs: use isl_local_space_dim Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_aff_align_divs: use isl_local_space_has_equal_space Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_local_space_is_equal: extract out isl_local_space_has_eq... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	doc: explain that option schedule_split_scaled is only... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	doc: change order of schedule options documentation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	doc: remove warning about scheduling interface being... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	doc: update isl_set_list_foreach_scc documentation... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	doc: add missing comma Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_schedule_node_free: update documentation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-14	Sven Verdoolaege	isl_printer_yaml_start_mapping: handle NULL input Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-14	Sven Verdoolaege	isl_scheduler.c: drop superfluous empty line Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-14	Sven Verdoolaege	isl_scheduler.c: fix whitespace Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-14	Sven Verdoolaege	isl_aff.c: fix whitespace Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-05	Sven Verdoolaege	isl_map_partial_lexopt_aligned: compute result as isl_pw_mul... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-01	Sven Verdoolaege	add isl_union_set_min_multi_union_pw_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-01	Sven Verdoolaege	isl_ilp.c: fix typos in comments Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-01	Sven Verdoolaege	isl_ast_build_expr_from_pw_aff: combine pieces with... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-01	Sven Verdoolaege	add isl_aff_eq_set Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-01	Sven Verdoolaege	add isl_aff_eq_basic_set Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-01	Sven Verdoolaege	isl_map_*_simple_hull: sort constraints before dropping... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-01	Sven Verdoolaege	isl_tab_detect_redundant: check later constraints first Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-01	Sven Verdoolaege	isl_tab_detect_redundant: extract out select_marked Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-01	Sven Verdoolaege	isl_map_gist: special case subset context Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-01	Sven Verdoolaege	isl_map_simplify.c: map_gist: extract out replace_by_universe Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-01	Sven Verdoolaege	doc: add isl_options_{get,set}_schedule_maximize_coincidence Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-30	Sven Verdoolaege	Merge branch 'maint' Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-30	Sven Verdoolaege	isl_map_unshifted_simple_hull: take into account all... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-29	Sven Verdoolaege	declare more isl_*_aff_to_str functions Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-29	Sven Verdoolaege	doc: rename argument of isl_multi_aff_to_str Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-27	Sven Verdoolaege	add isl_schedule_expand Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-27	Sven Verdoolaege	add isl_schedule_tree_set_pair Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-27	Sven Verdoolaege	isl_schedule_node_gist: drop identity expansions Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-27	Sven Verdoolaege	isl_schedule_node_gist: extract out gist_leave_expansion Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-27	Sven Verdoolaege	isl_schedule_node_band_sink: handle expansions Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-27	Sven Verdoolaege	isl_schedule_*_{get,peek}_leaf: update documentation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-27	Sven Verdoolaege	add isl_schedule_constraints_apply Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-27	Sven Verdoolaege	add isl_schedule_constraints_get_proximity Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-27	Sven Verdoolaege	isl_scheduler.c: fix typo in comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-27	Sven Verdoolaege	add isl_union_map_is_identity Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-27	Sven Verdoolaege	add isl_map_is_identity Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-22	Sven Verdoolaege	isl_basic_map_gist: simplify stride constraints Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-22	Sven Verdoolaege	add isl_mat_row_gcd Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-22	Sven Verdoolaege	isl_test.c: test_gist: check internal consistency Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
next

Integer set library

RSS Atom