Public Git Hosting - isl.git/search

2016-07-14	Sven Verdoolaege	isl_tab_detect_implicit_equalities: do not add extra... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-14	Sven Verdoolaege	isl_tab.c: cut_to_hyperplane: improve error message Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-14	Sven Verdoolaege	isl_tab.c: cut_to_hyperplane: return isl_stat Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-14	Sven Verdoolaege	isl_tab.c: close_row: improve error message Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-14	Sven Verdoolaege	isl_tab.c: close_row: improve error message Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-14	Sven Verdoolaege	isl_tab.c: close_row: return isl_stat Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-01	Sven Verdoolaege	export isl_pw_qpolynomial_eval and isl_union_pw_qpolynomial_eval Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-01	Sven Verdoolaege	export isl_pw_qpolynomial_domain and isl_union_pw_qpolynomia... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-01	Sven Verdoolaege	export isl_basic_set_sample_point and isl_set_sample_point Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-01	Sven Verdoolaege	python interface: add type check to __str__ methods Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-01	Sven Verdoolaege	python interface: isl_class::print_method: extract... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-01	Sven Verdoolaege	python interface: isl_class::print_method: update documentation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-01	Sven Verdoolaege	declare more isl_*_to_str functions Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-01	Sven Verdoolaege	python interface: isl_class::print_method: extract... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-28	Sven Verdoolaege	expose isl_ast_node_to_str Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-28	Sven Verdoolaege	dump isl_ast_expr and isl_ast_node objects in block... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-28	Sven Verdoolaege	isl_schedule.c: extract out generic _to_str and _dump... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-28	Sven Verdoolaege	isl_printer_print_ast_node: include iterator of for... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-28	Sven Verdoolaege	isl_printer_print_ast_node: print isl_ast_node as YAML... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-28	Sven Verdoolaege	isl_printer_print_ast_expr: support an isl format Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-28	Sven Verdoolaege	isl_printer_print_ast_expr: extract out print_ast_expr_c Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-28	Sven Verdoolaege	isl_ast.c: isl_printer_print_ast_expr: drop needless... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-28	Sven Verdoolaege	isl_ast.c: remove more remnants of code removed before... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-28	Sven Verdoolaege	interface: update to CompilerInvocation::setLangDefaults... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-28	Sven Verdoolaege	Merge branch 'maint'	commit \| commitdiff \| tree
2016-06-28	Sven Verdoolaege	isl_printer_print_ast_node: fix printing of mark nodes... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	isl_map_is_equal: first check if inputs are obviously... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	isl_*_lexopt: use actual domain of input as initial... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	add isl_basic_set_lexmin_compute_divs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	isl_map_lexopt*: compute optimum over approximate domains... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	isl_basic_map_lexopt*: postpone extraction of domain Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	isl__lexopt: replace "max" argument by "flags" Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	isl_tab_basic_map_partial_lexopt*: clean up error handling Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	merge isl_basic__partial_lex implementations Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	isl_basic_map_lexopt*: preinitialize domain in the... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	merge isl_tab_basic_map_partial_lexopt* implementations Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	rename basic_map_partial_lexopt*_pma to basic_map_partial_le... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	rename basic_map_partial_lexopt*_map to basic_map_partial_le... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	rename basic_map_partial_lexopt_base to basic_map_partial_le... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	add intermediate isl_tab_basic_map_partial_lexopt_pw_multi_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	isl_basic_map_compatible_domain: return isl_bool Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	isl_space_match: return isl_bool Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	isl_space_match: rename "dim" arguments to "space" Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	isl_space.c: match: rename "dim" arguments to "space" Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	isl_basic_map_compatible_domain: add memory management... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	isl_basic__partial_lex: add memory management annotations Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	isl_tab_basic_map_partial_lexopt: add memory management... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	isl_tab_pip.c: isl_context_gbr_alloc: add memory management... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	isl_tab_pip.c: isl_context_alloc: add memory management... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	isl_tab_pip.c: propagate_equalities: remove undo tracking... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	add isl_tab_need_undo and isl_tab_clear_undo Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	isl_tab_basic_map_partial_lexopt: limit scope of symmetry... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	isl_test.c: generalize isl_map_lexmin tests Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	doc: fix typo Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-27	Sven Verdoolaege	doc: make reason for isolate option resulting in anchored... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-24	Sven Verdoolaege	isl_tab_pip.c: parallel_constraints: remove stale line... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-24	Sven Verdoolaege	isl_tab.c: fix typo in comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-24	Sven Verdoolaege	isl_*_partial_lex{min,max}_pw_multi_aff: handle existentiall... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-22	Sven Verdoolaege	isl_tab_pip.c: sol_pma_add: extract out set_from_affine_matrix Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-22	Sven Verdoolaege	add isl_basic_set_div_is_known Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-22	Sven Verdoolaege	add isl_basic_set_swap_div Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-22	Sven Verdoolaege	add isl_mat_scale Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-22	Sven Verdoolaege	isl_pip: allow existentially quantified variables in... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-22	Sven Verdoolaege	pip.c: set_plug_in_parameters: add memory management... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-22	Sven Verdoolaege	pip.c; plug_in_parameters: add memory management annotations Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-22	Sven Verdoolaege	pip.c: opt_at: add memory management annotations Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-22	Sven Verdoolaege	pip.c: opt_at: avoid accessing ctx field directly Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-22	Sven Verdoolaege	add isl_basic_map_div_is_marked_unknown Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-22	Sven Verdoolaege	isl_map.c: div_is_unknown: return isl_bool Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-21	Sven Verdoolaege	isl_space_find_dim_by_name: check that dimension has... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-17	Sven Verdoolaege	doc: clarify that isl_printer_get_str can only be used... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-17	Sven Verdoolaege	isl_output.c: print_constraints: avoid invalid access... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-17	Sven Verdoolaege	isl_output.c: print_disjunct: avoid invalid access... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-17	Sven Verdoolaege	isl_output.c: isl_map_print_isl_body: handle NULL input Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-17	Sven Verdoolaege	isl_printer_get_str: report error when called on wrong... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-14	Sven Verdoolaege	doc: clean up extra files generated by biblatex Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-13	Sven Verdoolaege	isl_schedule_node_band_split: preserve isolate option Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-13	Sven Verdoolaege	add private isl_schedule_band_replace_ast_build_option Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-13	Sven Verdoolaege	use isl_schedule_node_band_get_ast_isolate_option to... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-13	Sven Verdoolaege	add isl_schedule_band_get_ast_isolate_option Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-11	Sven Verdoolaege	isl_basic_map_remove_redundancies: sort constraints Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-11	Sven Verdoolaege	isl_coalesce.c: fuse: simplify fused result immediately Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-11	Sven Verdoolaege	isl_coalesce.c: fuse: call isl_basic_map_finalize Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	isl_map_coalesce: check for protrusions on adjacent... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	isl_map_coalesce: allow protrusions out of equality... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	isl_coalesce.c: wrap_in_facets: extract out try_wrap_in_facets Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	isl_coalesce.c: can_wrap_in_set: extract out type_of_relaxed Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	isl_coalesce.c: wrap_in_facets: extract out wrap_in_facet Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	isl_coalesce.c: can_wrap_in_set: minor simplification Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	isl_coalesce.c: wrap_in_facets: do not pass in list... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	isl_map_coalesce: tighten constraints of potential... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	isl_map_coalesce: allow general coalescing with expanded... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	isl_coalesce.c: coalesce_with_expanded_divs: store... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	isl_coalesce.c: coalesce_local_pair: allow reuse of... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	isl_coalesce.c: coalesce_local_pair: extract out set_ineq_st... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	isl_coalesce.c: coalesce_local_pair: extract out set_eq_stat... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	isl_coalesce.c: coalesce_local_pair: extract out clear_status Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	isl_coalesce.c: coalesce_local_pair: extract out init_status Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	isl_coalesce.c: generalize check_coalesce_subset to... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-10	Sven Verdoolaege	add isl_options_{get,set}_pip_symmetry Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
next

Integer set library

RSS Atom