Public Git Hosting - isl.git/search

2014-09-27	Sven Verdoolaege	isl_space_tuple_match: also ignore parameters in nested... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-22	Sven Verdoolaege	isl_space_tuple_match: rename "dim" variables to "space" Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-22	Sven Verdoolaege	isl_test: take options Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-22	Sven Verdoolaege	isl_union__add_: perform check for "zero" part unconditionally Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-22	Sven Verdoolaege	isl_union__add_: avoid duplicate checks in callers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-22	Sven Verdoolaege	isl_union_map_is_single_valued: look at domain spaces... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-22	Sven Verdoolaege	isl_union_map_is_single_valued: extract out single_map_is_si... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-22	Sven Verdoolaege	isl_union_map_is_single_valued: add a couple of extra... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-22	Sven Verdoolaege	isl_basic_map_output_defining_equality: accept divs... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-22	Sven Verdoolaege	extract out shared isl_basic_map_output_defining_equality Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-22	Sven Verdoolaege	AST generator: drop redundant lower bounds on strided... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-22	Sven Verdoolaege	Merge branch 'maint'	commit \| commitdiff \| tree
2014-09-22	Sven Verdoolaege	isl_pw_*_gist: special case context equal to single... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-22	Sven Verdoolaege	isl_pw_*_gist: special case universe context Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-22	Sven Verdoolaege	isl_test: generalize isl_pw_qpolynomial_gist tests Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-19	Sven Verdoolaege	isl_map_simplify.c: drop spurious semicolon Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-19	Sven Verdoolaege	isl_map_gist: return universe on gist with empty set Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-19	Sven Verdoolaege	isl_input.c: basic_map_read: check type of result returned... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-15	Sven Verdoolaege	isl_basic_map_gist: remove redundant div constraints Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-15	Sven Verdoolaege	isl_basic_map_gist: remove obviously redundant reduced... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-15	Sven Verdoolaege	isl_basic_map_gist: avoid (temporarily) adding context... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-15	Sven Verdoolaege	isl_map_subtract: check if inputs are disjoint Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-15	Sven Verdoolaege	doc/SubmittingPatches: mention that each mail should... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-15	Johannes Doerfert	Add an AST expression representing the &-operator Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-15	Johannes Doerfert	Add AST expression builder functions for comparisons Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
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
next

Integer set library

RSS Atom