?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
doc: minor clarification on operations on union sets
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
2010-07-04 Sven Verdoolaegeadd isl_int_get_str
 commit | commitdiff | tree
2010-07-02 Sven Verdoolaegedoc: fix some typos
 commit | commitdiff | tree
2010-06-29 Sven Verdoolaegeisl 0.03
 commit | commitdiff | tree
2010-06-29 Sven VerdoolaegeMakefile.am: really include include/isl_vertices.h
 commit | commitdiff | tree
2010-06-29 Sven Verdoolaegeadd isl_map_is_bijective
 commit | commitdiff | tree
2010-06-28 Sven Verdoolaegedoc: fix typo
 commit | commitdiff | tree
2010-06-28 Sven Verdoolaegedoc: drop duplicate booktitle from Kelly1996closure...
commit | commitdiff | tree
2010-06-28 Sven Verdoolaegedoc: use more explicit notation to avoid confusion
 commit | commitdiff | tree
2010-06-27 Sven Verdoolaegeadd isl_constraint_is_div_constraint
 commit | commitdiff | tree
2010-06-27 Sven Verdoolaegeisl_map_simplify.c: separate out isl_basic_map_is_div_constraint
 commit | commitdiff | tree
2010-06-27 Sven Verdoolaegeisl_basic_map_from_constraint: keep all divs, even...
commit | commitdiff | tree
2010-06-27 Sven Verdoolaegeisl_basic_map_from_constraint: only return copy of...
commit | commitdiff | tree
2010-06-27 Sven Verdoolaegeisl_constraint_add_div: correctly set line to first...
commit | commitdiff | tree
2010-06-27 Sven Verdoolaegeisl_pip: rename pip_options to avoid conflict with...
commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_convex_hull.c: initial_facet_constraint: fix error...
commit | commitdiff | tree
2010-06-26 Sven Verdoolaegedoc: describe backward incompatible changes
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegedoc: mention discussion group
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegerename isl_basic_map_convex_hull to isl_basic_map_remove_red...
commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_affine_hull.c: outside_point: fix error handling
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_tab_rollback: avoid double free on error path
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_tab.c: tab_mat_product: avoid NULL pointer dereference
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_tab_extend_cons: avoid NULL pointer dereference
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeimplement antiquated isl_basic_set_n_* in terms of...
commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_map_convex_hull: avoid NULL pointer dereference
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_tab_add_valid_eq: return int instead of isl_tab *
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_affine_hull.c: affine_hull_with_cone: avoid NULL...
commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_equalities.c: parameter_compression_multi: avoid...
commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_basic_map_project_out: avoid NULL pointer dereference
 commit | commitdiff | tree
next
Integer set library