?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
isl_tab_pip.c: isl_sol: keep track of space of output
2017-01-03 Sven Verdoolaegeisl_tab_pip.c: isl_sol: keep track of space of output
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-03 Sven Verdoolaegeisl_tab_pip.c: sol_push_sol: clarify meaning of "M...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-03 Sven Verdoolaegeisl_tab_pip.c: remove wrappers for sol_*_free
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-03 Sven Verdoolaegeisl_tab_pip.c: move common parts of isl_*_free functions...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-03 Sven Verdoolaegeisl_tab_pip.c: set free callback before any other fields
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-03 Sven Verdoolaegeisl_tab_pip.c: extract out shared sol_init
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-03 Sven Verdoolaegeisl_tab_pip.c: isl_sol: update documentation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-03 Sven Verdoolaegeisl_tab_pip.c: move up set_from_affine_matrix
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-03 Sven Verdoolaegeisl_tab_pip.c: same_solution: return isl_bool
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-03 Sven Verdoolaegeisl_tab_pip.c: sol_*add: add memory management annotations
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-03 Sven Verdoolaegeisl_tab_pip.c: sol_push_sol: add memory management...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-03 Sven Verdoolaegeisl_tab_pip.c: sol_*_init: add memory management annotations
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-03 Sven Verdoolaegeadd isl_pw_multi_aff_is_equal
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-03 Sven Verdoolaegedoc: document isl_pw_aff_is_equal
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-03 Sven Verdoolaegeisl_pw_aff_is_equal: change return type to isl_bool
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-03 Sven Verdoolaegeisl_pw_*_plain_is_equal: fix handling of NaNs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-03 Sven Verdoolaegegeneralize isl_pw_aff_involves_nan
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-03 Sven Verdoolaegedoc: document isl_qpolynomial_is_nan
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_stream_read_pw_multi_aff: read isl_pw_multi_aff...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_stream_read_multi_pw_aff: extract out extract_mpa_from_tuple
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_basic_map_range_map: use isl_basic_map_equate
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_basic_map_domain_map: use isl_basic_map_equate
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_tab_detect_implicit_equalities: reuse select_marked
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_tab.c: move up select_marked
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_map_coalesce: check status of inequality constraints...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_map_coalesce: allow separating equality constraints...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_map_coalesce: only harmonize divs if equality constraint...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_basic_map_simplify: reduce coefficients of integer...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_basic_map_gauss: do not extract partial explicit...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_basic_map_gauss: extract out set_div_from_eq
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_map_coalesce: harmonize integer divisions in stride...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeadd isl_basic_map_set_div_expr_constant_num_si_inplace
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeadd isl_basic_map_equal_div_expr_except_constant
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_coalesce.c: set_up_substitutions: extract isl_basic_map_...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_map.c: extract out shared isl_basic_map_check_range
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_affine_hull.c: move isl_*_drop_constraints_* to...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeprivately export isl_constraint_get_constant
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_basic_map_shift_div: special case zero shift
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_map_coalesce: take into account equality constraints...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_coalesce.c: harmonize_divs: return isl_stat
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_coalesce.c: shift_div: return isl_stat
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeprivately export isl_val_get_num_isl_int
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_local_space_get_div: handle presence of unknown...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeadd isl_local_space_div_is_marked_unknown
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeadd isl_local_div_is_marked_unknown
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_map_coalesce: detect constants in potential extension
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeadd isl_tab_detect_constants
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_map_coalesce: detect constants among expanded divs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeadd isl_tab_is_constant
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_tab.c: isl_tab_min: extract out get_rounded_sample_value
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_tab.c: extract out shared row_is_big
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_coalesce.c: tab_insert_divs: extract out copy_ineq
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_coalesce.c: expand_tab: first extract out list...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-19 Sven Verdoolaegeisl_coalesce.c: expand_tab: consume updated basic map
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
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
next
Integer set library