Public Git Hosting - isl.git/search

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
2015-01-01	Sven Verdoolaege	isl_coalesce.c: is_adj_eq_extension: always put extension... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-01	Sven Verdoolaege	isl_coalesce.c: fuse: always put fused basic map in... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-01	Sven Verdoolaege	isl_coalesce.c: wrap_in_facets: simplify computation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-01	Sven Verdoolaege	isl_coalesce.c: check_eq_adj_eq: allow multiple equalities... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-01	Sven Verdoolaege	isl_test.c: fix whitespace Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-01	Sven Verdoolaege	add isl_basic_map_detect_inequality_pairs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-01-01	Sven Verdoolaege	Merge branch 'maint'	commit \| commitdiff \| tree
2015-01-01	Sven Verdoolaege	isl_convex_hull.c: compute_facet: avoid double free... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-25	Sven Verdoolaege	isl_coalesce.c: coalesce_subset: properly indicate... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-25	Sven Verdoolaege	isl_coalesce.c: set_from_updated_bmap: update underlying set Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-25	Sven Verdoolaege	isl_coalesce.c: check_facets: update justification Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-25	Sven Verdoolaege	isl_coalesce.c: check_facets: mark tableau rational... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-25	Sven Verdoolaege	add isl_tab_mark_rational Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-25	Sven Verdoolaege	isl_coalesce.c: fix typos in comments Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-25	Sven Verdoolaege	isl_coalesce.c: can_wrap_in_facet: update comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-25	Sven Verdoolaege	isl_coalesce.c: check_wrap: update comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-25	Sven Verdoolaege	isl_tab_relax: return int instead of isl_tab * Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-25	Sven Verdoolaege	isl_tab_relax: avoid NULL pointer dereference Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-25	Sven Verdoolaege	isl_tab_add_eq: propagate errors of drop_row Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-25	Sven Verdoolaege	isl_tab.c: perform_undo_var: propagate errors of drop_row... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-25	Sven Verdoolaege	isl_tab_min_at_most_neg_one: be consistent about returning... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-25	Sven Verdoolaege	Merge branch 'maint'	commit \| commitdiff \| tree
2014-12-25	Sven Verdoolaege	isl_ast_build_ast_from_schedule: remove redundant constraints Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-25	Sven Verdoolaege	add isl_union_{set,map}_remove_redundancies Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-25	Sven Verdoolaege	isl_ast_build_expr.c: isl_ast_expr_add_term: allow... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-25	Sven Verdoolaege	isl_ast_codegen.c: add_implied_guards: combine degenerate... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-25	Sven Verdoolaege	isl_ast_build_expr.c: isl_ast_expr_add_term: store... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-25	Sven Verdoolaege	isl_ast_build_expr.c: try_extract_mod: declare variables... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-24	Sven Verdoolaege	AST generator: select unroll lower bound introducing... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-24	Sven Verdoolaege	isl_ast_codegen.c: move up at_offset Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-24	Sven Verdoolaege	isl_ast_codegen.c: extract out is_better_lower_bound Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-19	Sven Verdoolaege	isl_printer_flush: actually clear buffer when called... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-02	Sven Verdoolaege	isl_map_gist: try and exploit implicit constraints... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-02	Sven Verdoolaege	isl_test.c: test_gist: consider test inputs as sets... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-02	Sven Verdoolaege	add isl_map_unshifted_simple_hull_from_map_list Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-02	Sven Verdoolaege	add isl_union_set_list_union Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-02	Sven Verdoolaege	add isl_basic_map_list_intersect Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-02	Sven Verdoolaege	isl_map.c: fix whitespace Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-02	Sven Verdoolaege	add isl_union_pw_multi_aff_list Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-02	Sven Verdoolaege	add isl_union_set_list Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-02	Sven Verdoolaege	add isl_union_map_list Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-27	Sven Verdoolaege	add isl_map_list Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-27	Sven Verdoolaege	add isl_basic_map_list Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-27	Sven Verdoolaege	add isl_union_set_identity_union_pw_multi_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_union_set_project_out Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_union_map_flat_domain_product Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_union_{set,map}_is_disjoint Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_basic_map_gist_domain Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_union_pw_*_subtract_domain Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_pw_*_subtract_domain Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_union_map_factor_domain Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_union_map_factor_range Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_union_map_range_factor_range Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_union_map_domain_factor_domain Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_union_map_domain_factor_range Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_map_factor_domain Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_map_factor_range Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_space_factor_domain Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_space_factor_range Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_map_domain_factor_domain Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_map_domain_factor_range Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_space_domain_factor_range Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_union_set_wrapped_domain_map Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_set_wrapped_domain_map Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_union_map_involves_dims Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_union_pw_*_find_dim_by_name Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_pw_*_find_dim_by_name Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_multi_*_find_dim_by_name Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_aff_find_dim_by_name Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_union_map_find_dim_by_name Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
next

Integer set library

RSS Atom