Public Git Hosting - isl.git/search

2018-09-06	Sven Verdoolaege	python bindings: also raise an exception on negative... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-06	Sven Verdoolaege	generator: extract out is_isl_neg_error Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-06	Sven Verdoolaege	python bindings: do not set return of functions returning... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-06	Sven Verdoolaege	drop deprecated isl_basic_map_n_* Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-06	Sven Verdoolaege	drop deprecated isl_map_n_param Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-06	Sven Verdoolaege	drop deprecated isl_map_n_out Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-06	Sven Verdoolaege	drop deprecated isl_map_n_in Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-06	Tobias Grosser	isl_val_plain_is_equal: return isl_bool Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-04	Tobias Grosser	isl_val_ne: use isl_bool_ok Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-04	Tobias Grosser	isl_val_abs_eq: use isl_bool_ok Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-04	Tobias Grosser	isl_val_eq: use isl_bool_ok Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-04	Tobias Grosser	isl_val_le: use isl_bool_ok Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-04	Tobias Grosser	isl_val_gt: use isl_bool_ok Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-04	Tobias Grosser	isl_val_lt: use isl_bool_ok Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-04	Tobias Grosser	isl_val_is_nonpos: use isl_bool_ok Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-04	Tobias Grosser	isl_val_is_nonneg: use isl_bool_ok Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-04	Tobias Grosser	isl_val_is_neg: use isl_bool_ok Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-04	Tobias Grosser	isl_val_is_pos: use isl_bool_ok Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-04	Tobias Grosser	isl_val_is_negone: use isl_bool_ok Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-04	Tobias Grosser	isl_val_is_one: use isl_bool_ok Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-04	Tobias Grosser	isl_val_is_zero: use isl_bool_ok Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-04	Tobias Grosser	isl_val_is_neginfty: use isl_bool_ok Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-04	Tobias Grosser	isl_val_is_infty: use isl_bool_ok Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-04	Tobias Grosser	isl_val_is_nan: use isl_bool_ok Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-04	Tobias Grosser	isl_val_is_rat: use isl_bool_ok Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-04	Tobias Grosser	isl_val_is_int: use isl_bool_ok Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-04	Tobias Grosser	isl_val_is_divisible_by: use isl_bool_ok Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-04	Tobias Grosser	introduce isl_bool_ok Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-04	Tobias Grosser	doc: isl_bool_not is defined in isl/ctx.h Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-04	Tobias Grosser	test isl_bool_not Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_scheduler.c: node_update_vmap: extract out extract_linea... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_range.c: collect_fixed_sign_terms: reduce range... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map_dim: use isl_space_dim Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_set_params: implement in terms of isl_map_params Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_set_dim: implement in terms of isl_map_dim Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_morph.c: copy_equalities: use isl_basic_set_get_space Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map_subtract.c: tab_add_constraint: use isl_basic_map_dim Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map_subtract.c: tab_add_constraints: use isl_basic_map_dim Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_polynomial.c: make_divs_pos: use isl_qpolynomial_domain_... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_polynomial.c: split_periods: use isl_qpolynomial_domain_... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_polynomial.c: set_div: use isl_qpolynomial_domain_var_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_multi__dim: use isl_multi__peek_space Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_pw__dim: use isl_pw__peek_space Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_qpolynomial_involves_dims: use isl_qpolynomial_peek_doma... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_polynomial.c: set_active: use isl_qpolynomial_peek_domai... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_qpolynomial_domain_dim: use isl_qpolynomial_peek_domain_... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_point_dim: use isl_point_peek_space Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_basic_set_variable_compression: use isl_basic_set_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_basic_map_domain_product: use isl_basic_map_get_space Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_basic_map_overlying_set: use isl_basic_set_dim Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_basic_map_apply_range: use isl_basic_map_get_space Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map.c: move_last: 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: move_last: 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_move_dims: use isl_basic_map_peek_space Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map.c: map_intersect_internal: use isl_map_dim Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_basic_map_intersect: 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_intersect_range: use isl_basic_set_dim Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_basic_map_intersect_domain: use isl_basic_set_dim Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
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
next

Integer set library

RSS Atom