?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
isl_tab_pip.c: restore_lexmin: return int instead of isl_tab *
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
2011-03-18 Sven Verdoolaegeisl_stream_read_map: accept floord and ceild expressions...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-18 Sven Verdoolaegeisl_stream_read_map: accept min and max expressions...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-18 Sven Verdoolaegeisl_stream_read_map: properly read nested divs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-18 Sven Verdoolaegeisl_stream_read_map: treat divs as output variables...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-18 Sven Verdoolaegeisl_map_coalesce: plug memory leak on error path
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-18 Sven Verdoolaegeisl_mat_extend: avoid memory leak when realloc fails
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-18 Sven Verdoolaegeisl_basic_map_overlying_set: avoid memory leak when...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-18 Sven Verdoolaegeisl_stream_getc: avoid memory leak when realloc fails
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-18 Sven Verdoolaegerudimentary support for asynchronous termination of...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-16 Sven Verdoolaegehide isl_ctx internals
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-15 Sven Verdoolaegeisl_vec_read_from_file: drop input_format argument
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-15 Sven Verdoolaegeisl_map.c: drop unused error label
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-15 Sven Verdoolaegeisl_input.c: drop unused error label
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-15 Sven Verdoolaegerespect DESTDIR when installing isl.py
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-12 Sven Verdoolaegeisl_stream: accept "$" token
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-12 Sven Verdoolaegeadd isl_union_map_power
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-12 Sven Verdoolaegechange isl_map_power interface
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-12 Sven Verdoolaegeadd isl_union_map_zip
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-12 Sven Verdoolaegeadd private isl_basic_map_swap_vars
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-10 Sven Verdoolaegeadd isl_union_map_deltas_map
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-10 Sven VerdoolaegeMerge branch 'maint'
 commit | commitdiff | tree
2011-03-10 Sven Verdoolaegeisl_map_deltas: don't copy flags from input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-05 Sven Verdoolaegeisl_stream_read_map: accept constant expressions of...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-05 Sven Verdoolaegeisl_stream: accept "/\" and "\/" as alternatives for...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-05 Sven Verdoolaegeisl_stream: only quote newline using '\'
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-05 Sven Verdoolaegeisl_stream: maintain private ungetc buffer
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-02 Sven Verdoolaegeisl_set_lifting: simplify and finalize result
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-02 Sven Verdoolaegedoc: fix typo
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-02 Sven Verdoolaegedoc: drop long outdated note on transitive closures
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-01 Sven Verdoolaegeadd isl_basic_set_get_dim_name
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-25 Sven Verdoolaegeisl_map_identity: take dimension specification of map...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-25 Sven Verdoolaegerename isl_dim_map to isl_dim_map_from_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-25 Sven Verdoolaegetransitive closure: project out parameters when any...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-21 Sven Verdoolaegeprivately export isl_basic_set_reset_dim
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-21 Sven Verdoolaegeisl_set_lift: preserve structure of space
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-21 Sven Verdoolaegeisl_pw_qpolynomial_bound: handle combination of wrapping...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-21 Sven Verdoolaegeisl_tab_pip.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-21 Sven Verdoolaegeisl_tab: check for obviously empty tableaus after discoverin...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-21 Sven Verdoolaegeisl_basic_map_gist: prefer contraints without existentially...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-20 Sven Verdoolaegeisl_basic_map_sort_constraints: change comparison routine
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-19 Sven Verdoolaegeisl_tab_ineq_type: classify more constraints as being...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-19 Sven Verdoolaegeisl_map_coalesce: be more relaxed about multiple equalities...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-18 Sven Verdoolaegeadd isl_basic_map_from_domain_and_range
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-18 Sven Verdoolaegeadd isl_basic_set_neg
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-18 Sven Verdoolaegeadd isl_basic_set_flat_product
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-18 Sven Verdoolaegeexport isl_basic_map_flatten
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-18 Sven Verdoolaegeadd isl_basic_map_from_qpolynomial
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-17 Sven Verdoolaegeisl_stream: support \<newline> line continuation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-17 Sven Verdoolaegeadd isl_union_map_read_from_file
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-17 Sven Verdoolaegeisl_stream_read_map: accept 'true' and 'false' constraints
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-17 Sven Verdoolaegeisl_stream_read_map: allow extra ';' at end of map...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-17 Sven Verdoolaegeisl_stream_read_map: allow negations
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-17 Sven Verdoolaegeisl_stream_read_map: allow existential quantification...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-17 Sven Verdoolaegeprivately export isl_basic_map_add_div_constraints_var
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-13 Sven Verdoolaegeisl_morph_basic_set: preserve rationality of input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-13 Sven Verdoolaegeadd isl_basic_set_is_rational
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-13 Sven Verdoolaegeisl_printer_print_basic_map: explicitly mark rational...
commit | commitdiff | tree
2011-02-13 Sven Verdoolaegeisl_stream_read_map: read rational maps
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
next
Integer set library