Public Git Hosting - isl.git/search

2016-11-02	Sven Verdoolaege	isl_map_convex_hull: use consistent space when lineality... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-02	Sven Verdoolaege	isl_basic_set_compute_vertices: drop vertices with... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-02	Sven Verdoolaege	isl_vertices.c: add_vertex: return isl_bool indicating... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-02	Sven Verdoolaege	isl_vertices.c: can_intersect: return isl_bool Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	export isl_schedule_constraints Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	add isl_schedule_constraints_read_from_str Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	add isl_schedule application Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	add isl_schedule_constraints_read_from_file Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	declare isl_stream_read_union_set Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	add isl_printer_print_schedule_constraints and isl_schedule_... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	isl_schedule_constraints_dump: use YAML facilities... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	isl_schedule_constraints_on_domain: extract out isl_schedule... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	isl_schedule_constraints_on_domain: extract out isl_schedule... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	isl_schedule_constraints.c: extract out shared isl_schedule_... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	split off isl_schedule_constraints code from scheduler... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	isl_scheduler.c: compute_max_row: use isl_schedule_constrain... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	isl_scheduler.c: extract out shared isl_schedule_constraints_add Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	isl_scheduler.c: graph_init: use isl_schedule_constraints_get Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	isl_scheduler.c: extract out shared isl_schedule_constraints_get Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	isl_scheduler.c: extract out isl_schedule_constraints_n_basi... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	isl_scheduler.c: compute_max_row: return isl_stat Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	isl_scheduler.c: isl_schedule_constraints_n_map: drop... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	isl_scheduler.c: graph_init: use isl_schedule_constraints_ge... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	add isl_schedule_constraints_get_context Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	doc: clarify that isl_codegen can also (primarily)... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	doc: clarify that only polytope/polyhedron inputs may... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	isl_map_from_pw_multi_aff: preserve rational flag Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	add isl_{set,map}_is_rational Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	add isl_basic_map_from_multi_aff2 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	isl_basic_map_range_product: preserve rational flag Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	isl_coalesce.c: fuse: mark result as rational before... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	configure.ac: fix description of SETLANGDEFAULTS_TAKES_5_ARG... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	configure.ac: improve detection of 5-argument setLangDefaults Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	interface/extract_interface.cc: check for presence... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-08-12	Sven Verdoolaege	isl_map_coalesce: only tighten non-redundant constraints... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
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
next

Integer set library

RSS Atom