Public Git Hosting - isl.git/search

2016-07-22	Sven Verdoolaege	Merge branch 'maint'	commit \| commitdiff \| tree
2016-07-22	Sven Verdoolaege	isl_basic_map_offset: handle NULL input Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-22	Sven Verdoolaege	isl_basic_map_offset: rename "dim" variable to "space" Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-21	Sven Verdoolaege	interface/extract_interface.cc: add missing include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-19	Sven Verdoolaege	doc: minor clarification of anchored subtrees Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-19	Sven Verdoolaege	isl_tab_pip.c: fix typos in comments Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-19	Sven Verdoolaege	isl_set_min_val: fix handling of input with empty basic... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-19	Sven Verdoolaege	isl_*_partial_lex{min,max}_pw_multi_aff: remove existentials... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-19	Sven Verdoolaege	isl_*_partial_lex{min,max}_pw_multi_aff: fix handling... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-19	Sven Verdoolaege	add isl_basic_set_first_unknown_div Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-19	Sven Verdoolaege	isl_tab_pip.c: isl_context_op.add_div: generalize to... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-19	Sven Verdoolaege	isl_tab_add_div: extract out isl_tab_insert_div Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-19	Sven Verdoolaege	isl_tab_add_div: check size of integer division description Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-19	Sven Verdoolaege	isl_basic_map_add_div: generalize to isl_basic_map_insert_div Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-19	Sven Verdoolaege	isl_basic_map_add_div: explicitly zero out coefficient... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-19	Sven Verdoolaege	extract out shared isl_basic_map_add_div Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-19	Sven Verdoolaege	isl_tab: keep track of location of inserted integer... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-19	Sven Verdoolaege	isl_tab.c: perform_undo: extract out drop_bmap_div Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-19	Sven Verdoolaege	privately export isl_basic_map_drop_div Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-19	Sven Verdoolaege	isl_basic_map_drop_div: add memory management annotations Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-19	Sven Verdoolaege	isl_tab_pip.c: isl_context_op.free: return NULL Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-19	Sven Verdoolaege	isl_tab_pip.c: isl_context_op.add_div: return isl_bool Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-19	Sven Verdoolaege	isl_tab_pip.c: context_tab_add_div: return isl_bool Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-19	Sven Verdoolaege	isl_tab_pip.c: add_div: add memory management annotation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-19	Sven Verdoolaege	isl_tab_pip.c: isl_context_op.add_div: add memory management... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-18	Sven Verdoolaege	isl_tab_pip.c: context_tab_add_div: add memory management... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-18	Sven Verdoolaege	isl_tab_pip.c: set_from_affine_matrix: improve error... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-14	Sven Verdoolaege	isl_map_coalesce: add check that basic map and tableau... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
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-07-01	Sven Verdoolaege	isl_pw_aff_read_from_str: handle 0D domains 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
next

Integer set library

RSS Atom