Public Git Hosting - isl.git/search

2012-09-18	Sven Verdoolaege	doc: separate out polyhedral compilation functionality Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	add isl_set_dim_has_{lower,upper}_bound Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	isl_basic_set_substitute: check that input affine expression... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	isl_pw_multi_aff_substitute: improve error handling Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	isl_basic_map_align_divs: fix potential invalid access Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	isl_pw_multi_aff_from_map: detect strides in output... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	isl_pw_multi_aff_from_map: detect easy floors directly... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	privately export isl_map_is_set Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	add isl_pw_*_pullback_pw_multi_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	add isl_pw_*_pullback_multi_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	add isl_multi_aff_pullback_multi_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	add isl_aff_pullback_multi_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	add isl_local_space_preimage_multi_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	add isl_set_preimage_pw_multi_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	add isl_set_preimage_multi_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	add isl_basic_set_preimage_multi_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	isl_stream_new_str: fail on NULL input Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	privately export isl_multi_aff_align_divs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	add isl_basic_set_add_div_constraints Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	isl_map_is_subset: support rational maps Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	isl_stream_read_map: fix parsing of Omega input Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	isl_stream_read_map: add partial support for reading... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	isl_pw_aff_nonneg_set: return a rational set if the... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	isl_pw_aff_zero_set: return a rational set if the input... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	add isl_pw_aff_list_set_rational Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	add isl_pw_aff_set_rational Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	privately export isl_set_set_rational Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	add isl_set_has_rational Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	reimplement isl_stream_read_aff in terms of isl_stream_read_... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	declare isl_stream_read_multi_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	isl_stream_read_multi_aff: read tuples directly Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	isl_input.c: change tuple parsing Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	add isl_pw_multi_aff_range_product Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	add isl_multi_*_splice Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	add isl_multi_*_range_splice Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	add isl_multi_*_set_tuple_name Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	add isl_multi_*_range_product Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	add isl_multi_*_add_dims Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	add isl_multi_*_insert_dims Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	add isl_multi_pw_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	add isl_multi_aff_from_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	isl_multi_templ.c: rename align_params_multi_set_and... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	isl_multi_templ.h: avoid reference to explicit element... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	isl_multi__reset_space_and_domain: call isl__reset_domain_... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	generalize isl_multi_aff_flat_range_product Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	generalize isl_multi_aff_drop_dims Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	generalize isl_multi_aff_set_dim_name Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	generalize isl_multi_aff_zero Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	generalize isl_multi_aff_identity Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	add isl_pw_aff_zero_on_domain Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	add isl_pw_aff_var_on_domain Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-17	Sven Verdoolaege	add isl_aff_var_on_domain Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-17	Sven Verdoolaege	isl_input.c: obj_read_body: simplify error handling Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-17	Sven Verdoolaege	add isl_basic_set_drop_constraints_not_involving_dims Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-17	Sven Verdoolaege	add isl_{set,map}_drop_constraints_involving_dims Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-17	Sven Verdoolaege	add isl_set_unshifted_simple_hull Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-17	Sven Verdoolaege	isl_stream_read_union_map: force result to be a map Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-17	Sven Verdoolaege	add isl_union_map_subtract_range Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-17	Sven Verdoolaege	isl_set_from_pw_multi_aff: handle NULL input Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-15	Sven Verdoolaege	isl_union_map.c: plain_injective_on_range: silence... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-15	Sven Verdoolaege	isl_transitive_closure.c: union_components: avoid invalid... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-15	Sven Verdoolaege	isl_range.c qpolynomial_bound_on_domain_range: avoid... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-15	Sven Verdoolaege	isl_convex_hull.c: initial_facet_constraint: avoid... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-14	Sven Verdoolaege	isl_map_union: special case universal input Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-14	Sven Verdoolaege	isl_map_gist: special case universal and equal inputs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-13	Sven Verdoolaege	export isl_set_plain_cmp Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-13	Sven Verdoolaege	doc: clarify use of identifiers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-13	Sven Verdoolaege	add isl_basic_set_remove_unknown_divs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-13	Sven Verdoolaege	and isl_pw_aff_tdiv_q and isl_pw_aff_tdiv_r Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-13	Sven Verdoolaege	add isl_pw_aff_div Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-13	Sven Verdoolaege	add isl_set_is_disjoint Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-13	Sven Verdoolaege	isl_map_plain_is_disjoint: special case obviously empty... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-13	Sven Verdoolaege	isl_basic_map_is_empty: special case universal input Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-13	Sven Verdoolaege	isl_map_plain_is_disjoint: fix error handling Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-13	Sven Verdoolaege	isl_aff.c: fix typo in comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-10	Sven Verdoolaege	isl_aff_normalize: combine identical divs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-10	Sven Verdoolaege	isl_aff_normalize: plug in divs with denominator one Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-10	Sven Verdoolaege	extract out isl_local_space_substitute_seq Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-10	Sven Verdoolaege	extract out common isl_seq_substitute Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-10	Sven Verdoolaege	isl_aff_normalize: sort divs in local space of affine... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-10	Sven Verdoolaege	add isl_local_space_swap_div Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-10	Sven Verdoolaege	privately export isl_mat_cmp_div Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-06	Sven Verdoolaege	add isl_map_uncurry Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-06	Sven Verdoolaege	add isl_union_map_subtract_domain Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-06	Sven Verdoolaege	isl_pw_*_gist: avoid intersection of domain with context Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-06	Sven Verdoolaege	isl_map_intersect_domain: avoid useless double reverse Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-06	Sven Verdoolaege	isl_map_intersect_{range,domain}: stop allowing intersection... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-06	Sven Verdoolaege	isl_map_intersect: special case universal input Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-06	Sven Verdoolaege	add isl_constraint_list Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-06	Sven Verdoolaege	add isl_pw_multi_aff_set_pw_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-06	Sven Verdoolaege	add isl_pw_multi_aff_identity Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-06	Sven Verdoolaege	declare isl_pw_multi_aff_align_params Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-06	Sven Verdoolaege	declare isl_basic_map_remove_divs_involving_dims Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-06	Sven Verdoolaege	add isl_vec_fdiv_r Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-06	Sven Verdoolaege	add isl_*_list_insert Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-06	Sven Verdoolaege	declare isl_map_fix Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-06	Sven Verdoolaege	add isl_basic_map_upper_bound_si Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-06	Sven Verdoolaege	add isl_basic_map_order_ge Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-06	Sven Verdoolaege	declare isl_aff_zero_basic_set Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-06	Sven Verdoolaege	add isl_vec_concat Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
next

Integer set library

RSS Atom