Public Git Hosting - isl.git/search

2012-11-13	Sven Verdoolaege	isl_local_space_substitute_seq: take argument for the... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-13	Sven Verdoolaege	isl_aff_floor: normalize result Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-13	Sven Verdoolaege	isl_aff_ceil: compute ceil(e/m) as floor((e + m - 1)/m) Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-12	Sven Verdoolaege	isl_aff_gist: add missing isl_vec_cow Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-11	Sven Verdoolaege	isl_union_set_compute_schedule: double check that we... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-10	Sven Verdoolaege	isl_union_set_compute_schedule: ensure carry_dependences... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-04	Sven Verdoolaege	update for change in clang's DiagnosticOptions Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-14	Sven Verdoolaege	isl_map_plain_is_disjoint: handle inputs with different... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-13	Sven Verdoolaege	add README Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-13	Andreas Kloeckner	Introduce isl_int_free_str to remove GMP dependency... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-10	Sven Verdoolaege	isl_union_set_compute_schedule: handle result with... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-07	Sven Verdoolaege	isl_ast_codegen.c: generate_domain: postpone single... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-05	Sven Verdoolaege	isl_ast_build_ast_from_schedule: make construction... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-04	Sven Verdoolaege	isl_ast_build_ast_from_schedule: use "<" if upper bound... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-04	Sven Verdoolaege	isl_ast_expr: add isl_ast_op_lt and isl_ast_op_gt operations Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-04	Sven Verdoolaege	add isl_basic_set_from_params Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-29	Sven Verdoolaege	isl_ast_expr_from_aff: try harder to use isl_ast_op_pdiv_... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-29	Sven Verdoolaege	isl_ast_build_expr.c: separate out extract_modulo function Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-29	Sven Verdoolaege	isl_ast_build_expr.c: fix typo in comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-29	Sven Verdoolaege	isl_ast_build_expr.c: remove remnants of code removed... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-28	Sven Verdoolaege	add extra AST generation test case from CLooG Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-22	Sven Verdoolaege	isl_printer_print_str: handle NULL input Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-22	Sven Verdoolaege	isl_ast_expr_mod: perform missing multiplication Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-22	Tobias Grosser	Make sed expression in Makefile compatible with BSD... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	add isl_id_set_free_user Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	isl_printer_print_pw_aff: use isl_ast_expr when printing... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	add support for generating ASTs from schedule relations Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-18	Sven Verdoolaege	add ISL_CTX_{GET,SET}_STR_DEF macros Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
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
next

Integer set library

RSS Atom