Public Git Hosting - isl.git/search

2021-01-10	Sven Verdoolaege	merge test_plain_unshifted_simple_hull and test_unshifted_si... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2021-01-10	Sven Verdoolaege	perform plain_unshifted_simple_hull tests in terms... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-11-01	Sven Verdoolaege	isl 0.23	commit \| commitdiff \| tree
2020-11-01	Sven Verdoolaege	add note about isl-0.22 requiring C++11 to generate... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-11-01	Sven Verdoolaege	update AUTHORS Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-10-30	Sven Verdoolaege	Merge branch 'maint'	commit \| commitdiff \| tree
2020-10-30	Sven Verdoolaege	isl_tab.c: drop_bmap_div: fix error handling Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-10-23	Sven Verdoolaege	drop isl_map_{lower,upper}_bound_multi_val Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-09-09	Sven Verdoolaege	check_single_reference_templ.c: drop spurious empty... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-09-09	Sven Verdoolaege	isl_bernstein.c: drop spurious space Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-09-05	Sven Verdoolaege	isl_qpolynomial_fold_insert_dims: take into account... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-09-05	Sven Verdoolaege	isl_qpolynomial_fold_set_dim_name: take into account... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-09-03	Sven Verdoolaege	drop isl_tab_allocate_var Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-09-03	Sven Verdoolaege	isl_fold.c: move up domain_type Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-08-30	Sven Verdoolaege	isl_union__extract_: ignore parameters when looking... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-08-30	Sven Verdoolaege	isl_union_*: ignore parameters when looking up entries Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-08-30	Sven Verdoolaege	rename isl_union_*_has_same_domain_space to has_same_domain_... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-08-30	Sven Verdoolaege	isl_union__eval: extract out isl_union__foreach_on_domain Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-08-30	Sven Verdoolaege	isl_pw_qpolynomial_bound: handle differences in domain... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-08-25	Sven Verdoolaege	isl_union_map_is_subset: drop parameter alignment Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-08-25	Sven Verdoolaege	isl_union_map_extract_map: ignore parameters when looking... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-08-25	Sven Verdoolaege	isl_union_templ.c: *_match_domain_entry: ignore parameters Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-08-25	Sven Verdoolaege	test_inputs/codegen/pldi2012/figure8_b.in: specify... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-08-25	Sven Verdoolaege	isl_union_map_find_entry: check that input has single... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-08-25	Sven Verdoolaege	extract out shared isl_union_{map,set}_find_entry Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-08-23	Sven Verdoolaege	generalize isl_local_space_has_space Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-08-16	Sven Verdoolaege	isl_union_multi.c: isl_union_*_has_space: use isl_... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-08-16	Sven Verdoolaege	isl_union_*_eval: use isl_point_peek_space Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-08-16	Sven Verdoolaege	isl_local_space_get_hash: use isl_local_space_peek_space Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-08-15	Sven Verdoolaege	Merge branch 'maint'	commit \| commitdiff \| tree
2020-08-11	Sven Verdoolaege	isl_tab_dup: properly initialize cone field from original Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-08-05	Sven Verdoolaege	isl_test.c: before_for: explicitly check that depth... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-07-27	Sven Verdoolaege	isl_basic_map_drop_redundant_divs_ineq: avoid possible... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-07-26	Sven Verdoolaege	isl_multi_union_pw_aff_from_multi_pw_aff: avoid risk... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-07-23	Sven Verdoolaege	isl_ast_expr_from_aff: special case test for even value Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-07-23	Sven Verdoolaege	add isl_val_eq_si Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-07-20	Sven Verdoolaege	isl_map_simplify.c: reduced_using_equalities: pass... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-07-20	Sven Verdoolaege	isl_map_simplify.c: compute_elimination_index: pass... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-07-16	Sven Verdoolaege	isl_aff.c: fix typo in comment Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-07-16	Sven Verdoolaege	doc: fix typo in atomic AST generation option documentation Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-07-16	Sven Verdoolaege	doc: fix typo in isl_val_cmp_si documentation Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-07-09	Sven Verdoolaege	extract-interface: improve detection of clangEdit Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-07-09	Sven Verdoolaege	extract-interface: perform library check using (build... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-07-01	Sven Verdoolaege	isl_pw_*_foreach_lifted_piece: use isl_set_involves_locals Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-07-01	Sven Verdoolaege	isl_*_involves_locals: use stricter definition Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-06-25	Sven Verdoolaege	doc: properly document isl_space_can_uncurry Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-06-21	Sven Verdoolaege	isl_union_map_contains: ignore parameters in space... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-06-13	Sven Verdoolaege	build extract_interface using build compiler Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-06-13	Sven Verdoolaege	m4/ax_prog_cc_for_build.m4: do not override host compiler... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-06-13	Sven Verdoolaege	add m4/ax_prog_{cc,cxx}_for_build.m4 Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-06-13	Sven Verdoolaege	disable shared libraries when building extract_interface Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-06-13	Sven Verdoolaege	configure interface subdirectory separately Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-06-13	Sven Verdoolaege	Makefile.am: add missing $(EXEEXT) Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-06-13	Sven Verdoolaege	stop passing arguments to subdir configures Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-06-04	Sven Verdoolaege	export isl_*_list_drop Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-05-31	Sven Verdoolaege	extract-interface: link against single libclang-cpp... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-05-28	Sven Verdoolaege	isl_ast_codegen.c: list_constant_is_negative: use isl_pw_aff... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-05-28	Sven Verdoolaege	add isl_pw_*_every_piece Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-05-28	Sven Verdoolaege	add isl_*_list_every Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-05-28	Sven Verdoolaege	isl_ast_build_options_involve_depth: use isl_union_map_every_map Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-05-22	Sven Verdoolaege	extract_interface: do not take into account sysroot... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-05-17	Sven Verdoolaege	isl_basic_map_make_strides_explicit: move down isl_basic_map... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-05-04	Sven Verdoolaege	isl_map.c: extract out shared isl_basic_map_set_tuple_is_equal Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-05-04	Sven Verdoolaege	isl_map.c: extract out shared isl_map_set_tuple_is_equal Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-05-04	Sven Verdoolaege	rename isl_map_check_equal_tuples to isl_map_check_transform... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-05-01	Sven Verdoolaege	isl_codegen: skip explicit printing of outermost block... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-25	Sven Verdoolaege	add isl_basic_map_eliminate_pure_unit_divs Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-25	Sven Verdoolaege	isl_map_simplify.c: eliminate_unit_divs: allow selection... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-25	Sven Verdoolaege	isl_map_simplify.c: eliminate_unit_divs: extract out... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-12	Sven Verdoolaege	set sysroot if clang version used for bindings generation... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-12	Sven Verdoolaege	interface/generator.h: declare function call operator... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-12	Sven Verdoolaege	isl_test_cpp.cc: undefine assert before (re)defining it Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-04	Sven Verdoolaege	polytope_scan.c: isl_basic_set_samples: add memory... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-04	Sven Verdoolaege	polyhedron_minimize.c: vec_ror: add memory management... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-04	Sven Verdoolaege	polyhedron_minimize.c: isl_vec_lin_to_aff: add memory... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-04	Sven Verdoolaege	isl_tab.c: tab_mat_product: add memory management annotations Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-04	Sven Verdoolaege	isl_sample.c: vec_sum_of_neg: add memory management... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-04	Sven Verdoolaege	isl_mat.c: inv_subtract: add memory management annotations Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-04	Sven Verdoolaege	isl_mat.c: inv_oppose: add memory management annotations Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-04	Sven Verdoolaege	isl_mat.c: oppose: add memory management annotations Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-04	Sven Verdoolaege	isl_mat.c: subtract: add memory management annotations Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-04	Sven Verdoolaege	isl_mat.c: exchange: add memory management annotations Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-04	Sven Verdoolaege	isl_map_simplify.c: n_pure_div_eq: add memory management... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-04	Sven Verdoolaege	isl_map_simplify.c: swap_{,in}equality: add memory... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-04	Sven Verdoolaege	isl_map.c: parameter_compute_divs: add memory management... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-04	Sven Verdoolaege	isl_map.c: set_append_equalities: add memory management... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-04	Sven Verdoolaege	isl_map.c: move_divs_last: add memory management annotations Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-04	Sven Verdoolaege	isl_map.c: room_for_ineq: add memory management annotation Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-04	Sven Verdoolaege	isl_map.c: room_for_con: add memory management annotation Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-04	Sven Verdoolaege	isl_input.c: map_read_polylib: add memory management... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-04	Sven Verdoolaege	isl_input.c: read_disjuncts: add memory management... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-04	Sven Verdoolaege	isl_equalities.c: parameter_compression_multi: add... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-04	Sven Verdoolaege	isl_equalities.c: parameter_compression_1: add memory... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-04	Sven Verdoolaege	isl_equalities.c: particular_solution: add memory management... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-04	Sven Verdoolaege	isl_affine_hull.c: outside_point: add memory management... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-04	Sven Verdoolaege	isl_affine_hull.c: equalities_in_underlying_set: add... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-04	Sven Verdoolaege	isl_affine_hull.c: delete_row: add memory management... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-04	Sven Verdoolaege	isl_vec_lcm: add memory management annotation Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-04	Sven Verdoolaege	isl_mat_col_mul: add memory management annotation Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2020-04-04	Sven Verdoolaege	isl_mat_col_submul: add memory management annotation Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
next

Integer set library

RSS Atom