Public Git Hosting - isl.git/search

2023-08-06	Sven Verdoolaege	isl_ast_build_expr.c: extract_modulo: consider simple... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-08-06	Sven Verdoolaege	isl_ast_build_expr.c: mod_constraint_is_simpler: extract... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-08-06	Sven Verdoolaege	isl_ast_build_expr.c: replace_if_simpler: extract out... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-08-06	Sven Verdoolaege	isl_ast_build_expr.c: is_parallel_or_opposite: add... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-08-06	Sven Verdoolaege	isl_ast_build_expr.c: decompose check_parallel_or_opposite Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-08-06	Sven Verdoolaege	isl_ast_build_expr.c: mod_constraint_is_simpler: return... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-08-06	Sven Verdoolaege	isl_ast_build_expr.c: check_parallel_or_opposite: extract... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-08-06	Sven Verdoolaege	isl_ast_build_expr.c: check_parallel_or_opposite: extract... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-08-06	Sven Verdoolaege	isl_ast_build_expr.c: check_parallel_or_opposite: extract... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-07-21	Sven Verdoolaege	isl_coalesce.c: set_from_updated_bmap: take single... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-07-21	Sven Verdoolaege	isl_coalesce.c: add_wrap: return isl_bool Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-05-13	Sven Verdoolaege	cpp/cpp.h.top: mark exception::what override Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-05-09	Sven Verdoolaege	extract-interface: link in libclangSupport when available Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-05-09	Sven Verdoolaege	extract-interface: link in clangDriver before clangBasic Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-04-14	Sven Verdoolaege	isl_map_coalesce: avoid ignoring constraints redundant... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
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-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_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 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: 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-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-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
2023-02-12	Sven Verdoolaege	add isl_multi__aff_gist_ test cases Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-12	Sven Verdoolaege	export isl_multi_{union_,}pw_aff_gist_params Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-05	Sven Verdoolaege	export isl_union_set_project_out_all_params Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-05	Sven Verdoolaege	export isl_space_drop_all_params Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-05	Sven Verdoolaege	export isl_*_drop_unused_params Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-05	Sven Verdoolaege	add isl_union_pw_*_drop_unused_params Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-05	Sven Verdoolaege	add isl_union_{set,map}_drop_unused_params Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-05	Sven Verdoolaege	isl_*_drop_unused_params: extract out shared implementation Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-05	Sven Verdoolaege	isl_map_drop_unused_params: use isl_map_drop instead... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-05	Sven Verdoolaege	export *on_domain functions to instances representing... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-05	Sven Verdoolaege	interface/template_cpp.cc: move set_from_params next... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-01-28	Sven Verdoolaege	add exported isl_fixed_box_read_from_str Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-01-28	Sven Verdoolaege	isl_printer_print_fixed_box: extract out field names Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-01-28	Sven Verdoolaege	expose isl_stream_read_multi_val Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-01-22	Sven Verdoolaege	export isl_pw_aff_params Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-01-22	Sven Verdoolaege	export isl_union_{set,map}_params Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-01-22	Sven Verdoolaege	export isl_map_params Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-01-02	Sven Verdoolaege	isl_output.c: extract out shared print_union_*_isl Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-01-02	Sven Verdoolaege	isl_output.c: rename isl_union_map_print_isl to print_union_... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-01-02	Sven Verdoolaege	isl_output.c: rename isl_map_print_isl_body to print_body_map Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-01-02	Sven Verdoolaege	rename isl_printer_print_union_map_isl_body to print_body_un... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-01-02	Sven Verdoolaege	isl_output.c: rename isl_pwf_print_isl_body to print_body_pw... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-01-02	Sven Verdoolaege	isl_output.c: rename isl_pwqp_print_isl_body to print_body_p... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-01-02	Sven Verdoolaege	isl_output.c: rename print_union_pw_aff_body to print_body_u... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-01-02	Sven Verdoolaege	isl_aff.c: extract out shared shared isl_union_*_union_add... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-01-02	Sven Verdoolaege	isl_aff.c: extract out shared isl_pw_*_union_add implementation Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-01-02	Sven Verdoolaege	isl_output.c: extract out shared isl_pw_print_templ.c Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-01-02	Sven Verdoolaege	isl_output.c: print_body_pw_multi_aff: use isl_pw_multi_aff_... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-01-02	Sven Verdoolaege	isl_output.c: print_body_pw_aff: use isl_pw_aff_peek_base_at Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
next

Integer set library

RSS Atom