?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
isl_input.c add_equalities: gauss and finalize result after adding equalities
2010-09-04 Sven Verdoolaegeisl_input.c add_equalities: gauss and finalize result...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-04 Sven Verdoolaegeadd public API for matrices
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-04 Sven Verdoolaegeisl_coalesce.c: fix typos in comment
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-04 Sven Verdoolaegeisl_polytope_scan: improve error handling
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-04 Sven Verdoolaegeadd isl_pw_qpolynomial_split_periods
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-29 Sven Verdoolaegeisl_polynomial.c: sort_divs: remove duplicate divs...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-29 Sven Verdoolaegeisl_polynomial.c: sort_divs: fix ordering of div rows
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-26 Sven Verdoolaegeargument parsing: add ISL_ARG_USER_OPT_CHOICE
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-26 Sven Verdoolaegealign parameters of union arguments to binary functions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-26 Sven Verdoolaegeadd isl_dim_replace
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-26 Sven Verdoolaegeadd isl_union_*_dump for debugging
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-26 Sven Verdoolaegeclean up isl_pw_qpolynomial_neg
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-26 Sven Verdoolaegeisl_union_templ.c: minor clean-up
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-26 Sven Verdoolaegeadd isl_mat_insert_zero_cols
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-26 Sven Verdoolaegeadd isl_basic_map_get_ctx
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-24 Sven Verdoolaegeisl_map_read_from_str: parse tuple entries with leading...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-18 Sven Verdoolaegeadd isl_map_apply_pw_qpolynomial_fold
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-18 Sven Verdoolaegeadd isl_union_pw_qpolynomial_fold_get_type
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-18 Sven Verdoolaegeadd isl_pw_qpolynomial_fold_insert_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-18 Sven Verdoolaegeadd isl_union_pw_qpolynomial_fold_add_union_pw_qpolynomial
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-18 Sven Verdoolaegeadd type to isl_{union_,}pw_qpolynomial_fold
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-18 Sven Verdoolaegefix isl_qpolynomial_fold_reset_dim
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-18 Sven Verdoolaegeisl_input.c: read_term: allow terms starting with negative...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-18 Sven Verdoolaegeisl_union_pw_qpolynomial_add_pw_qpolynomial: don't...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-18 Sven Verdoolaegeisl_stream_read_obj: read reductions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-18 Sven Verdoolaegeisl_input.c: read_factor: fix read after free in error...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-18 Sven Verdoolaegeisl_stream_error: print unexpected identifier name
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-18 Sven Verdoolaegerename isl_pw_qpolynomial_fold_add to isl_pw_qpolynomial_fol...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-18 Sven Verdoolaegedoc: minor clarification on operations on union sets
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-18 Sven Verdoolaegeadd isl_union_set_get_ctx
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-11 Sven Verdoolaegeisl_map_gist: also perform gist in universe context
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-10 Sven Verdoolaegeisl_union_map: construct new isl_union_map on operations...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-10 Sven Verdoolaegeisl_union_map_is_empty: fix typo that resulted in memory...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-09 Sven Verdoolaegeadd isl_basic_map_has_defining_equality
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-09 Sven Verdoolaegeadd isl_set_get_ctx
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-07 Sven Verdoolaegeisl_printer_print_map: fix printing in latex format
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-06 Sven Verdoolaegeisl_set_wrap_facet: normalize resulting facet constraint
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-06 Sven Verdoolaegeisl_coalesce.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-06 Sven Verdoolaegeisl_pw_qpolynomial_intersect_domain: simplify polynomials...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-06 Sven Verdoolaegeisl_qpolynomial_move_dims: plug memory leak and fix...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-06 Sven Verdoolaegeadd isl_pw_qpolynomial_read_from_str
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-06 Sven Verdoolaegeadd isl_qpolynomial_fold_substitute
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-05 Sven Verdoolaegeisl_pw_qpolynomial_intersect_domain: drop pieces that...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-05 Sven Verdoolaegeisl_map_product: used nested spaces in result
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-05 Sven Verdoolaegeisl_pw_qpolynomial_bound: handle isl_pw_qpolynomials...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-05 Sven Verdoolaegesupport nested isl_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-05 Sven Verdoolaegedoc: fix typo
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-05 Sven Verdoolaegeexport isl_dim_tuple_match
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-05 Sven Verdoolaegeisl_output.c: extract out common print_dim
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-05 Sven Verdoolaegeisl_input.c: read_tuple: construct isl_dim instead...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-05 Sven Verdoolaegedoc: remove description of how to get the piplib submodule
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-04 Sven Verdoolaegeisl_printer_print_pw_qpolynomial_fold: print dim as...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-04 Sven Verdoolaegeadd isl_pw_qpolynomial_insert_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-04 Sven Verdoolaegeadd isl_set_insert
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-04 Sven Verdoolaegeadd isl_basic_map_image_is_bounded
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-04 Sven Verdoolaegeavoid NULL pointer exception in isl_basic_map_n_*
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-04 Sven Verdoolaegefix isl_pw_qpolynomial_reset_dim
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-04 Sven Verdoolaegeadd isl_mat_add_rows
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-04 Sven Verdoolaegeadd isl_mat_add_zero_cols
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-03 Sven Verdoolaegeexport isl_basic_map_move_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-02 Sven Verdoolaegehide isl_dim internals
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-02 Sven Verdoolaegeadd isl_dim_get_ctx
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-02 Sven Verdoolaegeisl_basic_map_reset_dim: finalize result
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-02 Sven Verdoolaegeisl_transitive_closure.c: anonymize input map during...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-02 Sven Verdoolaegeisl_transitive_closure.c: keep track of domains for...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-02 Sven Verdoolaegeisl_dim_drop: always remove tuple name, even if number...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-02 Sven Verdoolaegeisl_dim_set_tuple_name: allow explicit removal of tuple...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-07-31 Sven Verdoolaegeadd support for union sets and relations
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-07-31 Sven Verdoolaegeisl_transitive_closure.c: extract out some reusable...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-07-31 Sven Verdoolaegeadd isl_pw_qpolynomial_reset_dim
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-07-31 Sven Verdoolaegeadd isl_map_has_equal_dim
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-07-31 Sven Verdoolaegeadd isl_dim_get_hash
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-07-31 Sven Verdoolaegeisl_dim: allow specification of tuple names
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-07-30 Sven Verdoolaegeisl_map_from_domain_and_range: implement in terms of...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-07-30 Sven Verdoolaegeisl_basic_map_domain: properly set dimension of result
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-07-30 Sven Verdoolaegeprivately export isl_set_reset_dim and isl_map_reset_dim
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-07-30 Sven Verdoolaegeisl_map_read: extract out read_var_def
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-07-30 Sven Verdoolaegeisl_hash_table_foreach: pass pointer to entry data
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-07-30 Sven Verdoolaegeisl_hash_table_foreach: add user argument
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-07-30 Sven Verdoolaegeisl_transitive_closure.c: fix double free on error...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-07-30 Sven Verdoolaegeisl_map_gist: use simple hull instead of convex hull
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-07-30 Sven Verdoolaegeisl_map.c: fix typo
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-07-30 Sven Verdoolaegeisl_cat: read generic objects
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-07-30 Sven Verdoolaegeisl_printer: add NULL checks
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-07-30 Sven Verdoolaegemake isl_obj_none a constant expression
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-07-30 Sven Verdoolaegeadd isl_map_get_ctx
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-07-30 Sven Verdoolaegeisl_map_fast_is_universe: also detect redundant representati...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-07-24 Sven Verdoolaegeadd isl_map_reaching_path_lengths
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-07-24 Sven Verdoolaegeisl_map_power: delay equating path lengths to power...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-07-24 Sven Verdoolaegeisl_map_power: apply Floyd-Warshall to compute powers...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-07-24 Sven Verdoolaegeisl_map_lexmax: produce less cryptic error message...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-07-23 Sven Verdoolaegefix isl_basic_map_move_dims in presence of existentially...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-07-23 Sven Verdoolaegeisl_test: drop debugging output
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-07-23 Sven Verdoolaegeisl_transitive_closure.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-07-23 Sven Verdoolaegefix isl_map_lex_ge and isl_map_lex_le in the zero-dimensiona...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-07-19 Sven Verdoolaegeisl_printer_print_map: replace variable by its definition...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-07-14 Sven Verdoolaegeprivately export isl_basic_map_fast_cmp and isl_basic_map_fa...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-07-14 Sven Verdoolaegeisl_dim_set_name: don't accept names that look like...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-07-05 Sven Verdoolaegeisl_convex_hull.c: avoid side-effects in calls to isl_int_...
commit | commitdiff | tree
2010-07-04 Sven Verdoolaegeadd isl_hash_builtin
 commit | commitdiff | tree
next
Integer set library