Public Git Hosting - isl.git/search

2023-04-14	Sven Verdoolaege	isl_tab_make_equalities_explicit: support undo Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-04-14	Sven Verdoolaege	isl_tab.c: rename rotate_constraints to rotate_constraints_right Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-04-14	Sven Verdoolaege	isl_tab.c: rotate_constraints: return isl_stat Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-04-01	Sven Verdoolaege	isl 0.26 Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-04-01	Sven Verdoolaege	doc: update supported versions of clang Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-04-01	Sven Verdoolaege	explicitly clean up interface/__pycache__/*.pyc Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-03-26	Sven Verdoolaege	extract-interface: when linking against libclang-cpp... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-03-26	Sven Verdoolaege	m4/ax_detect_clang.m4: preserve clang specific CPPFLAGS... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-03-26	Sven Verdoolaege	isl_tab_pip.c: propagate add_ineq context error to... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-03-26	Sven Verdoolaege	isl_tab_pip.c: find_solutions_main: propagate add_eq... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-03-26	Sven Verdoolaege	isl_tab_pip.c: find_in_pos: plug memory leak on error... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-03-26	Sven Verdoolaege	isl_tab_pip.c: no_sol_in_strict: fix error handling Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-03-23	Sven Verdoolaege	Merge branch 'maint'	commit \| commitdiff \| tree
2023-03-21	Sven Verdoolaege	fix export of isl_space_multi_union_pw_aff to templated... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-03-21	Sven Verdoolaege	interface/template_cpp.cc: move up from_list_{set,map... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-03-16	Sven Verdoolaege	isl_basic_map_find_output_upper_div_constraint: allow... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-03-16	Sven Verdoolaege	isl_map.c: is_potential_div_constraint: return isl_bool Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-03-16	Sven Verdoolaege	isl_map.c: is_potential_div_constraint: refer to variables... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-03-16	Sven Verdoolaege	isl_map.c: is_potential_div_constraint: fix/complete... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-03-16	Sven Verdoolaege	isl_map.c: div_involves_vars: take variable offset... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-03-16	Sven Verdoolaege	isl_basic_map_remove_divs_involving_dims: use isl_basic_map_... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-03-16	Sven Verdoolaege	isl_aff.c: pw_multi_aff_from_map_div: allow nested... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-03-12	Sven Verdoolaege	add isl_local_space_involves_dims Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-03-12	Sven Verdoolaege	add test for converting binary relation involving unknown... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-03-12	Sven Verdoolaege	isl_aff.c: extract out isl_basic_map_find_output_upper_div_c... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-03-12	Sven Verdoolaege	isl_aff.c: pw_multi_aff_from_map_check_div: use isl_basic_ma... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-03-12	Sven Verdoolaege	isl_aff.c: pw_multi_aff_from_map_check_div: use isl_basic_ma... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-03-12	Sven Verdoolaege	isl_aff.c: extract out isl_basic_map_inequality_extract_outp... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-03-12	Sven Verdoolaege	isl_aff.c: pw_multi_aff_from_map_div: merge two variables Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-03-12	Sven Verdoolaege	isl_aff.c: pw_multi_aff_from_map_div: use isl_basic_map_var_... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-03-04	Sven Verdoolaege	isl_pw_*_gist{,_params}: do not pre-compute hull of... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-03-04	Sven Verdoolaege	add isl_pw_aff_gist_params test case Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-03-04	Sven Verdoolaege	isl_polynomial.c: fix local_poly_move_dims documentation Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-03-04	Sven Verdoolaege	isl_qpolynomial_reset_domain_space: fix memory management... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-03-03	Sven Verdoolaege	Merge branch 'maint'	commit \| commitdiff \| tree
2023-03-03	Sven Verdoolaege	isl_input.c: read_map_tuple: do not take separate rational... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-03-01	Sven Verdoolaege	isl_map_intersect_{domain,range}_wrapped_domain: handle... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-03-01	Sven Verdoolaege	isl_*_copy_tuple_id: use BASE instead of TYPE to select... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-03-01	Sven Verdoolaege	isl_map_preimage_pw_multi_aff: fix plugging in empty... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-28	Sven Verdoolaege	isl_map_preimage_pw_multi_aff: fix plugging in empty... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-26	Sven Verdoolaege	add isl_union_pw_qpolynomial_domain_reverse Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-02-25	Sven Verdoolaege	add isl_pw_qpolynomial_domain_reverse Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-02-25	Sven Verdoolaege	add isl_qpolynomial_domain_reverse Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-02-25	Sven Verdoolaege	isl_qpolynomial_move_dims: extract out local_poly_move_dims Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-02-25	Sven Verdoolaege	extract out shared isl_qpolynomial_{take,restore}_local Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-02-25	Sven Verdoolaege	extract out shared isl_qpolynomial_get_local Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-02-25	Sven Verdoolaege	extract out shared isl_qpolynomial_{take,restore}_poly Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-02-25	Sven Verdoolaege	extract out shared isl_qpolynomial_get_poly Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-02-25	Sven Verdoolaege	isl_qpolynomial_as_polynomial_on_domain: rename local... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-02-25	Sven Verdoolaege	extract out shared isl_qpolynomial_{take,restore}_domain_space Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-02-25	Sven Verdoolaege	isl_qpolynomial_reset_domain_space: special case reset... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-02-25	Sven Verdoolaege	isl_qpolynomial_move_dims: perform more sanity checks Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-02-25	Sven Verdoolaege	isl_qpolynomial_move_dims: drop needless error label Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-02-25	Sven Verdoolaege	isl_qpolynomial_move_dims: use isl_qpolynomial_domain_var_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-02-25	Sven Verdoolaege	isl_qpolynomial_move_dims: use isl_qpolynomial_domain_dim Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-02-25	Sven Verdoolaege	isl_qpolynomial_move_dims: use isl_qpolynomial_get_ctx Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-02-25	Sven Verdoolaege	isl_qpolynomial_move_dims: use isl_local_move_vars Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-02-25	Sven Verdoolaege	isl_space_offset: return isl_size Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-02-25	Sven Verdoolaege	isl_output.c: defining_equality: return isl_size Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-02-25	Sven Verdoolaege	isl_basic_set_factorizer: use isl_basic_set_var_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-02-25	Sven Verdoolaege	isl_factorizer_groups: use isl_basic_set_var_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-02-25	Sven Verdoolaege	isl_basic_map_from_qpolynomial: use isl_basic_map_from_aff Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-02-25	Sven Verdoolaege	isl_basic_map_from_qpolynomial: rename local variable Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-02-25	Sven Verdoolaege	isl_local_space_get_local: fix memory management annotation Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	add exported isl_union_map_domain_reverse Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	add exported isl_map_domain_reverse Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	add exported isl_multi_pw_aff_domain_reverse Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	add exported isl_pw_multi_aff_domain_reverse Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	add exported isl_multi_aff_domain_reverse Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	isl_multi_*_un_op: allow space modification Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	introduce isl_multi_*_un_op_control Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	add exported isl_pw_aff_domain_reverse Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	isl_pw_*_un_op: allow space modification Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	isl_pw_*_un_op: allow domain modification Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	introduce isl_pw_*_un_op_control Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	add exported isl_set_wrapped_reverse Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	isl_basic_map_range_reverse: extract out isl_basic_map_rever... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	add exported isl_aff_domain_reverse Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	add isl_local_space_wrapped_reverse Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	isl_aff_set_nan: extract out isl_aff_{take,restore... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	move reverse tests to test2 program Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	isl_test2.cc: print parsed expected result Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	add exported isl_space_wrapped_reverse Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	add isl_space_check_is_wrapping Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	add exported isl_space_domain_reverse Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	isl_space_range_reverse: extract out isl_space_reverse_wrapped Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	isl_space_range_reverse: try and preserve dimension... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	isl_space.c: copy_ids: free original identifier Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	export isl_*_aff_plain_is_equal Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-12	Sven Verdoolaege	isl_multi_*_gist: handle explicit domain Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-12	Sven Verdoolaege	isl_multi_*_domain_intersect: drop redundant check Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-12	Sven Verdoolaege	isl_multi_*_domain_intersect: only extract domain once Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-12	Sven Verdoolaege	isl_multi_*_domain_intersect: minor clean-up Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-12	Sven Verdoolaege	isl_multi_*_domain_intersect: extract out isl_multi_... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-12	Sven Verdoolaege	isl_multi_*_gist: check domain compatibility Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-12	Sven Verdoolaege	isl_multi_intersect.c: extract out isl_multi_*_check_compati... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-12	Sven Verdoolaege	isl_multi_*_intersect_domain: always check domain compatibility Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-12	Sven Verdoolaege	isl_multi__apply_: reuse isl_multi__align_params_ Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-12	Sven Verdoolaege	mark isl_multi__apply_aligned_ static Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-12	Sven Verdoolaege	isl_multi__domain_intersect: reuse isl_align_params_templ.c Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
next

Integer set library

RSS Atom