Public Git Hosting - isl.git/search

2018-09-02	Sven Verdoolaege	isl_map_solve_lp: use isl_map_dim Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_polynomial.c: fix_inactive: use isl_set_dim Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_qpolynomial_lift: use isl_qpolynomial_domain_dim Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_qpolynomial_from_term: use isl_term_dim Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_term_get_exp: extract out isl_term_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_term_dup: use isl_term_dim Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_qpolynomial_substitute_equalities_lifted: use isl_basic_... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_qpolynomial_drop_dims: use isl_qpolynomial_domain_var_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_polynomial.c: use isl_qpolynomial_domain_var_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_qpolynomial_involves_dims: use isl_qpolynomial_domain_va... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_polynomial.c: substitute_non_divs: use isl_qpolynomial_d... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_polynomial.c: substitute_div: use isl_qpolynomial_domain... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_polynomial.c: substitute_div: use isl_qpolynomial_get_ctx Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_qpolynomial_var_on_domain: use isl_space_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_qpolynomial_extract_affine: use isl_qpolynomial_domain_dim Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_polynomial.c: sort_divs: use isl_qpolynomial_domain_var_... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_qpolynomial_domain_offset: extract out isl_qpolynomial_d... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_qpolynomial_domain_offset: use isl_qpolynomial_peek_doma... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_qpolynomial_get_domain_space: extract out isl_qpolynomia... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_constraint.c: isl_basic_set_foreach_bound_pair... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_tab_pip.c: find_context_div: use isl_basic_{map... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	add isl_basic_set_var_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map_simplify.c: div_find_coalesce: use isl_basic_map_var... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_output.c: drop_aff: use isl_basic_map_var_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_basic_map_drop_redundant_divs_ineq: use isl_basic_map_va... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map_simplify.c: ..._drop_more_redundant_divs: use... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map_simplify.c: coalesce_divs: use isl_basic_map_var_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map_simplify.c: div_is_redundant: use isl_basic_map_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_basic_map_is_div_constraint: use isl_basic_map_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map_simplify.c: eliminate_unit_divs: use isl_basic_map_o... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map_simplify.c: check_for_div_constraints: use... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map_simplify.c: better_div_constraint: use isl_basic_map... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map_simplify.c: ok_to_set_div_from_bound: use isl_basic_... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map_simplify.c: set_div_from_lower_bound: use isl_basic_... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map_simplify.c: normalize_divs: use isl_basic_map_var_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map_simplify.c: n_pure_div_eq: use isl_basic_map_var_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map_simplify.c: remove_duplicate_divs: use isl_basic_map... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map_simplify.c: eliminate_divs_ineq: use isl_basic_map_v... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map_simplify.c: eliminate_divs_eq: isl_basic_map_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map_simplify.c: ok_to_eliminate_div: use isl_basic_map_v... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map_simplify.c: eliminate_div: use isl_basic_map_var_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map_simplify.c: eliminate_var_using_equality: use... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_basic_map_align_divs: use isl_basic_map_var_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map.c: find_div: use isl_basic_map_var_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_basic_map_order_divs: use isl_basic_map_var_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map.c: basic_set_append_equalities: use isl_basic_set_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map.c: insert_div_rows: use isl_basic_map_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map.c: insert_bounds_on_div: use isl_basic_map_var_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_basic_map_remove_divs: use isl_basic_map_var_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_basic_map_swap_div: use isl_basic_map_var_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map.c: basic_map_init: use isl_basic_map_peek_space Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_basic_map_get_divs: use isl_basic_map_var_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_dim_map.c: isl_dim_map_div: use isl_basic_map_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_convex_hull.c: common_constraints: use isl_set_dim Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_basic_map_make_strides_explicit: use isl_basic_map_var_o... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_aff_substitute_equalities_lifted: use isl_basic_set_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_basic_set_positive_orthant: use isl_space_dim Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_basic_{set,map}_print_internal: use isl_printer_print_ba... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_transitive_closure.c: empty_path_is_identity: use... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map_simplify.c: div_find_coalesce: reuse is_opposite Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map_simplify.c: move up is_opposite Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_space.c: global_pos: return negative value on error Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_tab_pip.c: find_context_div: reserve negative return... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map_simplify.c: div_find_coalesce: reserve negative... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map.c: find_div: reserve negative return value... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_tab_pip.c: find_div: reserve negative return value... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_schedule_tree.c: return isl_bool Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_access_info.coscheduled: return isl_bool Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_output.c: pos2type: return isl_stat Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_affine_hull.c: transform_column: return isl_bool Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_affine_hull.c: construct_column: return isl_stat Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_tab_pip.c: init_local_region: return isl_stat Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_seq_preimage: return isl_stat Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_bernstein.c: is_tight: return isl_bool Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_bernstein.c: is_tight: minor code simplification Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_bernstein.c: add_fold: return isl_stat Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map_simplify.c: has_multiple_var_equality: return... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map_simplify.c: is_opposite_except: return isl_bool Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map_simplify.c: is_parallel_except: return isl_bool Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map_simplify.c: lower_bound_is_cst: return -1 on... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_ast_build_expr.c: all_negative_coefficients: return... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	add_lower_div_constraint: return return modified result Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	add_upper_div_constraint: return return modified result Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_basic_map_add_div_constraint: return return modified... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_basic_map_add_div_constraints: return modified... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	add_{upper.lower}_div_constraint: only pass in position... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	remove now unused isl_basic_{set,map}_add_div_constraints_var Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_basic_map_add_div_constraints: use isl_basic_map_var_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_local_space.c: normalize_div: return modified result Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	normalize_div_expression: return modified result Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map_simplify.c: eliminate_var_using_equality: return... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_inequality_negate: return modified result Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map.c: set_ma_divs: return modified result Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_basic_map_swap_div: return modified result Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_output.c: print_constraint_c: drop now redundant... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_output.c: drop print_affine_c Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_output.c: print_constraint_c: use print_ls_affine_c Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_output.c: print_basic_set_c: use print_ls_partial_affine_c Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_cat: support C output format Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_schedule_band.c: has_any: use isl_union_set_every_set Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
next

Integer set library

RSS Atom