?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
add isl_union_map_lex_lt_at_multi_union_pw_aff
2015-02-02 Sven Verdoolaegeadd isl_union_map_lex_lt_at_multi_union_pw_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-02-02 Sven Verdoolaegeadd isl_union_map_eq_at_multi_union_pw_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-02-02 Sven Verdoolaegeadd isl_multi_pw_aff_lex_gt_map
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-02-02 Sven Verdoolaegeadd isl_multi_pw_aff_lex_lt_map
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-02-02 Sven Verdoolaegeadd isl_multi_pw_aff_eq_map
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-02-02 Sven Verdoolaegeadd isl_pw_aff_gt_map
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-02-02 Sven Verdoolaegeadd isl_pw_aff_lt_map
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-02-02 Sven Verdoolaegeadd isl_pw_aff_eq_map
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-02-02 Sven Verdoolaegeinterface/python.cc: fix line lengths to 80 columns
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-02-02 Sven Verdoolaegeisl_tab.c: drop_col: drop column before dropping correspondi...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-02-02 Sven Verdoolaegeisl_tab_is_redundant: check whether passed constraint...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-02-02 Sven Verdoolaegeisl_coalesce.c: coalesce_with_subs: add div constraints...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-02-02 Sven Verdoolaegeisl_coalesce.c: add_subs: split adding of variables...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegegeneralize isl_multi_aff_floor to isl_multi_union_pw_aff_floor
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_multi_union_pw_aff_extract_multi_pw_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_multi_union_pw_aff_pullback_union_pw_multi_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_multi_union_pw_aff_apply_pw_multi_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_multi_union_pw_aff_apply_pw_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_multi_union_pw_aff_apply_multi_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_multi_union_pw_aff_apply_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_multi_union_pw_aff_domain
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_multi_union_pw_aff_intersect_range
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_union_pw_multi_aff_from_multi_union_pw_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_union_map_from_multi_union_pw_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_union_map_reset_range_space
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_multi_union_pw_aff_read_from_str
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_multi_union_pw_aff_zero_union_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_multi_union_pw_aff_multi_aff_on_domain
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_multi_union_pw_aff_multi_val_on_domain
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_multi_union_pw_aff_from_union_map
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_multi_union_pw_aff_from_union_pw_multi_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_multi_union_pw_aff_from_multi_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_multi_union_pw_aff_from_multi_pw_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_multi_union_pw_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegegeneralize isl_multi_*_gist and isl_multi_*_intersect_domain
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeextract out isl_multi_gist.c and isl_multi_intersect.c
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeextract out isl_multi_macro.h
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegestreamline isl_multi_*_{gist*,intersect_*}
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeisl_union_pw_*_align_params: extract out isl_union_pw_...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeisl_union_pw_*_align_params: drop dead code
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_union_pw_aff_pullback_union_pw_multi_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_union_map_from_union_pw_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_union_pw_aff_zero_union_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_union_pw_multi_aff_from_union_pw_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_union_pw_multi_aff_get_union_pw_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_union_pw_aff_mod_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_union_pw_aff_aff_on_domain
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_union_pw_aff_val_on_domain
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_union_pw_aff_floor
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_union_pw_aff_list
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_union_pw_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeisl_output.c: print_pw_aff_isl: extract out print_pw_aff_body
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeisl_union_templ.c: allow multiple inclusion
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_union_map_domain_map_union_pw_multi_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_union_pw_multi_aff_pullback_union_pw_multi_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_union_pw_multi_aff_from_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_union_pw_*_set_dim_name
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_union_pw_*_drop_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_union_pw_*_n_pw_*
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_union_pw_*_reset_user
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_pw_*_reset_user
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_pw_multi_aff_range_map
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeadd isl_pw_aff_pos_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegeisl_pw_aff_nonneg_set: merge implementation with pw_aff_zero_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-23 Sven Verdoolaegegeneralize isl_union_pw_qpolynomial_neg
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-17 Sven Verdoolaegeadd isl_multi_*_neg
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-17 Sven Verdoolaegeadd isl_multi_*_mod_multi_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-17 Sven Verdoolaegeadd isl_multi_val_read_from_str
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-17 Sven Verdoolaegeisl_input.c: read_tuple: separate tuple parsing from...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-17 Sven Verdoolaegegeneralize isl_multi_aff_sub
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-16 Sven Verdoolaegeisl_map_coalesce: harmonize integer divisions that...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-16 Sven Verdoolaegeadd isl_tab_shift_var
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-16 Sven Verdoolaegeadd isl_basic_map_shift_div
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-12 Sven Verdoolaegeisl_map_coalesce: coalesce within affine hull first
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-12 Sven Verdoolaegeprivately export isl_basic_map_get_hash
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-12 Sven Verdoolaegeisl_map_coalesce: try and coalesce basic maps with...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-12 Sven Verdoolaegeisl_coalesce.c: is_adj_eq_extension: allow basic maps...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-12 Sven Verdoolaegeisl_coalesce.c: fuse: allow basic maps to have different...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-12 Sven Verdoolaegeisl_map_coalesce: remove hidden factors from constraint...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-12 Sven Verdoolaegeadd isl_basic_map_reduce_coefficients
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-12 Sven Verdoolaegeisl_map_coalesce: handle divs that have been simplified...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-12 Sven Verdoolaegeprivately export isl_aff_substitute_equalities
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-12 Sven Verdoolaegeadd isl_local_space_wrap
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-12 Sven Verdoolaegeadd isl_tab_insert_var
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-12 Sven Verdoolaegeisl_map_coalesce: check for subsets with smaller number...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-12 Sven Verdoolaegeadd isl_basic_map_plain_affine_hull
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-12 Sven Verdoolaegeisl_coalesce.c: can_wrap_in_facet: only wrap facet...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-12 Sven Verdoolaegeisl_coalesce.c: can_wrap_in_facet: extract out add_wraps_aro...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-12 Sven Verdoolaegeisl_coalesce.c: check_adj_eq: allow cut constraints...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-12 Sven Verdoolaegeisl_coalesce.c: check_adj_eq: drop redundant test
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-09 Sven Verdoolaegeisl_coalesce.c: wrap_in_facets: check for number of...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-09 Sven Verdoolaegeisl_coalesce.c: wrap_in_facets: only wrap around other...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-09 Sven Verdoolaegeisl_map_coalesce: only wrap constraints that are not...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-09 Sven Verdoolaegeisl_coalesce.c: add_wraps: extract out common add_wrap
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-09 Sven Verdoolaegeisl_coalesce.c: fuse: copy valid half of equality
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-07 Sven Verdoolaegeisl_coalesce.c: fuse: extract out add_valid_constraints
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-07 Sven Verdoolaegeadd extra isl_set_coalesce test case
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-07 Sven Verdoolaegeisl_test: generalize coalesce tests with unbounded...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-07 Sven Verdoolaegeisl_coalesce.c: contains: always return equalities...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-01-07 Sven Verdoolaegeisl_coalesce_info: add equality and inequality types
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
next
Integer set library