Public Git Hosting - isl.git/search

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-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
2018-08-28	Sven Verdoolaege	isl_basic_map_plain_get_val_if_fixed: reuse isl_map_check_range Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	isl_map_fix: reuse isl_map_check_range Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	isl_map_fix_si: reuse isl_map_check_range Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	isl_map_oppose: reuse isl_map_check_range Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	isl_map.c: map_bound_si: reuse isl_map_check_range Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	isl_map.c: map_bound: reuse isl_map_check_range Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	isl_map_fix_val: reuse isl_map_check_range Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	isl_basic_map_swap_vars: reuse isl_basic_map_check_range Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	isl_basic_map_preimage_vars: reuse isl_basic_map_check_range Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	isl_basic_map_eliminate: reuse isl_basic_map_check_range Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	isl_basic_map_transform_dims: reuse isl_basic_map_check_range Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	isl_basic_map_drop_core: reuse isl_basic_map_check_range Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	isl_basic_map_has_defining_equality: reuse isl_basic_map_che... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	privately expose isl_basic_map_check_range Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	isl_basic_map_drop_div: implement in terms of isl_basic_map_... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	isl_basic_map_drop: extract out isl_basic_map_drop_core Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	isl_basic_map_drop: drop error label Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	isl_basic_map_drop_div: drop removal of constraints... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	isl_map_simplify.c: remove_redundant_divs: drop div... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	privately export isl_basic_map_drop_constraints_involving Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2018-08-28	Sven Verdoolaege	isl_basic_map_drop_constraints_involving: move out... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
next

Integer set library

RSS Atom