Public Git Hosting - isl.git/search

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
2014-06-14	Sven Verdoolaege	isl_set_solutions: rename "dim" variable to "space" Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-14	Sven Verdoolaege	isl_set_coefficients: rename "dim" variable to "space" Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-14	Sven Verdoolaege	isl_id_alloc: return NULL if ctx argument is NULL Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-14	Sven Verdoolaege	isl_aff_div: handle NaN input Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-05-31	Sven Verdoolaege	isl_basic_map_remove_divs_involving_dims: avoid adding... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-05-29	Sebastian Pop	optionally use imath for arbitrary precision integers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-05-29	Sebastian Pop	configure.ac: move gmp detection to a separate file Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-05-29	Sven Verdoolaege	isl_val_gcdext: revert to open-coded version of isl_int_gcdext Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-05-28	Sven Verdoolaege	isl_gmp.c: remove spurious include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-05-28	Sven Verdoolaege	isl_{set,map}_{,unshifted_}simple_hull: finalize result Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-05-27	Sven Verdoolaege	document isl_{set,map}_set_tuple_name Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-05-01	Sven Verdoolaege	Merge branch 'maint'	commit \| commitdiff \| tree
2014-05-01	Sven Verdoolaege	isl_local_space_intersect: add missing isl_local_space_cow... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-05-01	Sven Verdoolaege	AST generator: detect partial executed relations that... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-05-01	Sven Verdoolaege	isl_ast_build_expr_from_set: return valid result on... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-04-29	Sven Verdoolaege	remove spurious include of isl/config.h Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-04-28	Sven Verdoolaege	.gitignore: add compile Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-04-28	Sven Verdoolaege	interface/Makefile.am: avoid use of INCLUDES variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-04-24	Sven Verdoolaege	isl_map_union_disjoint: check spaces before handling... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-04-24	Sven Verdoolaege	Merge branch 'maint'	commit \| commitdiff \| tree
2014-04-24	Sven Verdoolaege	isl_flow.c: all_sources: fix memory management annotation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
next

Integer set library

RSS Atom