Public Git Hosting - isl.git/search

2016-11-24	Sven Verdoolaege	isl_qpolynomial_set_dim_name: adjust to change of space Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-23	Sven Verdoolaege	isl_polynomial.c: reduce_divs: do not assume input... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-23	Sven Verdoolaege	isl_polynomial.c: reduce_divs: use isl_qpolynomial_get_ctx Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-23	Sven Verdoolaege	isl_polynomial.c: reduce_divs: use isl_qpolynomial_domain_dim Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-23	Sven Verdoolaege	isl_qpolynomial_domain_dim: handle isl_dim_div and... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-23	Sven Verdoolaege	isl_qpolynomial_dim: extract out isl_qpolynomial_domain_dim Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-23	Sven Verdoolaege	privately add isl_qpolynomial_domain_offset Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-23	Sven Verdoolaege	privately add isl_mat_zero Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-23	Sven Verdoolaege	privately add isl_mat_col_neg Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-23	Sven Verdoolaege	privately add isl_mat_col_addmul Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-23	Sven Verdoolaege	isl_mat.c: extract out shared check_col Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-23	Sven Verdoolaege	isl_test.c: add_cell: fix return type Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-15	Sven Verdoolaege	isl_vertices_foreach_disjoint_cell: handle saturation... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-15	Sven Verdoolaege	isl_basic_set_tighten_outward: extract out is_internal Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-15	Sven Verdoolaege	isl_vertices_foreach_disjoint_cell: extract out isl_basic_se... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-11	Sven Verdoolaege	isl_aff.c: vec_reorder: avoid NULL pointer dereference Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-09	Sven Verdoolaege	isl_ast_build_expr_from_pw_aff: do not include rational... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
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-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-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-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	isl_printer_print_ast_node: fix printing of mark nodes... 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	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-03	Sven Verdoolaege	isl_basic_set_expand_divs: only add div constraints... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-02	Sven Verdoolaege	isl_coalesce.c: add_sub_vars: explicitly mark added... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-02	Sven Verdoolaege	isl_coalesce.c: add_sub_vars: move "correct" integer... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-02	Sven Verdoolaege	isl_coalesce.c: wrap_in_facets: avoid invalid access... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-02	Sven Verdoolaege	isl_printer_print_map: print div constraints again... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-02	Sven Verdoolaege	isl_printer_print_map: fix printing of affine expressions... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-02	Sven Verdoolaege	isl_output.c: print_disjuncts: avoid invalid access... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-02	Sven Verdoolaege	isl_output.c: print_disjunct: handle NULL input Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-02	Sven Verdoolaege	isl_vec_alloc: plug memory leak on error path Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-02	Sven Verdoolaege	isl_blk.c: extend: plug memory leak on error path Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-25	Sven Verdoolaege	isl_map_simplify.c: drop_more_redundant_divs: improve... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-24	Sven Verdoolaege	isl_basic_map_update_from_tab: improve error handling Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-24	Sven Verdoolaege	isl_basic_map_remove_redundancies: improve error handling Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-06	Sven Verdoolaege	isl 0.17.1 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-06	Sven Verdoolaege	isl_tab_lexmin_add_eq: make sure the tableau has enough... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-06	Sven Verdoolaege	isl_tab_lexmin_add_eq: fix error handling Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-03	Sven Verdoolaege	isl 0.17 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-03	Sven Verdoolaege	isl_schedule_constraints_compute_schedule: fix handling... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-26	Sven Verdoolaege	Merge branch 'maint' into release	commit \| commitdiff \| tree
2016-04-26	Sven Verdoolaege	doc: add some further reading Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-26	Sven Verdoolaege	doc: update integer set coalescing reference Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-26	Sven Verdoolaege	doc: add pip experiment inputs to distribution Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-24	Sven Verdoolaege	doc: add DOIs to some more bibtex entries Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-24	Sven Verdoolaege	doc: use biblatex for printing references Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-24	Sven Verdoolaege	doc: set algorithmautorefname Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-24	Sven Verdoolaege	doc: replace freshmeat links Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-24	Sven Verdoolaege	doc: rename isl_union_pw_aff_foreach_pw_aff callback... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-24	Sven Verdoolaege	avoid use of VLAs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	isl_schedule_constraints_compute_schedule: optionally... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	isl_scheduler.c: add_node: pass in instance set instead... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	isl_scheduler.c: add_node: minor clean-up Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	isl_scheduler.c: non_neg_lexmin: extract out non_empty_solution Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	isl_scheduler.c: non_neg_lexmin: explicitly use isl_tab_lexmin Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	isl_scheduler.c: carry_dependences: extract out non_neg_lexmin Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	isl_scheduler.c: carry_dependences: extract out carries_depe... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	add isl_tab_lexmin_dim Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	add isl_tab_lexmin_add_eq Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	break up isl_tab_basic_set_non_neg_lexmin Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	add isl_set_project_onto_map Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	make schedule_max_coefficient option work as advertised Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	isl_scheduler.c: extract out node_add_coefficient_constraints Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	isl_scheduler.c: count_bound_coefficient_constraints... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	isl_scheduler.c: add_bound_coefficient_constraints... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	isl_scheduler.c: add_bound_coefficient_constraints... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	schedule construction: use only positive parameter... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	isl_scheduler.c: extract out shared node_var_coef_offset Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-18	Sven Verdoolaege	isl_scheduler.c: extract out shared extract_var_coef Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: coef_var_offset: minor simplification Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: extract out shared coef_var_offset Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: extract out shared inter_dim_map Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: extract out shared intra_dim_map Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: add_inter_proximity_constraints: return... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: add_inter_validity_constraints: return... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: add_intra_proximity_constraints: return... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: add_intra_validity_constraints: return... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: add_inter_constraints: rename "dim... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: add_inter_proximity_constraints: rename... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: add_inter_validity_constraints: rename... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: add_intra_constraints: rename "dim... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: add_intra_proximity_constraints: rename... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: add_intra_validity_constraints: rename... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: count_all_constraints: minor simplification Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: extract out shared is_any_validity Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: extract out shared add_var_sum_constraint Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: extract out shared add_param_sum_constraint Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: setup_lp: extract out add_sum_constraint Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: setup_lp: extract out count_bound_constant_... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: setup_lp: extract out add_bound_constant_co... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-17	Sven Verdoolaege	isl_scheduler.c: setup_carry_lp: return isl_stat Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
next

Integer set library

RSS Atom