?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
isl_coalesce.c: expand_tab: pass in expanded bmap instead of original bmap
2016-12-19 Sven Verdoolaegeisl_coalesce.c: expand_tab: pass in expanded bmap instead...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_coalesce.c: expand_tab: do not check div constraints...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_map_coalesce: add a note about a possible improvement...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_map_coalesce: allow extensions to stick out by one
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_coalesce.c: is_adj_eq_extension: check extension...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_coalesce.c: extend: allow multiple relaxed constraints
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_coalesce.c: tighten_on_relaxed_facet: allow multiple...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_coalesce.c: is_adj_eq_extension: extract out extend
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_coalesce.c: check_adj_eq: extract out check_single_adj_eq
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_coalesce.c: extract out shared find function
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_coalesce.c: coalesce_with_expanded_divs: mark expanded...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_printer_print_constraint: print the constraint...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_output.c: print_disjunct: extract out open_exists
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_output.c: need_exists: take into account dump mode
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_output.c: need_exists: drop "bmap" argument
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_output.c: extract out shared print_param_tuple
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_output.c: print_union_pw_qpolynomial_fold_isl:...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_output.c: print_union_pw_qpolynomial_isl: rename...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_output.c: isl_union_map_print_isl: rename "dim...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-18 Sven Verdoolaegeisl 0.18
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-14 Sven Verdoolaegeupdate AUTHORS
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-14 Sven Verdoolaegeisl_test.c: drop debugging output
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-13 Sven Verdoolaegeisl_affine_hull.c: hide internal drop_constraints
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-12 Sven VerdoolaegeMerge branch 'maint'
 commit | commitdiff | tree
2016-12-12 Sven Verdoolaegeisl_basic_map_remove_redundancies: consider constraints...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-12 Sven Verdoolaegeadd isl_tab_restore_redundant
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-12 Sven Verdoolaegeisl_tab.c: perform_undo_var: extract out restore_last_redundant
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-12 Sven Verdoolaegeisl_convex_hull.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-07 Sven Verdoolaegeisl_schedule_tree.c: add missing copyright statement
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-07 Sven Verdoolaegetransfer copyright of isl_map_coalesce improvements
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-07 Sven Verdoolaegetransfer copyright of loop coalescing handling in scheduler
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-02 Sven VerdoolaegeMerge branch 'maint'
 commit | commitdiff | tree
2016-11-29 Sven Verdoolaegeinterface/python.cc: document order of superclasses
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-29 Sven Verdoolaegeisl_class::print_method_overload: drop redundant "super...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-29 Sven Verdoolaegeextract_interface: remove duplicate __isl_subclass...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-29 Sven Verdoolaegeisl_qpolynomial_eval: handle void input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-28 Sven Verdoolaegeisl_vertices.c: tab_for_shifted_cone: allocate room...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-24 Sven VerdoolaegeMerge branch 'maint'
 commit | commitdiff | tree
2016-11-24 Sven Verdoolaegeisl_qpolynomial_set_dim_name: adjust to change of space
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-23 Sven Verdoolaegeisl_polynomial.c: reduce_divs: do not assume input...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-23 Sven Verdoolaegeisl_polynomial.c: reduce_divs: use isl_qpolynomial_get_ctx
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-23 Sven Verdoolaegeisl_polynomial.c: reduce_divs: use isl_qpolynomial_domain_dim
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-23 Sven Verdoolaegeisl_qpolynomial_domain_dim: handle isl_dim_div and...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-23 Sven Verdoolaegeisl_qpolynomial_dim: extract out isl_qpolynomial_domain_dim
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-23 Sven Verdoolaegeprivately add isl_qpolynomial_domain_offset
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-23 Sven Verdoolaegeprivately add isl_mat_zero
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-23 Sven Verdoolaegeprivately add isl_mat_col_neg
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-23 Sven Verdoolaegeprivately add isl_mat_col_addmul
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-23 Sven Verdoolaegeisl_mat.c: extract out shared check_col
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-23 Sven Verdoolaegeisl_test.c: add_cell: fix return type
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-23 Sven Verdoolaegeisl_test.c: set srcdir at configure time
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-23 Sven Verdoolaegepip_test.sh.in: set srcdir at configure time
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-23 Sven Verdoolaegebound_test.sh.in: set srcdir at configure time
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-15 Sven Verdoolaegeisl_vertices_foreach_disjoint_cell: handle saturation...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-15 Sven Verdoolaegeisl_basic_set_tighten_outward: extract out is_internal
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-15 Sven Verdoolaegeisl_vertices_foreach_disjoint_cell: extract out isl_basic_se...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-11 Sven Verdoolaegemark isl_set_lifting as deprecated
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-11 Sven Verdoolaegemark isl_map_copy_basic_map and isl_map_drop_basic_map...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-11 Sven Verdoolaegeisl_map_drop_basic_map: extract out internal map_drop_basic_map
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-11 Sven Verdoolaegeisl_map_copy_basic_map: extract out internal map_copy_basic_map
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-11 Sven Verdoolaegemark isl_set_copy_basic_set and isl_set_drop_basic_set...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-11 Sven Verdoolaegeisl_convex_hull.c: uset_convex_hull_unbounded: operate...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-11 Sven Verdoolaegeadd isl_basic_set_list_union
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-11 Sven Verdoolaegeisl_convex_hull.c: uset_convex_hull_unbounded: add...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-11 Sven Verdoolaegemark isl_set_dim_is_unique as deprecated
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-11 Sven Verdoolaegemark isl_set_recession_cone as deprecated
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-11 Sven Verdoolaegemark isl_basic_set_list_product as deprecated
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-11 Sven Verdoolaegemark isl_space_compatible as deprecated
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-11 Sven Verdoolaegeisl_space_compatible: extract out isl_space_compatible_internal
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-11 Sven Verdoolaegemark isl_basic_map_from_basic_set as deprecated
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-11 Sven Verdoolaegeisl_basic_map_from_basic_set: extract out internal...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-11 Sven Verdoolaegeisl_basic_map_intersect_range: avoid call to isl_basic_map_f...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-11 Sven Verdoolaegebasic_set_maximal_difference_at: use isl_basic_map_range_product
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-11 Sven Verdoolaegemark isl_map_from_set as deprecated
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-11 Sven Verdoolaegedeprecate isl_set_align_divs and isl_map_align_divs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-11 Sven Verdoolaegeexplicitly mark isl_basic_set_drop_constraint as deprecated
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-11 Sven Verdoolaegeisl_convex_hull.c: collect_basic_maps: fix return type
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-11 Sven Verdoolaegeisl_basic_map_expand_divs: fix type of argument
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-11 Sven Verdoolaegeisl_basic_map_set_rational: fix type of argument
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-11 Sven Verdoolaegeisl_dim_map.h: add missing include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-11 Sven Verdoolaegedoc: fix typo
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-11 Sven Verdoolaegeisl_vertices.c: fix typos in comments
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-11 Sven Verdoolaegeisl_transitive_closure.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-11 Sven Verdoolaegeisl_map_simplify.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-11 Sven Verdoolaegeisl_map.c: fix typos in comments
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-11 Sven Verdoolaegeisl_equalities.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-11 Sven Verdoolaegeisl_tab_pip.c: fix typos in comments
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-11 Sven Verdoolaegeisl_tab_pip.c: add back line to sol_pma_add documentation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-11 Sven VerdoolaegeMerge branch 'maint'
 commit | commitdiff | tree
2016-11-11 Sven Verdoolaegeisl_aff.c: vec_reorder: avoid NULL pointer dereference
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-09 Sven Verdoolaegeisl_ast_build_expr_from_pw_aff: do not include rational...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-02 Sven Verdoolaegeisl_tab_pip.c: set_from_affine_matrix: check that zero...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-02 Sven Verdoolaegeisl_tab_pip.c: basic_map_partial_lexopt_base_sol: put...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-02 Sven Verdoolaegeadd isl_basic_set_sort_divs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-02 Sven Verdoolaegeextract out shared set_from_map
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-02 Sven Verdoolaegeextract out shared set_to_map
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-02 Sven Verdoolaegeextract out shared bset_from_bmap
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-02 Sven Verdoolaegeextract out shared bset_to_bmap
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-02 Sven VerdoolaegeMerge branch 'maint'
 commit | commitdiff | tree
2016-11-02 Sven Verdoolaegeisl_map_convex_hull: use consistent space when lineality...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
next
Integer set library