Public Git Hosting - isl.git/search

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
2018-09-02	Sven Verdoolaege	add isl_union_set_every_set Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_transitive_closure.c: add_length: reuse increment Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_transitive_closure.c: move up increment Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_transitive_closure.c: increment: return isl_map Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_transitive_closure.c: increment: clean up space... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_transitive_closure.c: map_power: use stricter test... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_map_deltas_map: extract out isl_map_check_equal_tuples Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_schedule_node.c: collect_filter_prefix*: return... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_convex_hull.c: hash_basic_set: return isl_stat Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_transitive_closure.c: add_length: return isl_stat Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_output.c: next_is_opposite: return isl_stat Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_coalesce.c: add_subs: return isl_stat Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_convex_hull.c: uset_is_bound: return isl_bool Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_transitive_closure.c: check_exactness_omega: return... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_transitive_closure.c: is_acyclic: return isl_bool Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_schedule_band.c: has_*: return isl_bool Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_ast_build_need_schedule_map: return isl_bool Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_morph.c: identity_on_parameters: return isl_bool Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_mat_is_scaled_identity: return isl_bool Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_range.c: propagate_on_domain: return isl_bool Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_pw_qpolynomial_fold_covers: return isl_bool Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_vertices.c: can_select: return isl_bool Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_vertices.c: is_independent: return isl_bool Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_ast_codegen.c: after_in_*: return isl_bool Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_input.c: tuple_has_expr: return isl_bool Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_schedule_node.c: locally_covered_by_domain: return... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_transitive_closure.c: incremental_on_entire_domain... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_transitive_closure.c: has_spurious_elements: return... 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: return... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_constraint_is_div_constraint: return isl_bool Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_schedule_node.c: has_ancestors: return isl_bool Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_poly_is_cst: return isl_bool Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_polynomial.c: set_active: return isl_stat Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_poly_is_{neg,}one: return isl_bool Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-09-02	Sven Verdoolaege	isl_qpolynomial_is_{affine,cst}: return isl_bool Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-31	Sven Verdoolaege	isl_poly_is_{neg,}infty: return isl_bool Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-31	Sven Verdoolaege	isl_poly_is_nan: return isl_bool Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-31	Sven Verdoolaege	isl_poly_is_zero: return isl_bool Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-31	Sven Verdoolaege	isl_qpolynomial_get_den: improve error handling Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-31	Sven Verdoolaege	isl_qpolynomial_get_den: return isl_val Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-31	Sven Verdoolaege	rename isl_upoly to isl_poly Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-31	Sven Verdoolaege	introduce explicit isl_dim_map_free Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-31	Sven Verdoolaege	isl_multi_*_factor_range: use correct dimension type Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-31	Sven Verdoolaege	isl_basic_map_insert_dims: create empty basic map directly Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-31	Sven Verdoolaege	pip.c: extract out move_parameters Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-31	Sven Verdoolaege	expose isl_union_set_project_out_all_params Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-31	Sven Verdoolaege	extract out shared isl_space_drop_all_params Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-31	Sven Verdoolaege	isl_ast_build_get_space: reuse isl_ast_build_dim Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-31	Sven Verdoolaege	isl_ast_build_product: reuse isl_ast_build_dim Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-31	Sven Verdoolaege	isl_ast_build_get_schedule_map_multi_aff: reuse isl_ast_buil... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-31	Sven Verdoolaege	isl_ast_build_need_schedule_map: reuse isl_ast_build_dim Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-31	Sven Verdoolaege	isl_ast_build_set_iterators: reuse isl_ast_build_dim Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-31	Sven Verdoolaege	extract out shared isl_basic_set_check_no_locals Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-31	Sven Verdoolaege	extract out shared isl_basic_set_check_no_params Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-30	Tobias Grosser	isl_space_can_uncurry: implement with isl_space_range_is_wra... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-30	Tobias Grosser	isl_space_can_curry: implement with isl_space_domain_is_wrapping Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-30	Tobias Grosser	isl_space_is_wrapping: add missing comment Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	extract out shared isl_point_var_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	extract out shared isl_point_check_range Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	extract out shared isl_point_dim Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	extract out shared isl_pw_multi_aff_check_range Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	isl_aff_involves_dims: extract out isl_aff_check_range Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	extract out shared isl_set_check_range Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	extract out shared isl_basic_set_check_range Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	extract out shared isl_qpolynomial_check_range Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	extract out shared isl_term_check_range Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	extract out shared isl_multi_*_check_range Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	isl_local_check_pos: extract out isl_local_check_range Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	extract out shared isl_constraint_check_range Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	extract out shared isl_local_space_check_range Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	extract out shared isl_space_check_range Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	merge isl*map_check_range implementations Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
next

Integer set library

RSS Atom