?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
isl_aff_alloc: check that all divs are known
2011-05-20 Sven Verdoolaegeisl_aff_alloc: check that all divs are known
 commit | commitdiff | tree
2011-05-20 Sven Verdoolaegeadd isl_local_space_divs_known
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-20 Sven VerdoolaegeMerge branch 'maint'
 commit | commitdiff | tree
2011-05-20 Sven Verdoolaegeisl_qpolynomial_* constructors: check dim before accessing...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-18 Sven Verdoolaegeadd isl_qpolynomial_from_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-18 Sven Verdoolaegeisl_qpolynomial_involves_dims: fix typo
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-18 Sven Verdoolaegeisl_polynomial.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-18 Sven Verdoolaegeadd isl_aff_get_dim
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-17 Sven Verdoolaegeisl_basic_map_from_local_space: don't finalize result
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-16 Sven Verdoolaegeadd isl_set_add_constraint
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-16 Sven Verdoolaegeadd isl_equality_from_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-16 Sven Verdoolaegeadd isl_set_max
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-16 Sven Verdoolaegeadd isl_constraint_get_bound
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-16 Sven Verdoolaegeadd isl_{basic_,}map_may_be_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-16 Sven Verdoolaegeadd isl_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-16 Sven Verdoolaegeadd isl_basic_set_expand_divs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-16 Sven Verdoolaegeisl_polynomial.c: move merge_divs to isl_local_space.c
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-16 Sven Verdoolaegeadd isl_local_space
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-16 Sven Verdoolaegeisl_dim_size: handle isl_dim_all
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-16 Sven Verdoolaegeadd isl_constraint_involves_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-16 Sven Verdoolaegeisl_printer_print_qpolynomial: support proper isl output
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-16 Sven Verdoolaegeadd isl_qpolynomial_align_params
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-16 Sven Verdoolaegeadd isl_map_align_params
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-16 Sven Verdoolaegeexport isl_basic_set_remove_redundancies
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-16 Sven Verdoolaegeexport isl_qpolynomial_gist
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-16 Sven Verdoolaegeexport isl_set_eliminate
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-16 Sven Verdoolaegeisl/div.h: drop dependence on isl/set.h
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-16 Sven Verdoolaegehide isl_div internals
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-16 Sven Verdoolaegeadd isl_div_get_ctx
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-16 Sven Verdoolaegeadd isl_mat_get_ctx
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-16 Sven Verdoolaegedoc: drop documentation for isl-polylib
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-15 Sven Verdoolaegeadd gmp flags to pkg-config file
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-15 Sven Verdoolaegeexplicitly link in gmp in applications that reference...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-15 Sven Verdoolaegeconfigure.ac: don't depend on automake 1.11
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-09 Sven Verdoolaegeisl_pw_qpolynomial_involves_dims: also check whether...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-05 Sven Verdoolaegeadd isl_union_map_plain_is_injective
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-05 Sven Verdoolaegeisl_map_intersect_range: add special case for intersection...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-05 Sven Verdoolaegeadd isl_vec_sort
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-05 Sven Verdoolaegeadd isl_union_map_universe
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-05 Sven Verdoolaegerename *_fast_* functions to *_plain_*
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-05 Sven VerdoolaegeMerge branch 'maint'
 commit | commitdiff | tree
2011-05-05 Sven Verdoolaegeisl_map_range: correctly handle maps with 0D domains
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-30 Sven Verdoolaegeisl_list.h: allow inclusion from C++
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-30 Sven Verdoolaegeisl_tab_pip: don't simplify domain in isl_for_add
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-29 Sven Verdoolaegeadd isl_printer_print_constraint
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-29 Sven Verdoolaegeadd isl_constraint_get_ctx
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-27 Sven Verdoolaegeadd isl_mat_dump
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-27 Sven Verdoolaegerename isl_mat_dump to isl_mat_print_internal
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-25 Sven Verdoolaegeadd isl_constraint_get_dim
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-25 Sven VerdoolaegeMerge branch 'maint'
 commit | commitdiff | tree
2011-04-25 Sven Verdoolaegeisl_basic_map_affine_hull: finalize result
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-25 Tobias GrosserRemove recently added unused variables
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-25 Tobias GrosserAdd extern C declaration to schedule.h
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-22 Sven Verdoolaegedataflow analysis: don't depend on word size during...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeadd isl_union_set_compute_schedule
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeadd isl_tab_basic_set_non_neg_lexmin
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeadd isl_tab_basic_set_non_trivial_lexmin
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeisl_tab_pip.c: add_lexmin_eq: return int instead of...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeisl_tab_pip.c: restore_lexmin: return int instead of...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeisl_tab_pip.c: add some debugging code
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeisl_tab_pip.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeadd isl_quicksort (copied from glibc)
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeisl_printer_print_basic_set: also print invalid basic...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeadd isl_union_map_is_injective
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeadd isl_union_map_is_bijective
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeadd isl_union_map_is_single_valued
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeadd isl_mat_add_zero_rows
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeisl_blk: don't reuse overly large blocks for small...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeadd isl_hmap_map_basic_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeadd isl_union_map_copy_map
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeadd isl_union_map_contains
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeadd isl_basic_set_transform_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeadd isl_basic_set_offset
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegechange isl_mat_sub_alloc prototype
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegemake isl_mat_sub_* functions private
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeadd isl_vec_get_ctx
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeadd isl_mat_initial_non_zero_cols
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeadd isl_mat_set_element_si
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeadd isl_basic_set_add_constraints_dim_map
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeadd isl_dim_map_range
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeisl_dim_map: allow signed mapping
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeisl_dim_map: extract from isl_map.c
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegechange prototype of isl_tab_dump
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeadd isl_map_remove_divs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegedoc: fix typo
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegedoc: add a note on the accuracy of our approximation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeadd isl_union_set_coefficients and isl_union_set_solutions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-19 Sven Verdoolaegeadd isl_union_set_lift
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-19 Sven VerdoolaegeMerge branch 'maint'
 commit | commitdiff | tree
2011-04-19 Sven Verdoolaegeisl_tab: alway free saved basis undo record
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-19 Sven Verdoolaegemake sure destination for GDB module exists before...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-19 Sven Verdoolaegeisl_tab_pip.c: add_lexmin_eq: remove misguided optimizations
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-11 Sven Verdoolaegeisl_basic_map_lexmin: turn off equality detection on...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-11 Sven Verdoolaegeuse silent make rules
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-11 Sven Verdoolaegeisl_stream_read_map: fix handling of divs in tuples
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-11 Sven Verdoolaegeisl_mat_left_hermite: plug memory leak on error path
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-11 Sven Verdoolaegeplug memory leak in isl_mat_product
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-18 Sven Verdoolaegeisl 0.06
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-18 Sven Verdoolaegedoc: add some implementation details on parametric...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-18 Sven Verdoolaegeisl_lp.c: avoid clang warning
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
next
Integer set library