Public Git Hosting - isl.git/search

2017-01-20	Sven Verdoolaege	isl_basic_map_is_set: return isl_bool Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-20	Sven Verdoolaege	isl_local_space_is_div_constraint: return isl_bool Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-20	Sven Verdoolaege	isl_local_space_is_named_or_nested: return isl_bool Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-20	Sven Verdoolaege	isl_space_has_named_params: return isl_bool Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-20	Sven Verdoolaege	isl_space_has_named_params: rename "dim" argument to... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-20	Sven Verdoolaege	isl_space_may_be_set: return isl_bool Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-20	Sven Verdoolaege	isl_space_is_named_or_nested: return isl_bool Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-20	Sven Verdoolaege	isl_space_may_be_set: rename "dim" argument to "space" Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-20	Sven Verdoolaege	isl_space_is_named_or_nested: rename "dim" argument... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-18	Sven Verdoolaege	Merge branch 'maint'	commit \| commitdiff \| tree
2017-01-18	Sven Verdoolaege	isl_basic_map_contains: return false in case of dimension... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-18	Sven Verdoolaege	isl_tab_pip.c: context_tab_for_lexmin: plug memory... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-18	Sven Verdoolaege	isl_basic_set_box_from_points: plug memory leak on... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-18	Sven Verdoolaege	isl_set_bounded_simple_hull: plug memory leak on error... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-18	Sven Verdoolaege	isl_map_simplify.c: normalize_divs: plug memory leak... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-18	Sven Verdoolaege	isl_map_simplify.c: coalesce_or_drop_more_redundant_divs... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-18	Sven Verdoolaege	isl_basic_set_solve_ilp: avoid double free on error... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-18	Sven Verdoolaege	isl_vertices.c: triangulate: improve error handling Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-18	Sven Verdoolaege	isl_farkas.c: farkas: improve error handling Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-18	Sven Verdoolaege	isl_basic_map_simplify: improve error handling Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-18	Sven Verdoolaege	isl_basic_map_drop_core: improve error handling Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-18	Sven Verdoolaege	isl_basic_map_set_to_empty: improve error handling Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-18	Sven Verdoolaege	isl_map_is_rational: fix error handling Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-16	Sven Verdoolaege	isl_map_simplify.c: ok_to_eliminate_div: also investigate... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-09	Sven Verdoolaege	isl_mat_inverse_product: improve error handling Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-09	Sven Verdoolaege	isl_test.c: test_div: use return value of isl_constraint_set... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-09	Sven Verdoolaege	isl_test.c: test_div: use return value of isl_constraint_set... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-09	Sven Verdoolaege	isl_test.c: test_construction: use return value of... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-09	Sven Verdoolaege	isl_test.c: test_construction: use return value of... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-09	Sven Verdoolaege	isl_input.c: accept_div: do not ignore return value... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-09	Sven Verdoolaege	isl_schedule_band_replace_ast_build_option: plug memory... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-09	Sven Verdoolaege	isl_local_space_intersect: plug memory leak on error... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-09	Sven Verdoolaege	isl_vec_expand: add missing return on error path Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-09	Sven Verdoolaege	isl_schedule_tree_dup: add missing return on error... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-09	Sven Verdoolaege	isl_schedule_node_group: add missing return on error... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-09	Sven Verdoolaege	isl_schedule_node_band_sink: add missing returns on... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-09	Sven Verdoolaege	isl_schedule_band_member_set_isolate_ast_loop_type... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-09	Sven Verdoolaege	isl_schedule_band_member_set_ast_loop_type: add missing... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-09	Sven Verdoolaege	isl_schedule_band_member_set_coincident: add missing... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-09	Sven Verdoolaege	isl_schedule_node_sequence_splice_child: add missing... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-09	Sven Verdoolaege	isl_schedule_read.c: read_band: avoid double free on... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-09	Sven Verdoolaege	isl_ast_build.c: isl_ast_build_set_loop_bounds: avoid... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-06	Sven Verdoolaege	isl_tab_basic_map_partial_lexopt: improve detection... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-03	Sven Verdoolaege	isl_tab_pip.c: sol_pop: extract out combine_initial_if_equal Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-03	Sven Verdoolaege	isl_tab_pip.c: sol_pop: extract out combine_initial_into_second Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-03	Sven Verdoolaege	isl_tab_pip.c: isl_partial_sol: use isl_multi_aff instead... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-03	Sven Verdoolaege	isl_tab_pip.c: isl_sol: keep track of space of output Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-03	Sven Verdoolaege	isl_tab_pip.c: sol_push_sol: clarify meaning of "M... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-03	Sven Verdoolaege	isl_tab_pip.c: remove wrappers for sol_*_free Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-03	Sven Verdoolaege	isl_tab_pip.c: move common parts of isl_*_free functions... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-03	Sven Verdoolaege	isl_tab_pip.c: set free callback before any other fields Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-03	Sven Verdoolaege	isl_tab_pip.c: extract out shared sol_init Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-03	Sven Verdoolaege	isl_tab_pip.c: isl_sol: update documentation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-03	Sven Verdoolaege	isl_tab_pip.c: move up set_from_affine_matrix Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-03	Sven Verdoolaege	isl_tab_pip.c: same_solution: return isl_bool Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-03	Sven Verdoolaege	isl_tab_pip.c: sol_*add: add memory management annotations Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-03	Sven Verdoolaege	isl_tab_pip.c: sol_push_sol: add memory management... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-03	Sven Verdoolaege	isl_tab_pip.c: sol_*_init: add memory management annotations Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-03	Sven Verdoolaege	add isl_pw_multi_aff_is_equal Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-03	Sven Verdoolaege	doc: document isl_pw_aff_is_equal Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-03	Sven Verdoolaege	isl_pw_aff_is_equal: change return type to isl_bool Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-03	Sven Verdoolaege	isl_pw_*_plain_is_equal: fix handling of NaNs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-03	Sven Verdoolaege	generalize isl_pw_aff_involves_nan Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-03	Sven Verdoolaege	doc: document isl_qpolynomial_is_nan Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	isl_stream_read_pw_multi_aff: read isl_pw_multi_aff... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	isl_stream_read_multi_pw_aff: extract out extract_mpa_from_tuple Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	isl_basic_map_range_map: use isl_basic_map_equate Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	isl_basic_map_domain_map: use isl_basic_map_equate Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	isl_tab_detect_implicit_equalities: reuse select_marked Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	isl_tab.c: move up select_marked Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	isl_map_coalesce: check status of inequality constraints... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	isl_map_coalesce: allow separating equality constraints... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	isl_map_coalesce: only harmonize divs if equality constraint... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	isl_basic_map_simplify: reduce coefficients of integer... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	isl_basic_map_gauss: do not extract partial explicit... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	isl_basic_map_gauss: extract out set_div_from_eq Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	isl_map_coalesce: harmonize integer divisions in stride... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	add isl_basic_map_set_div_expr_constant_num_si_inplace Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	add isl_basic_map_equal_div_expr_except_constant Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	isl_coalesce.c: set_up_substitutions: extract isl_basic_map_... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	isl_map.c: extract out shared isl_basic_map_check_range Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	isl_affine_hull.c: move isl__drop_constraints_ to... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	privately export isl_constraint_get_constant Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	isl_basic_map_shift_div: special case zero shift Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	isl_map_coalesce: take into account equality constraints... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	isl_coalesce.c: harmonize_divs: return isl_stat Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	isl_coalesce.c: shift_div: return isl_stat Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	privately export isl_val_get_num_isl_int Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	isl_local_space_get_div: handle presence of unknown... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	add isl_local_space_div_is_marked_unknown Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	add isl_local_div_is_marked_unknown Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	isl_map_coalesce: detect constants in potential extension Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	add isl_tab_detect_constants Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	isl_map_coalesce: detect constants among expanded divs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	add isl_tab_is_constant Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	isl_tab.c: isl_tab_min: extract out get_rounded_sample_value Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	isl_tab.c: extract out shared row_is_big Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	isl_coalesce.c: tab_insert_divs: extract out copy_ineq Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	isl_coalesce.c: expand_tab: first extract out list... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-19	Sven Verdoolaege	isl_coalesce.c: expand_tab: consume updated basic map Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
next

Integer set library

RSS Atom