?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
isl_union_map.c: plain_injective_on_range: silence clang warning
2012-09-15 Sven Verdoolaegeisl_union_map.c: plain_injective_on_range: silence...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-15 Sven Verdoolaegeisl_transitive_closure.c: union_components: avoid invalid...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-15 Sven Verdoolaegeisl_range.c qpolynomial_bound_on_domain_range: avoid...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-15 Sven Verdoolaegeisl_convex_hull.c: initial_facet_constraint: avoid...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-14 Sven Verdoolaegeisl_map_union: special case universal input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-14 Sven Verdoolaegeisl_map_gist: special case universal and equal inputs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-13 Sven Verdoolaegeexport isl_set_plain_cmp
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-13 Sven Verdoolaegedoc: clarify use of identifiers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-13 Sven Verdoolaegeadd isl_basic_set_remove_unknown_divs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-13 Sven Verdoolaegeand isl_pw_aff_tdiv_q and isl_pw_aff_tdiv_r
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-13 Sven Verdoolaegeadd isl_pw_aff_div
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-13 Sven Verdoolaegeadd isl_set_is_disjoint
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-13 Sven Verdoolaegeisl_map_plain_is_disjoint: special case obviously empty...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-13 Sven Verdoolaegeisl_basic_map_is_empty: special case universal input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-13 Sven Verdoolaegeisl_map_plain_is_disjoint: fix error handling
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-13 Sven Verdoolaegeisl_aff.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-10 Sven Verdoolaegeisl_aff_normalize: combine identical divs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-10 Sven Verdoolaegeisl_aff_normalize: plug in divs with denominator one
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-10 Sven Verdoolaegeextract out isl_local_space_substitute_seq
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-10 Sven Verdoolaegeextract out common isl_seq_substitute
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-10 Sven Verdoolaegeisl_aff_normalize: sort divs in local space of affine...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-10 Sven Verdoolaegeadd isl_local_space_swap_div
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-10 Sven Verdoolaegeprivately export isl_mat_cmp_div
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-06 Sven Verdoolaegeadd isl_map_uncurry
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-06 Sven Verdoolaegeadd isl_union_map_subtract_domain
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-06 Sven Verdoolaegeisl_pw_*_gist: avoid intersection of domain with context
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-06 Sven Verdoolaegeisl_map_intersect_domain: avoid useless double reverse
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-06 Sven Verdoolaegeisl_map_intersect_{range,domain}: stop allowing intersection...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-06 Sven Verdoolaegeisl_map_intersect: special case universal input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-06 Sven Verdoolaegeadd isl_constraint_list
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-06 Sven Verdoolaegeadd isl_pw_multi_aff_set_pw_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-06 Sven Verdoolaegeadd isl_pw_multi_aff_identity
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-06 Sven Verdoolaegedeclare isl_pw_multi_aff_align_params
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-06 Sven Verdoolaegedeclare isl_basic_map_remove_divs_involving_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-06 Sven Verdoolaegeadd isl_vec_fdiv_r
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-06 Sven Verdoolaegeadd isl_*_list_insert
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-06 Sven Verdoolaegedeclare isl_map_fix
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-06 Sven Verdoolaegeadd isl_basic_map_upper_bound_si
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-06 Sven Verdoolaegeadd isl_basic_map_order_ge
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-06 Sven Verdoolaegedeclare isl_aff_zero_basic_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-06 Sven Verdoolaegeadd isl_vec_concat
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-06 Sven Verdoolaegeisl_vec_free: return NULL
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-06 Sven Verdoolaegeisl_map_free: return NULL
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-06 Sven Verdoolaegeisl_basic_set_free: return NULL
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-06 Sven Verdoolaegeisl_basic_map_free: return NULL
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-06 Sven Verdoolaegeisl_space_free: return NULL
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-06 Sven Verdoolaegeisl_basic_map_gauss: also set progress if a div expression...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-06 Sven Verdoolaegeisl_tarjan_graph_init: document the order of the components...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-06 Sven Verdoolaegeisl_aff.c: document isl_aff_normalize
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-06 Sven Verdoolaegeisl_aff.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-06 Sven Verdoolaegehide internal check_help
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-06 Sven Verdoolaegehide internal basic_map_identity
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-06 Sven Verdoolaegeisl_map_simplify.c: remove_duplicate_divs: preserve...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-03 Sven Verdoolaegeisl_basic_map_drop_redundant_divs: don't drop divs...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-03 Sven Verdoolaegeisl_test: generalize subset test
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-02 Sven Verdoolaegerename isl_set_dim_has_*_bound to isl_set_dim_has_any_...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-02 Sven Verdoolaegerelicense isl under the MIT license
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-02 Sven Verdoolaegeconfigure.ac: link against same LLVM components as...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-02 Sven VerdoolaegeMerge branch 'maint'
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-02 Sven Verdoolaegeisl_map_intersect: fix error handling
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-02 Sven Verdoolaegeisl_access_info_add_source: plug memory leak on error...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-02 Sven Verdoolaegeisl_set_dim_residue_class: correctly consider all basic...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-13 Sven Verdoolaegeisl_map_subtract: handle duplicate divs in subtrahend
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-13 Sven Verdoolaegeisl_aff_scale_down: check for scaling down by zero
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-10 Sven Verdoolaegeadd isl_*_list_drop
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-10 Sven Verdoolaegeisl_*_list_add: dynamically grow list to accomodate...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-10 Sven Verdoolaegeconfigure.ac: don't allow installation in source or...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-07 Sven Verdoolaegeadd isl_space_is_range
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-07 Sven Verdoolaegeexport isl_space_is_domain
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-07 Sven Verdoolaegedoc: document isl_space_is_equal
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-07 Sven Verdoolaegeadd isl_space_is_map
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-07 Sven Verdoolaegedeclare isl_pw_multi_aff_project_domain_on_params
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-07 Sven Verdoolaegeadd isl_map_has_tuple_name
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-04 Sven VerdoolaegeAUTHORS: add Mythri Alle
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-02 Sven Verdoolaegeisl_printer_free: return NULL
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-02 Sven Verdoolaegedeclare isl_pw_multi_aff_drop_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-02 Sven Verdoolaegeexport isl_multi_aff_gist_params
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-02 Sven Verdoolaegeextract common implementation of Tarjan's algorithm
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-02 Sven Verdoolaegeadd isl_point_dump
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-02 Sven Verdoolaegeisl_union_map_extract_map: ignore parameters in space...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-02 Sven Verdoolaegeisl_union_map_extract_map: rename dim argument to space
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-02 Sven Verdoolaegeisl_map_simplify.c: eliminate_var_using_equality: normalize...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-02 Sven Verdoolaegeisl_stream_read_map: force result to be a map
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-02 Sven Verdoolaegeisl_stream_read_map: accept rational affine expressions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-02 Sven Verdoolaegeadd isl_map_{lexmin,lexmax}_pw_multi_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-02 Sven Verdoolaegedeclare isl_map_remove_unknown_divs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-02 Sven Verdoolaegedoc: document isl_set_remove_unknown_divs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-02 Sven Verdoolaegedeclare isl_map_remove_divs_involving_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-02 Sven Verdoolaegeadd isl_basic_set_remove_divs_involving_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-02 Sven Verdoolaegedoc: document isl_set_remove_divs_involving_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-02 Sven Verdoolaegeadd isl_basic_set_eliminate
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-02 Sven Verdoolaegeadd isl_union_set_from_basic_set and isl_union_map_from_basi...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-02 Sven Verdoolaegeadd isl_basic_{set,map}_insert_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-02 Sven Verdoolaegeadd isl_basic_{set,map}_align_params
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-02 Sven Verdoolaegeadd isl_union_map_domain_product
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-02 Sven Verdoolaegedeclare isl_basic_map_product
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-02 Sven Verdoolaegeadd isl_pw_multi_aff_product
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-02 Sven Verdoolaegeadd isl_pw_multi_aff_union_{lexmin,lexmax}
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-02 Sven Verdoolaegeisl_set_free: return NULL
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-02 Sven Verdoolaegeadd isl_multi_aff_lex_{le,ge}_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
next
Integer set library