Public Git Hosting - isl.git/search

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
2014-11-20	Sven Verdoolaege	add isl_basic_map_find_dim_by_name Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_local_space_find_dim_by_name Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_union_pw_*_dim Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_union_set_dim Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_union_pw_multi_aff_multi_val_on_domain Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_pw_multi_aff_multi_val_on_domain Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_multi_aff_multi_val_on_space Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_pw_aff_val_on_domain Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_union_*_scale_down_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	generalize isl_pw_aff_scale_down_val to isl_{multi... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_qpolynomial_fold_scale_down_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_qpolynomial_scale_down_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	add isl_val_inv Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	Merge branch 'maint'	commit \| commitdiff \| tree
2014-11-20	Sven Verdoolaege	isl_basic_map_gist: avoid modifying input Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-19	Sven Verdoolaege	add isl_local_space_is_params Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-19	Sven Verdoolaege	isl_union_pw_multi_aff_add: compute sum on shared definition... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-18	Sven Verdoolaege	declare isl_union_pw_qpolynomial_neg Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-18	Sven Verdoolaege	declare isl_union_pw_multi_aff_intersect_params Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-18	Sven Verdoolaege	declare isl_union_pw_multi_aff_gist_params Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-18	Sven Verdoolaege	declare isl_union_pw_multi_aff_coalesce Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-18	Sven Verdoolaege	declare isl_union_pw_multi_aff_scale_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
next

Integer set library

RSS Atom