Public Git Hosting - isl.git/search

2024-06-16	Sven Verdoolaege	detect more forms of modulo expressions when extracting...	commit \| commitdiff \| tree
2024-06-16	Sven Verdoolaege	isl_map.c: extract out shared extract_aff	commit \| commitdiff \| tree
2024-06-16	Sven Verdoolaege	isl_map.c: construct_mod: extract out wrap_for_plug_in... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-05-25	Sven Verdoolaege	isl_basic_map_gist: allow existentially quantified... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-05-25	Sven Verdoolaege	isl_basic_map_align_divs: use isl_basic_map_dim Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-05-25	Sven Verdoolaege	isl_basic_map_align_divs: use number of local variables... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-05-25	Sven Verdoolaege	isl_map.c: find_div: return isl_size Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-05-25	Sven Verdoolaege	isl_basic_map_plain_unshifted_simple_hull: explicitly... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-05-25	Sven Verdoolaege	isl_basic_map_remove_shifted_constraints: align with... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-05-25	Sven Verdoolaege	isl_basic_map_remove_shifted_constraints: drop existentials... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-05-25	Sven Verdoolaege	privately expose isl_basic_map_remove_unknown_divs Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-05-25	Sven Verdoolaege	add some isl_basic_set_gist tests Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-05-25	Sven Verdoolaege	move some gist tests to isl_test2.cc Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-05-25	Sven Verdoolaege	isl_test2.cc: test(R (T::*fn)(A1 &, A2 &)): extract... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-05-25	Sven Verdoolaege	isl_test2.cc: test(R (T::*fn)(A1 &, A2 &)): fix typo... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-05-25	Sven Verdoolaege	isl_test.c: test_gist: fix check for internal consistency Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-04-20	Sven Verdoolaege	isl_test_cpp17-generic.cc: work around std::optional... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-04-07	Sven Verdoolaege	isl_tab_basic_map_partial_lexopt: copy integer divisions...	commit \| commitdiff \| tree
2024-04-07	Sven Verdoolaege	isl_tab_pip.c: find_context_div: extract out find_div_involv...	commit \| commitdiff \| tree
2024-04-07	Sven Verdoolaege	add isl_basic_set_add_div_constraints Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-04-07	Sven Verdoolaege	add isl_basic_set_insert_div Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-03-24	Sven Verdoolaege	detect some modulo expressions when extracting a function	commit \| commitdiff \| tree
2024-02-25	Sven Verdoolaege	isl_basic_map_simplify: eliminate integral integer...	commit \| commitdiff \| tree
2023-07-21	Sven Verdoolaege	isl_sample.c: tab_shift_cone: fix typo in comment Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-07-21	Sven Verdoolaege	test_inputs/codegen/separate2.in: fix typo in comment Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-07-01	Sven Verdoolaege	isl_basic_set_intersect_params: extract out isl_basic_map_in... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-04-23	Sven Verdoolaege	isl_pw_qpolynomial_bound: special case affine polynomials Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-04-23	Sven Verdoolaege	isl_bound.c: unwrap: rename "poly" parameter to "qp" Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-04-23	Sven Verdoolaege	isl_bound.c: guarded_poly_bound: extract out unwrap Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-04-23	Sven Verdoolaege	isl_bound.c: unwrapped_guarded_poly_bound: take struct... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-04-23	Sven Verdoolaege	isl_bound.c: compressed_guarded_poly_bound: take struct... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-04-23	Sven Verdoolaege	extract out shared isl_qpolynomial_isa_aff Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-04-23	Sven Verdoolaege	isl_basic_map_from_qpolynomial: extract out isl_qpolynomial_... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-04-23	Sven Verdoolaege	extract out shared isl_qpolynomial_peek_poly Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-04-15	Sven Verdoolaege	perform checked C++ bindings tests as soon as C++11... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-04-15	Sven Verdoolaege	remove check for presence of cpp.h Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-04-15	Sven Verdoolaege	always run Python tests if Python is available Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-04-15	Sven Verdoolaege	always build Python interface Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-04-15	Sven Verdoolaege	add generated interfaces Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-04-15	Sven Verdoolaege	generate interfaces in source tree Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-04-15	Sven Verdoolaege	Makefile.am: always define CPP_INTERFACES Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-04-15	Sven Verdoolaege	interface/isldlname.py: create destination directory Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-04-15	Sven Verdoolaege	split off machine dependent part of Python interface Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-04-15	Sven Verdoolaege	always build Python interface if possible Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-04-15	Sven Verdoolaege	Makefile.am: avoid automatic variable $< Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-04-15	Sven Verdoolaege	use single space indentation for access specifiers... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-04-15	Sven Verdoolaege	generate bindings into temporary files first Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-04-15	Sven Verdoolaege	be less verbose when generating bindings Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	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-16	Sven Verdoolaege	isl_basic_map_find_output_upper_div_constraint: allow...	commit \| commitdiff \| tree
2023-03-16	Sven Verdoolaege	isl_map.c: is_potential_div_constraint: return isl_bool	commit \| commitdiff \| tree
2023-03-16	Sven Verdoolaege	isl_map.c: is_potential_div_constraint: refer to variables...	commit \| commitdiff \| tree
2023-03-16	Sven Verdoolaege	isl_map.c: is_potential_div_constraint: fix/complete...	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...	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-01	Sven Verdoolaege	isl_map_preimage_pw_multi_aff: fix plugging in empty...	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-12	Sven Verdoolaege	interface: update to move of llvm/Support/Host.h to... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-02-12	Sven Verdoolaege	scheduler: simplify schedule constraints with respect... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-02-04	Sven Verdoolaege	isl_tab.c: print_tab_var: also mark frozen constraints Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-02-04	Sven Verdoolaege	isl_tab_print_internal: extract out print_tab_var Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-02-03	Sven Verdoolaege	add configure~ to .gitignore Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-02-03	Sven Verdoolaege	m4/ax_compiler_vendor.m4: detect Portable C Compiler Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-02-03	Sven Verdoolaege	m4/ax_prog_cc_for_build.m4: work around change in autoconf... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
next

Integer set library

RSS Atom