Public Git Hosting - isl.git/search

2016-06-27	Sven Verdoolaege	isl_tab_pip.c: isl_context_alloc: add memory management... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	isl_tab_pip.c: propagate_equalities: remove undo tracking... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	add isl_tab_need_undo and isl_tab_clear_undo Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	isl_tab_basic_map_partial_lexopt: limit scope of symmetry... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	isl_test.c: generalize isl_map_lexmin tests Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	doc: fix typo Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	doc: make reason for isolate option resulting in anchored... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-24	Sven Verdoolaege	isl_tab_pip.c: parallel_constraints: remove stale line... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-24	Sven Verdoolaege	isl_tab.c: fix typo in comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-24	Sven Verdoolaege	isl_*_partial_lex{min,max}_pw_multi_aff: handle existentiall... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-22	Sven Verdoolaege	isl_tab_pip.c: sol_pma_add: extract out set_from_affine_matrix Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-22	Sven Verdoolaege	add isl_basic_set_div_is_known Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-22	Sven Verdoolaege	add isl_basic_set_swap_div Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-22	Sven Verdoolaege	add isl_mat_scale Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-22	Sven Verdoolaege	isl_pip: allow existentially quantified variables in... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-22	Sven Verdoolaege	pip.c: set_plug_in_parameters: add memory management... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-22	Sven Verdoolaege	pip.c; plug_in_parameters: add memory management annotations Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-22	Sven Verdoolaege	pip.c: opt_at: add memory management annotations Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-22	Sven Verdoolaege	pip.c: opt_at: avoid accessing ctx field directly Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-22	Sven Verdoolaege	add isl_basic_map_div_is_marked_unknown Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-22	Sven Verdoolaege	isl_map.c: div_is_unknown: return isl_bool Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-22	Tobias Grosser	Add new isl_ast_node_to_C_str function Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-22	Tobias Grosser	Add new isl_ast_expr_to_C_str function Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-22	Tobias Grosser	python interface: replace assert with explicit abort... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-22	Tobias Grosser	python interface: replace assert with explicit abort... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-17	Sven Verdoolaege	doc: clarify that isl_printer_get_str can only be used... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-14	Sven Verdoolaege	doc: clean up extra files generated by biblatex Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-13	Sven Verdoolaege	isl_schedule_node_band_split: preserve isolate option Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-13	Sven Verdoolaege	add private isl_schedule_band_replace_ast_build_option Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-13	Sven Verdoolaege	use isl_schedule_node_band_get_ast_isolate_option to... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-13	Sven Verdoolaege	add isl_schedule_band_get_ast_isolate_option Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-11	Sven Verdoolaege	isl_basic_map_remove_redundancies: sort constraints Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-11	Sven Verdoolaege	isl_coalesce.c: fuse: simplify fused result immediately Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-11	Sven Verdoolaege	isl_coalesce.c: fuse: call isl_basic_map_finalize Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	isl_map_coalesce: check for protrusions on adjacent... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	isl_map_coalesce: allow protrusions out of equality... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	isl_coalesce.c: wrap_in_facets: extract out try_wrap_in_facets Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	isl_coalesce.c: can_wrap_in_set: extract out type_of_relaxed Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	isl_coalesce.c: wrap_in_facets: extract out wrap_in_facet Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	isl_coalesce.c: can_wrap_in_set: minor simplification Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	isl_coalesce.c: wrap_in_facets: do not pass in list... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	isl_map_coalesce: tighten constraints of potential... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	isl_map_coalesce: allow general coalescing with expanded... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	isl_coalesce.c: coalesce_with_expanded_divs: store... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	isl_coalesce.c: coalesce_local_pair: allow reuse of... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	isl_coalesce.c: coalesce_local_pair: extract out set_ineq_st... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	isl_coalesce.c: coalesce_local_pair: extract out set_eq_stat... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	isl_coalesce.c: coalesce_local_pair: extract out clear_status Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	isl_coalesce.c: coalesce_local_pair: extract out init_status Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	isl_coalesce.c: generalize check_coalesce_subset to... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	add isl_options_{get,set}_pip_symmetry Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-07	Sven Verdoolaege	add isl_basic_map_expand_divs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-07	Sven Verdoolaege	isl_map.c: fix typos in comments Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-07	Sven Verdoolaege	isl_output.c: fix typo in comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-07	Sven Verdoolaege	isl_tab.h: fix typo in comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-03	Sven Verdoolaege	Merge branch 'maint'	commit \| commitdiff \| tree
2016-06-03	Sven Verdoolaege	isl_basic_set_expand_divs: only add div constraints... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-02	Sven Verdoolaege	isl_coalesce.c: add_sub_vars: explicitly mark added... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-02	Sven Verdoolaege	isl_coalesce.c: add_sub_vars: move "correct" integer... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-02	Sven Verdoolaege	isl_coalesce.c: wrap_in_facets: avoid invalid access... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-02	Sven Verdoolaege	isl_printer_print_map: print div constraints again... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-02	Sven Verdoolaege	isl_printer_print_map: fix printing of affine expressions... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-02	Sven Verdoolaege	isl_output.c: print_disjuncts: avoid invalid access... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-02	Sven Verdoolaege	isl_output.c: print_disjunct: handle NULL input Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-02	Sven Verdoolaege	isl_vec_alloc: plug memory leak on error path Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-02	Sven Verdoolaege	isl_blk.c: extend: plug memory leak on error path Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-30	Sven Verdoolaege	AST generation: special case pure outer disjunctions Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-30	Sven Verdoolaege	add isl_{set,map}_drop_constraints_not_involving_dims Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-30	Sven Verdoolaege	add isl_{set,map}_plain_unshifted_simple_hull Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-30	Sven Verdoolaege	AST generation: always print braces around body of... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-30	Sven Verdoolaege	isl_tab_pip.c: find_solutions: extract out reset_any_to_unknown Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-30	Sven Verdoolaege	isl_map_*_simple_hull: keep results in a cache Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-30	Sven Verdoolaege	implement isl_set_free in terms of isl_map_free Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-30	Sven Verdoolaege	implement isl_set_cow in terms of isl_map_cow Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-30	Sven Verdoolaege	implement isl_set_alloc_space in terms of isl_map_alloc_space Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-30	Sven Verdoolaege	isl_map_alloc_space: rename "dim" argument to "space" Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-30	Sven Verdoolaege	isl_set_alloc_space: rename "dim" argument to "space" Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-30	Sven Verdoolaege	isl_pw_multi_aff_from_map: avoid computing all equalities... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-30	Sven Verdoolaege	isl_pw_multi_aff_from_map: extract out pw_multi_aff_from_map... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-30	Tobias Grosser	Export isl_val arithmetic and comparison methods Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-25	Sven Verdoolaege	isl_map_simplify.c: int_between_bounds: create tableau... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-25	Sven Verdoolaege	isl_map_simplify.c: int_between_bounds: special case... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-25	Sven Verdoolaege	isl_map_simplify.c: int_between_bounds: exploit the... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-25	Sven Verdoolaege	isl_basic_map_drop_redundant_divs: handle more cases Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-25	Sven Verdoolaege	isl_map_simplify.c: drop_more_redundant_divs: test... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-25	Sven Verdoolaege	isl_map_simplify.c: drop_more_redundant_divs: collect... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-25	Sven Verdoolaege	isl_map_simplify.c: drop_more_redundant_divs: no need... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-25	Sven Verdoolaege	isl_test.c: test_div: extract out test_elimination Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-25	Sven Verdoolaege	isl_map_simplify.c: construct_test_ineq: use isl_basic_map_dim Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-25	Sven Verdoolaege	isl_map_simplify.c: construct_test_ineq: use isl_basic_map_o... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-25	Sven Verdoolaege	isl_map_simplify.c: drop_more_redundant_divs: avoid... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-25	Sven Verdoolaege	isl_map_simplify.c: drop_more_redundant_divs: use isl_basic_... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-25	Sven Verdoolaege	isl_map_simplify.c: drop_more_redundant_divs: use isl_basic_... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-25	Sven Verdoolaege	isl_basic_map_drop_redundant_divs_ineq: simplify logic Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-25	Sven Verdoolaege	isl_basic_map_drop_redundant_divs_ineq: extract out... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-25	Sven Verdoolaege	Merge branch 'maint' into HEAD	commit \| commitdiff \| tree
2016-05-25	Sven Verdoolaege	isl_map_simplify.c: drop_more_redundant_divs: improve... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-25	Sven Verdoolaege	isl_scheduler.c: fix typo in comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-25	Sven Verdoolaege	isl_map_simplify.c: fix typo in comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-25	Sven Verdoolaege	isl_convex_hull.c: fix typo in comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
next

Integer set library

RSS Atom