?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
isl_transitive_closure.c: keep track of domains for Floyd-Warshall
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
2010-06-26 Sven Verdoolaegeisl_coalesce.c: coalesce_pair: avoid NULL pointer dereference
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_convex_hull.c: extend: fix error handling
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeimplement antiquated isl_set_n_* in terms of isl_set_dim
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_map_simplify.c: normalize_divs: avoid NULL pointer...
commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_input.c: vars_drop: fix error handling
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_convex_hull.c: uset_convex_hull_wrap_bounded: fix...
commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_set_wrap_facet: fix error handling
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_tab_min: avoid NULL pointer dereference
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_affine_hull.c: extend_affine_hull: avoid NULL pointer...
commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_basic_map_extend: plug memory leak on error path
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_affine_hull.c: equalities_in_underlying_set: avoid...
commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_basic_set_preimage: avoid NULL pointer dereference
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_tab_pip.c: no_sol_in_strict: fix error handling
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_affine_hull.c: equalities_in_underlying_set: plug...
commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_affine_hull.c: affine_hull: fix erro handling
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_map_project_out: fix error return value
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_basic_map_intersect_range: avoid NULL pointer dereference
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_tab_pip.c: find_solutions: fix error handling
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_basic_map_alloc_dim: fix error handling
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_basic_map_intersect: avoid NULL pointer dereference
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_tab_pip.c: sol_map_init: avoid NULL pointer dereference
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_basic_map_intersect_domain: avoid NULL pointer...
commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_flow.c: compute_val_based_dependences: fix error...
commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_flow_alloc: fix error handling
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_access_info_compute_flow: fix error handling
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_{set,map}_fast_is_empty: avoid NULL pointer dereference
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_flow.c: avoid accessing dim field directly
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_access_info_compute_flow: avoid NULL pointer dereference
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_input.c: obj_read: avoid NULL pointer dereference
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_map_subtract.c: tab_add_constraints: avoid NULL...
commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_tab.c: close_row: fix error handling
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_map_simplify.c: remove_duplicate_divs: avoid NULL...
commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_basic_map_affine_hull: avoid NULL pointer dereference
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_tab_add_eq: return int instead of isl_tab *
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_map_simplify.c: remove_duplicate_constraints: avoid...
commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeisl_map_simplify.c: eliminate_divs_ineq: avoid NULL...
commit | commitdiff | tree
next
Integer set library