?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
isl_stream_read_map: accept '|' at start of constraints
2011-02-12 Sven Verdoolaegeisl_stream_read_map: accept '|' at start of constraints
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-12 Sven Verdoolaegeisl_stream: keep track of textual representation of...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-11 Sven Verdoolaegeisl_input.c: clean up read_disjuncts
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-11 Sven Verdoolaegeisl_stream_read_map: accept disjunctions within a conjunct
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-10 Sven Verdoolaegeisl_convex_hull.c: explicitly mark wrapping lp problem...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-10 Sven Verdoolaegeisl_tab_min: micro-optimization: postpone taking into...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-05 Sven VerdoolaegeMerge branch 'maint'
 commit | commitdiff | tree
2011-02-05 Sven Verdoolaegeisl_tab_add_row: add further explanation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-05 Sven Verdoolaegeisl_tab.c: fix typos in comments
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-05 Sven Verdoolaegeisl_tab_pip.c: correctly detect non-negativity of divs...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-05 Sven Verdoolaegeadd test
 commit | commitdiff | tree
2011-02-05 Sven Verdoolaegetest both context handling mechanisms of isl_pip
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-05 Sven Verdoolaegeisl_tab_is_equality: properly support "big parameter"
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-05 Sven Verdoolaegeisl_tab_pip.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-05 Sven Verdoolaegeisl_affine_hull.c: fix typos in comments
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-05 Sven Verdoolaegeisl_union_map_compute_flow: return accesses with no...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-05 Sven VerdoolaegeMerge branch 'maint'
 commit | commitdiff | tree
2011-02-05 Sven Verdoolaegeisl_union_map.c: inplace: pass data pointer to isl_hash_tabl...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-27 Sven Verdoolaegeisl_dim_move: update parameters of nested spaces
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-27 Sven Verdoolaegeadd isl_map_nat_universe
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-27 Sven Verdoolaegeclean up isl_set_from_basic_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-27 Sven Verdoolaegemerge isl_basic_set/isl_basic_map and isl_set/isl_map
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-26 Sven Verdoolaegerename "omega" transitive closure to "box" transitive...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-23 Sven Verdoolaegeexport isl_int_obj_free
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-23 Sven Verdoolaegeisl_vertices.c: fix typos
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-23 Sven Verdoolaegeisl_union_templ.c: fix typo
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-23 Sven Verdoolaegeisl_map_subtract.c: n_non_redundant: propage isl_ctx
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-23 Sven Verdoolaegeisl_bernstein.c: fix typo
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-23 Sven Verdoolaegeadd isl_union_pw_qpolynomial_mul_isl_int
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-23 Sven Verdoolaegeisl_stream_read_obj: read int objects
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-23 Sven Verdoolaegeadd int objects for use in iscc
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-22 Sven Verdoolaegeisl_basic_map_remove_divs: finalize result
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-22 Sven Verdoolaegeadd isl_basic_set_get_tuple_name
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-22 Sven VerdoolaegeMerge branch 'maint'
 commit | commitdiff | tree
2011-01-22 Sven Verdoolaegeisl_union_map_sample: don't return NULL on empty input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-21 Sven Verdoolaegeisl_basic_map_set_tuple_name: finalize result
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-21 Sven Verdoolaegeisl_transitive_closure.c: more anonymize input map...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-21 Sven Verdoolaegeisl_basic_set_factorizer: make sure group information...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-19 Sven Verdoolaegeadd isl_union_map_range_product
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-19 Sven Verdoolaegedoc: document product functions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-19 Sven Verdoolaegerename isl_basic_set_product to isl_basic_set_list_product
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-18 Sven Verdoolaegeisl_set_convex_hull: optionally use Fourier-Motzkin...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-16 Sven Verdoolaegeisl_basic_set_sample_point: exploit factorization if any
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-16 Sven Verdoolaegeadd isl_morph_vec
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-16 Sven Verdoolaegechange prototype of isl_vec_dump
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-16 Sven Verdoolaegeadd isl_printer_print_vec
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-16 Sven Verdoolaegeadd isl_union_set_apply_union_pw_qpolynomial_fold
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-16 Sven Verdoolaegeexport isl_union_map_from_domain and isl_union_map_from_range
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-16 Sven Verdoolaegeisl_basic_map_intersect_domain: replace open-coded...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-16 Sven Verdoolaegeisl_stream_read_map: accept modulo expressions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-16 Sven Verdoolaegeisl_basic_map_insert: don't simplify the result
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-16 Sven VerdoolaegeMerge branch 'maint'
 commit | commitdiff | tree
2011-01-16 Sven Verdoolaegeisl_basic_map_from_constraint_matrices: clear newly...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-12 Sven Verdoolaegeisl_token_free: free string representation of keywords
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-12 Sven Verdoolaegeisl_input.c: read_factor: drop unexpected identifier
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-12 Sven Verdoolaegeisl_input.c: accept_affine_factor: avoid double free...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-08 Tobias GrosserAdd isl_union_(set/map)_detect_equalities
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-08 Sven Verdoolaegeisl_stream_read_map: allow space names that happen...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-08 Sven Verdoolaegeisl_stream_next_token: keep track of string representation...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-07 Sven Verdoolaegeadd isl_basic_set_flatten
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-07 Sven Verdoolaegeadd isl_union_map_simple_hull
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-07 Sven VerdoolaegeMerge branch 'maint'
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-07 Sven Verdoolaegeadd isl_set_remove_unknown_divs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-07 Sven Verdoolaegeisl_map_is_subset: don't compute divs of minuend
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-07 Sven Verdoolaegerename isl_map_is_singleton to isl_map_fast_is_singleton
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-07 Sven Verdoolaegeadd isl_map_fast_is_single_valued
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-07 Sven Verdoolaegeadd isl_qpolynomial_dump
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-07 Sven Verdoolaegeexport isl_union_set_dump
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-07 Sven Verdoolaegeisl_qpolynomial_add_on_domain: compute gist with respect...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-06 Sven Verdoolaegeisl_union_map_coalesce and isl_union_map_compute_divs...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-06 Sven Verdoolaegeisl_basic_map_solve_lp: use denominator
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-05 Sven VerdoolaegeMerge commit 'isl-0.05.1'
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-05 Sven Verdoolaegeisl 0.05.1
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-05 Sven Verdoolaegeisl_tab_basic_map_partial_lexopt: fix up symmetry detection
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-05 Sven Verdoolaegeisl_basic_map_universe: finalize result
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-05 Sven Verdoolaegeisl_seq.h: allow inclusion from C++
 commit | commitdiff | tree
2010-12-31 Tobias GrosserAdd GDB module that defines an islprint command
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-30 Sven Verdoolaegereimplement isl_map_partial_lexopt
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-30 Sven Verdoolaegeisl_map: fix typos in comments
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-30 Sven Verdoolaegeadd some more isl_map_lexmin tests
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-29 Sven Verdoolaegeadd isl_qpolynomial_add_isl_int
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-29 Sven Verdoolaegeadd isl_pw_qpolynomial_fold_dump
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-29 Sven Verdoolaegeadd isl_pw_qpolynomial_dump
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-29 Sven Verdoolaegeadd isl_qpolynomial_fold_dump
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-29 Sven Verdoolaegeadd isl_qpolynomial_fold_get_ctx
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-29 Sven Verdoolaegeisl_printer_print_qpolynomial_fold: support C format
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-29 Sven Verdoolaegeexport isl_printer_print_qpolynomial_fold
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-29 Sven Verdoolaegeexport isl_union_map_dump
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-29 Sven Verdoolaegeadd isl_{set,map}_dump
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-29 Sven Verdoolaegeadd isl_basic_{set,map}_dump
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-29 Sven Verdoolaegeisl_printer_print_basic_{set,map}: don't print newline...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-29 Sven Verdoolaegerename isl_*_dump to isl_*_print_internal
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-27 Sven Verdoolaegemake isl/point.h self-contained
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-23 Sven Verdoolaegeisl 0.05
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-22 Sven Verdoolaegeisl_printer_print_basic_map: plug memory leak on error...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-22 Sven Verdoolaegeisl_dim_set_name: plug memory leak when overwriting...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-18 Sven Verdoolaegeisl_tab_basic_map_partial_lexopt: detect and exploit...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-18 Sven Verdoolaegeisl_tab_pip.c: fix typos in comments
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-18 Sven Verdoolaegeisl_pip: limit the total number of parameter values...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-18 Sven Verdoolaegeadd isl_basic_set_count_upto
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
next
Integer set library