Public Git Hosting - isl.git/search

2014-09-11	Sven Verdoolaege	doc: fix documentation of isl_basic_set_{in,}equalities_matrix Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-11	Sven Verdoolaege	Merge branch 'maint'	commit \| commitdiff \| tree
2014-09-11	Sven Verdoolaege	isl_convex_hull.c: convex_hull_pair: add missing return Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-04	Sven Verdoolaege	isl_map_{domain,range}_product: remove possible obvious... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-03	Sven Verdoolaege	isl_map.c: map_product: rename "dim_product" argument... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-03	Sven Verdoolaege	add isl_map_remove_obvious_duplicates Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-03	Sven Verdoolaege	isl_map_normalize: extract out sort_and_remove_duplicates Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-03	Sven Verdoolaege	isl_map_normalize: remove empty parts before sorting Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-03	Sven Verdoolaege	isl_basic_map_sort_constraints: use isl_sort Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-03	Sven Verdoolaege	isl_basic_map_sort_constraints: skip sorting if constraints... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-03	Sven Verdoolaege	isl_basic_map_align_divs: only extend dst when needed Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-03	Sven Verdoolaege	clean up isl_basic_map_align_divs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-03	Sven Verdoolaege	isl_map_simplify.c: remove_redundant_divs: update outdated... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-31	Sven Verdoolaege	isl_reordering_dump: also dump target space Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-31	Sven Verdoolaege	update for change in TargetOptions refcounting Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-31	Sven Verdoolaege	update for removal of llvm/ADT/OwningPtr.h Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-31	Sven Verdoolaege	interface/extract_interface.cc: avoid use of SourceManager... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-30	Sven Verdoolaege	update for removal of DefaultImageName Driver constructor... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-29	Sven Verdoolaege	isl_printer_print_pw_aff: use isl_ast_build_expr_from_pw_aff... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-29	Sven Verdoolaege	add faber test case from CLooG Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-29	Sven Verdoolaege	AST generator: exploit all information while looking... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-22	Sven Verdoolaege	isl_ast_codegen.c: generate_domain: intersect with... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-22	Sven Verdoolaege	AST generator: exploit implied guard to simplify inner... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-22	Sven Verdoolaege	drop isl_ast_build_set_enforced Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-22	Sven Verdoolaege	add a new AST generator test case Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-22	Sven Verdoolaege	AST generator: improve handling of pending constraints Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-16	Sven Verdoolaege	add isl_ast_build_replace_pending_by_guard Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-16	Sven Verdoolaege	add isl_ast_build_get_generated Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-16	Sven Verdoolaege	add isl_ast_build_get_pending Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-16	Sven Verdoolaege	expose isl_ast_graft_list_gist_guards Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-16	Sven Verdoolaege	isl_ast_codegen.c: refine_generic: hoist out gisting... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-16	Sven Verdoolaege	isl_ast_codegen.c: create_node_scaled: postpone adding... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-16	Sven Verdoolaege	isl_ast_codegen.c: create_node_scaled: hoist inclusion... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-16	Sven Verdoolaege	drop isl_ast_graft_alloc_level Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-16	Sven Verdoolaege	isl_ast_codegen.c: create_node_scaled: inline call... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-16	Sven Verdoolaege	expose isl_ast_graft_list_extract_hoistable_guard Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-16	Sven Verdoolaege	expose isl_ast_graft_list_extract_shared_enforced Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-16	Sven Verdoolaege	extract out isl_ast_graft_alloc_from_children Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-16	Sven Verdoolaege	isl_ast_codegen.c: refine_eliminated: do not add stride... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-16	Sven Verdoolaege	isl_ast_codegen.c: move up add_stride_guard definition Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-16	Sven Verdoolaege	isl_ast_build_set_loop_bounds: do not add stride constraint... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-16	Sven Verdoolaege	push isl_ast_build_include_stride into isl_ast_build_set_loo... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-16	Sven Verdoolaege	isl_ast_build.c: update_values: explicitly take into... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-16	Sven Verdoolaege	isl_ast_codegen.c: generate_next_level: use isl_ast_build_dim Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-16	Sven Verdoolaege	add isl_ast_build_dim Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-16	Sven Verdoolaege	AST generator: take into account some parameter constraints... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-16	Sven Verdoolaege	AST generator: perform more aggressive guard hoisting Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-16	Sven Verdoolaege	isl_ast_graft.c: extract_hoistable_guard: extract out... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-16	Sven Verdoolaege	add isl_set_unshifted_simple_hull_from_set_list Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-16	Sven Verdoolaege	add isl_set_get_basic_set_list Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-16	Sven Verdoolaege	add isl_basic_set_list_align_divs_to_basic_set Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-16	Sven Verdoolaege	add isl_set_align_divs_to_basic_set_list Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-16	Sven Verdoolaege	add isl_basic_set_list_underlying_set Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-16	Sven Verdoolaege	add isl_basic_set_list_intersect Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-16	Sven Verdoolaege	isl_ast_codegen.c: add_node: replace gist by pure specialization Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-16	Sven Verdoolaege	isl_ast_build_expr_from_pw_aff: exploit domain constraints... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-05	Sven Verdoolaege	isl_ast_build_expr_from_basic_set: exploit earlier... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-05	Sven Verdoolaege	isl_ast_build_expr_from_basic_set: sort constraints Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-05	Sven Verdoolaege	add isl_constraint_cmp_last_non_zero Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-05	Sven Verdoolaege	add isl_int_abs_cmp Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-05	Sven Verdoolaege	add isl_constraint_plain_cmp Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-05	Sven Verdoolaege	isl_ast_build_expr_from_basic_set: operate on list... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-05	Sven Verdoolaege	isl_ast_codegen.c: use isl_basic_set_get_constraint_list Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-05	Sven Verdoolaege	add isl_basic_{set,map}_get_constraint_list Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-05	Sven Verdoolaege	add isl_basic_map_n_constraint Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-05	Sven Verdoolaege	explicitly mark deprecated functions as deprecated Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-05	Sven Verdoolaege	isl_ast_codegen.c: remove remnants of code removed... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-05	Sven Verdoolaege	isl_ast_codegen.c: after_each_for: fix memory management... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-05	Sven Verdoolaege	isl_ast_codegen.c: fix typos in comments Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-05	Sven Verdoolaege	isl_ast_graft_private.h: fix typo in comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-05	Sven Verdoolaege	isl_ast_build_expr.c: fix typo in comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-05	Sven Verdoolaege	isl_ast_build.c: fix typo in comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-05	Sven Verdoolaege	isl_union_templ.c: fix typo in comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-05	Sven Verdoolaege	isl_map_simplify.c: fix typo in comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-05	Sven Verdoolaege	isl_schedule.c: fix typos in comments Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-05	Sven Verdoolaege	isl_farkas.c: fix typo in comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-05	Sven Verdoolaege	isl_input.c: fix typo in comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-05	Sven Verdoolaege	isl_schedule.c: fix whitespace Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-05	Sven Verdoolaege	isl_map.c: fix whitespace Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-05	Sven Verdoolaege	README: urge bug reporters to always mention the isl... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-05	Sven Verdoolaege	Merge branch 'maint'	commit \| commitdiff \| tree
2014-08-05	Sven Verdoolaege	isl_ast_codegen.c: generate_components: fix error handling Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-04	Sven Verdoolaege	isl_basic_map_drop_constraints{_not,}_involving: add... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-04	Sven Verdoolaege	isl_basic_map_overlying_set: extract out isl_basic_map_add_k... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-08-04	Sven Verdoolaege	privately export isl_basic_map_remove_duplicate_constraints Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-07-29	Sven Verdoolaege	isl_convex_hull.c: add_bound: fix error handling Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-07-29	Sven Verdoolaege	isl_ast_build_detect_strides: store result of isl_val_gcd... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-07-29	Sven Verdoolaege	isl_basic_map_drop_constraints_not_involving_dims:... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-14	Sven Verdoolaege	isl_ast_node_user_get_expr: check that input is indeed... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-14	Sven Verdoolaege	isl_ast_codegen.c: generate_domain: compute explicit... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-14	Sven Verdoolaege	isl_schedule.c: copy_nodes: improve error handling Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-14	Sven Verdoolaege	isl_schedule.c: extract_node: improve error handling Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-14	Sven Verdoolaege	isl_schedule.c: extract_node: rename "dim" variable... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-14	Sven Verdoolaege	isl_pw_*_gist: improve error handling Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-14	Sven Verdoolaege	do not print colon if there are no constraints in omega... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-14	Sven Verdoolaege	isl_printer_print_pw_aff: keep track of whether we... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-14	Sven Verdoolaege	isl_basic_map_preimage_multi_aff: check if parameters... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-14	Sven Verdoolaege	isl_basic_set_{coefficients,solutions}: handle obviously... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-14	Sven Verdoolaege	isl_farkas.c: extract out shared rational_universe Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-14	Sven Verdoolaege	isl_farkas.c: farkas: rename "dim" variable to "space" Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
next

Integer set library

RSS Atom