Public Git Hosting - isl.git/search

2015-02-02	Sven Verdoolaege	isl_tab.c: drop_col: drop column before dropping correspondi... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-02-02	Sven Verdoolaege	isl_tab_is_redundant: check whether passed constraint... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-02-02	Sven Verdoolaege	isl_coalesce.c: coalesce_with_subs: add div constraints... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-02-02	Sven Verdoolaege	isl_coalesce.c: add_subs: split adding of variables... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	generalize isl_multi_aff_floor to isl_multi_union_pw_aff_floor Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_multi_union_pw_aff_extract_multi_pw_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_multi_union_pw_aff_pullback_union_pw_multi_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_multi_union_pw_aff_apply_pw_multi_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_multi_union_pw_aff_apply_pw_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_multi_union_pw_aff_apply_multi_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_multi_union_pw_aff_apply_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_multi_union_pw_aff_domain Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_multi_union_pw_aff_intersect_range Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_union_pw_multi_aff_from_multi_union_pw_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_union_map_from_multi_union_pw_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_union_map_reset_range_space Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_multi_union_pw_aff_read_from_str Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_multi_union_pw_aff_zero_union_set Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_multi_union_pw_aff_multi_aff_on_domain Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_multi_union_pw_aff_multi_val_on_domain Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_multi_union_pw_aff_from_union_map Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_multi_union_pw_aff_from_union_pw_multi_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_multi_union_pw_aff_from_multi_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_multi_union_pw_aff_from_multi_pw_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_multi_union_pw_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	generalize isl_multi__gist and isl_multi__intersect_domain Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	extract out isl_multi_gist.c and isl_multi_intersect.c Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	extract out isl_multi_macro.h Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	streamline isl_multi__{gist,intersect_*} Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	isl_union_pw_*_align_params: extract out isl_union_pw_... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	isl_union_pw_*_align_params: drop dead code Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_union_pw_aff_pullback_union_pw_multi_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_union_map_from_union_pw_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_union_pw_aff_zero_union_set Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_union_pw_multi_aff_from_union_pw_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_union_pw_multi_aff_get_union_pw_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_union_pw_aff_mod_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_union_pw_aff_aff_on_domain Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_union_pw_aff_val_on_domain Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_union_pw_aff_floor Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_union_pw_aff_list Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_union_pw_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	isl_output.c: print_pw_aff_isl: extract out print_pw_aff_body Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	isl_union_templ.c: allow multiple inclusion Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_union_map_domain_map_union_pw_multi_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_union_pw_multi_aff_pullback_union_pw_multi_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_union_pw_multi_aff_from_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_union_pw_*_set_dim_name Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_union_pw_*_drop_dims Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_union_pw__n_pw_ Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_union_pw_*_reset_user Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_pw_*_reset_user Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_pw_multi_aff_range_map Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	add isl_pw_aff_pos_set Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	isl_pw_aff_nonneg_set: merge implementation with pw_aff_zero_set Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Sven Verdoolaege	generalize isl_union_pw_qpolynomial_neg Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-23	Tobias Grosser	Fix some typos in comments Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-17	Sven Verdoolaege	add isl_multi_*_neg Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-17	Sven Verdoolaege	add isl_multi_*_mod_multi_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-17	Sven Verdoolaege	add isl_multi_val_read_from_str Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-17	Sven Verdoolaege	isl_input.c: read_tuple: separate tuple parsing from... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-17	Sven Verdoolaege	generalize isl_multi_aff_sub Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-16	Sven van Haastregt	doc: clarify list capacity Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-16	Sven Verdoolaege	isl_map_coalesce: harmonize integer divisions that... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-16	Sven Verdoolaege	add isl_tab_shift_var Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-16	Sven Verdoolaege	add isl_basic_map_shift_div Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-12	Sven Verdoolaege	isl_map_coalesce: coalesce within affine hull first Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-12	Sven Verdoolaege	privately export isl_basic_map_get_hash Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-12	Sven Verdoolaege	isl_map_coalesce: try and coalesce basic maps with... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-12	Sven Verdoolaege	isl_coalesce.c: is_adj_eq_extension: allow basic maps... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-12	Sven Verdoolaege	isl_coalesce.c: fuse: allow basic maps to have different... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-12	Sven Verdoolaege	isl_map_coalesce: remove hidden factors from constraint... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-12	Sven Verdoolaege	add isl_basic_map_reduce_coefficients Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-12	Sven Verdoolaege	isl_map_coalesce: handle divs that have been simplified... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-12	Sven Verdoolaege	privately export isl_aff_substitute_equalities Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-12	Sven Verdoolaege	add isl_local_space_wrap Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-12	Sven Verdoolaege	add isl_tab_insert_var Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-12	Sven Verdoolaege	isl_map_coalesce: check for subsets with smaller number... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-12	Sven Verdoolaege	add isl_basic_map_plain_affine_hull Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-12	Sven Verdoolaege	isl_coalesce.c: can_wrap_in_facet: only wrap facet... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-12	Sven Verdoolaege	isl_coalesce.c: can_wrap_in_facet: extract out add_wraps_aro... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-12	Sven Verdoolaege	isl_coalesce.c: check_adj_eq: allow cut constraints... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-12	Sven Verdoolaege	isl_coalesce.c: check_adj_eq: drop redundant test Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-09	Sven Verdoolaege	isl_coalesce.c: wrap_in_facets: check for number of... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-09	Sven Verdoolaege	isl_coalesce.c: wrap_in_facets: only wrap around other... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-09	Sven Verdoolaege	isl_map_coalesce: only wrap constraints that are not... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-09	Sven Verdoolaege	isl_coalesce.c: add_wraps: extract out common add_wrap Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-09	Sven Verdoolaege	isl_coalesce.c: fuse: copy valid half of equality Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-07	Sven Verdoolaege	isl_coalesce.c: fuse: extract out add_valid_constraints Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-07	Sven Verdoolaege	add extra isl_set_coalesce test case Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-07	Sven Verdoolaege	isl_test: generalize coalesce tests with unbounded... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-07	Sven Verdoolaege	isl_coalesce.c: contains: always return equalities... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-07	Sven Verdoolaege	isl_coalesce_info: add equality and inequality types Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-07	Sven Verdoolaege	isl_coalesce.c: contains: pass isl_coalesce_info instead... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-07	Sven Verdoolaege	isl_coalesce.c: wraps_update_max: pass isl_coalesce_info... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-07	Sven Verdoolaege	isl_coalesce.c: add_wraps: pass isl_coalesce_info instead... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-07	Sven Verdoolaege	isl_map_coalesce: keep track of information on basic... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-07	Sven Verdoolaege	isl_coalesce.c: extract out update_basic_maps Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-07	Sven Verdoolaege	isl_coalesce.c: coalesced_subset: separate check from... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-07	Sven Verdoolaege	isl_coalesce.c: coalesce: keep track of how a pair... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
next

Integer set library

RSS Atom