Sven Verdoolaege [Tue, 29 Jun 2010 10:37:38 +0000 (12:37 +0200)]
isl 0.03
Sven Verdoolaege [Tue, 29 Jun 2010 11:16:15 +0000 (13:16 +0200)]
Makefile.am: really include include/isl_vertices.h
Sven Verdoolaege [Fri, 11 Jun 2010 20:03:32 +0000 (22:03 +0200)]
add isl_map_is_bijective
Tests cases from Tomofumi Yuki <tomofumi.yuki@gmail.com>
Sven Verdoolaege [Mon, 28 Jun 2010 14:35:01 +0000 (16:35 +0200)]
doc: fix typo
Sven Verdoolaege [Mon, 28 Jun 2010 10:35:54 +0000 (12:35 +0200)]
doc: drop duplicate booktitle from Kelly1996closure bib entry
Sven Verdoolaege [Mon, 28 Jun 2010 08:00:49 +0000 (10:00 +0200)]
doc: use more explicit notation to avoid confusion
Sven Verdoolaege [Sun, 27 Jun 2010 18:35:45 +0000 (20:35 +0200)]
add isl_constraint_is_div_constraint
Sven Verdoolaege [Sun, 27 Jun 2010 18:35:29 +0000 (20:35 +0200)]
isl_map_simplify.c: separate out isl_basic_map_is_div_constraint
Sven Verdoolaege [Sun, 27 Jun 2010 17:00:35 +0000 (19:00 +0200)]
isl_basic_map_from_constraint: keep all divs, even redundant ones
When this function is called by CLooG, it assumes that the position
of the divs will remain the same. If the redundant divs are removed,
then this may not be the case.
We should probably try to come up with a more robust interface.
Sven Verdoolaege [Sun, 27 Jun 2010 16:50:23 +0000 (18:50 +0200)]
isl_basic_map_from_constraint: only return copy of bmap on equality constraints
Commit b39d157 (isl_basic_map_from_constraint: return copy of bmap in
constraint if possible) changed isl_basic_map_from_constraint to return
a copy when this bmap consists of a single constraint in order to handle
the case where a new constraint is created with unknown existentially
quantified variables. However, if the divs _are_ known, then the div
definition is simply thrown away. If the single constraint is an equality,
then it may be possible to recover the definition, but if it is an inequality,
then this is not possible and in fact it does not make sense to have unknown divs.
Therefore, only return a copy on equality constraints.
Sven Verdoolaege [Sun, 27 Jun 2010 16:43:55 +0000 (18:43 +0200)]
isl_constraint_add_div: correctly set line to first and only constraint
When isl_constraint_add_div was introduced in 3fcebd4 (isl_constraint:
add limited support for adding divs), the equalities were still placed
before the inequalities in the constraint matrix.
This changed in 9eb1488 (isl_basic_map: put inequalities before equalities),
but the implementation of isl_constraint_add_div was not adapted accordingly.
This has probably gone unnoticed because isl_constraint_add_div has only
been used on equality constraints.
Sven Verdoolaege [Sun, 27 Jun 2010 08:58:36 +0000 (10:58 +0200)]
isl_pip: rename pip_options to avoid conflict with PipLib's pip_options_free
Sven Verdoolaege [Sat, 26 Jun 2010 16:24:27 +0000 (18:24 +0200)]
isl_convex_hull.c: initial_facet_constraint: fix error handling
Sven Verdoolaege [Sat, 26 Jun 2010 16:23:15 +0000 (18:23 +0200)]
doc: describe backward incompatible changes
Sven Verdoolaege [Sat, 26 Jun 2010 16:11:49 +0000 (18:11 +0200)]
doc: mention discussion group
Sven Verdoolaege [Sat, 26 Jun 2010 15:34:32 +0000 (17:34 +0200)]
rename isl_basic_map_convex_hull to isl_basic_map_remove_redundancies
Sven Verdoolaege [Sat, 26 Jun 2010 14:08:08 +0000 (16:08 +0200)]
isl_affine_hull.c: outside_point: fix error handling
Sven Verdoolaege [Sat, 26 Jun 2010 13:02:37 +0000 (15:02 +0200)]
isl_tab_rollback: avoid double free on error path
Sven Verdoolaege [Sat, 26 Jun 2010 10:42:17 +0000 (12:42 +0200)]
isl_tab.c: tab_mat_product: avoid NULL pointer dereference
Sven Verdoolaege [Sat, 26 Jun 2010 10:40:27 +0000 (12:40 +0200)]
isl_tab_extend_cons: avoid NULL pointer dereference
Sven Verdoolaege [Sat, 26 Jun 2010 10:38:28 +0000 (12:38 +0200)]
implement antiquated isl_basic_set_n_* in terms of isl_basic_set_dim
Sven Verdoolaege [Sat, 26 Jun 2010 10:14:56 +0000 (12:14 +0200)]
isl_map_convex_hull: avoid NULL pointer dereference
Sven Verdoolaege [Sat, 26 Jun 2010 09:56:56 +0000 (11:56 +0200)]
isl_tab_add_valid_eq: return int instead of isl_tab *
Sven Verdoolaege [Sat, 26 Jun 2010 09:51:08 +0000 (11:51 +0200)]
isl_affine_hull.c: affine_hull_with_cone: avoid NULL pointer dereference
Sven Verdoolaege [Sat, 26 Jun 2010 09:45:44 +0000 (11:45 +0200)]
isl_equalities.c: parameter_compression_multi: avoid NULL pointer dereference
Sven Verdoolaege [Sat, 26 Jun 2010 09:41:56 +0000 (11:41 +0200)]
isl_basic_map_project_out: avoid NULL pointer dereference
Sven Verdoolaege [Sat, 26 Jun 2010 09:38:22 +0000 (11:38 +0200)]
isl_coalesce.c: coalesce_pair: avoid NULL pointer dereference
Sven Verdoolaege [Sat, 26 Jun 2010 09:35:44 +0000 (11:35 +0200)]
isl_convex_hull.c: extend: fix error handling
Sven Verdoolaege [Sat, 26 Jun 2010 09:33:48 +0000 (11:33 +0200)]
implement antiquated isl_set_n_* in terms of isl_set_dim
Sven Verdoolaege [Sat, 26 Jun 2010 09:29:36 +0000 (11:29 +0200)]
isl_map_simplify.c: normalize_divs: avoid NULL pointer dereference
Sven Verdoolaege [Sat, 26 Jun 2010 09:27:39 +0000 (11:27 +0200)]
isl_input.c: vars_drop: fix error handling
Sven Verdoolaege [Sat, 26 Jun 2010 09:23:57 +0000 (11:23 +0200)]
isl_convex_hull.c: uset_convex_hull_wrap_bounded: fix error handling
Sven Verdoolaege [Sat, 26 Jun 2010 09:17:42 +0000 (11:17 +0200)]
isl_set_wrap_facet: fix error handling
Sven Verdoolaege [Sat, 26 Jun 2010 09:14:00 +0000 (11:14 +0200)]
isl_tab_min: avoid NULL pointer dereference
Sven Verdoolaege [Sat, 26 Jun 2010 09:10:59 +0000 (11:10 +0200)]
isl_affine_hull.c: extend_affine_hull: avoid NULL pointer dereference
Sven Verdoolaege [Sat, 26 Jun 2010 09:04:44 +0000 (11:04 +0200)]
isl_basic_map_extend: plug memory leak on error path
Sven Verdoolaege [Sat, 26 Jun 2010 08:57:40 +0000 (10:57 +0200)]
isl_affine_hull.c: equalities_in_underlying_set: avoid NULL pointer dereference
Sven Verdoolaege [Sat, 26 Jun 2010 08:54:28 +0000 (10:54 +0200)]
isl_basic_set_preimage: avoid NULL pointer dereference
Sven Verdoolaege [Sat, 26 Jun 2010 08:49:44 +0000 (10:49 +0200)]
isl_tab_pip.c: no_sol_in_strict: fix error handling
Sven Verdoolaege [Fri, 25 Jun 2010 19:55:05 +0000 (21:55 +0200)]
isl_affine_hull.c: equalities_in_underlying_set: plug memory leak on error path
Sven Verdoolaege [Fri, 25 Jun 2010 19:50:48 +0000 (21:50 +0200)]
isl_affine_hull.c: affine_hull: fix erro handling
Sven Verdoolaege [Fri, 25 Jun 2010 19:44:23 +0000 (21:44 +0200)]
isl_map_project_out: fix error return value
Sven Verdoolaege [Fri, 25 Jun 2010 19:42:15 +0000 (21:42 +0200)]
isl_basic_map_intersect_range: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 19:38:52 +0000 (21:38 +0200)]
isl_tab_pip.c: find_solutions: fix error handling
Sven Verdoolaege [Fri, 25 Jun 2010 19:29:02 +0000 (21:29 +0200)]
isl_basic_map_alloc_dim: fix error handling
Sven Verdoolaege [Fri, 25 Jun 2010 18:59:12 +0000 (20:59 +0200)]
isl_basic_map_intersect: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 18:55:12 +0000 (20:55 +0200)]
isl_tab_pip.c: sol_map_init: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 18:53:12 +0000 (20:53 +0200)]
isl_basic_map_intersect_domain: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 18:51:40 +0000 (20:51 +0200)]
isl_flow.c: compute_val_based_dependences: fix error handling
Sven Verdoolaege [Fri, 25 Jun 2010 18:48:47 +0000 (20:48 +0200)]
isl_flow_alloc: fix error handling
Sven Verdoolaege [Fri, 25 Jun 2010 18:40:52 +0000 (20:40 +0200)]
isl_access_info_compute_flow: fix error handling
Sven Verdoolaege [Fri, 25 Jun 2010 18:36:16 +0000 (20:36 +0200)]
isl_{set,map}_fast_is_empty: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 18:33:22 +0000 (20:33 +0200)]
isl_flow.c: avoid accessing dim field directly
Sven Verdoolaege [Fri, 25 Jun 2010 18:29:07 +0000 (20:29 +0200)]
isl_access_info_compute_flow: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 18:17:41 +0000 (20:17 +0200)]
isl_input.c: obj_read: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 17:42:23 +0000 (19:42 +0200)]
isl_map_subtract.c: tab_add_constraints: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 17:40:02 +0000 (19:40 +0200)]
isl_tab.c: close_row: fix error handling
Sven Verdoolaege [Fri, 25 Jun 2010 16:59:58 +0000 (18:59 +0200)]
isl_map_simplify.c: remove_duplicate_divs: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 16:57:36 +0000 (18:57 +0200)]
isl_basic_map_affine_hull: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 16:56:12 +0000 (18:56 +0200)]
isl_tab_add_eq: return int instead of isl_tab *
Sven Verdoolaege [Fri, 25 Jun 2010 16:46:39 +0000 (18:46 +0200)]
isl_map_simplify.c: remove_duplicate_constraints: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 16:45:52 +0000 (18:45 +0200)]
isl_map_simplify.c: eliminate_divs_ineq: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 16:44:36 +0000 (18:44 +0200)]
isl_basic_map_eliminate_vars: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 16:43:01 +0000 (18:43 +0200)]
isl_sample.c: interval_sample: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 16:41:21 +0000 (18:41 +0200)]
isl_sample.c: drop_constraints_involving: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 16:40:12 +0000 (18:40 +0200)]
isl_stream_new: read_defined_var_list: avoid double free on error
Sven Verdoolaege [Fri, 25 Jun 2010 16:34:58 +0000 (18:34 +0200)]
isl_basic_map_intersect: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 16:32:17 +0000 (18:32 +0200)]
isl_sample.c: gbr_sample: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 16:29:14 +0000 (18:29 +0200)]
isl_test.c: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 16:27:30 +0000 (18:27 +0200)]
isl_test: avoid accessing basic set internals
Sven Verdoolaege [Fri, 25 Jun 2010 16:25:18 +0000 (18:25 +0200)]
isl_input.c: read_defined_var_list: avoid double free on error
Sven Verdoolaege [Fri, 25 Jun 2010 15:18:06 +0000 (17:18 +0200)]
isl_map_convex_hull: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 15:16:56 +0000 (17:16 +0200)]
isl_basic_map_normalize_constraints: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 15:15:57 +0000 (17:15 +0200)]
isl_basic_map_total_dim: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 15:14:13 +0000 (17:14 +0200)]
isl_basic_map_order_divs: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 15:12:42 +0000 (17:12 +0200)]
isl_convex_hull.c: isl_basic_set_add_equality: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 15:11:35 +0000 (17:11 +0200)]
isl_convex_hull.c: compute_facet: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 15:08:36 +0000 (17:08 +0200)]
isl_test.c: map_is_equal: check input
Sven Verdoolaege [Fri, 25 Jun 2010 15:05:45 +0000 (17:05 +0200)]
isl_dim.c: copy_names: check input dim
Sven Verdoolaege [Fri, 25 Jun 2010 15:03:07 +0000 (17:03 +0200)]
isl_dim_dup: check input dim
Sven Verdoolaege [Fri, 25 Jun 2010 15:01:33 +0000 (17:01 +0200)]
isl_basic_map_cow: check result of allocation
Sven Verdoolaege [Fri, 25 Jun 2010 14:59:14 +0000 (16:59 +0200)]
isl_stream_new_str: check result of allocation
Sven Verdoolaege [Fri, 25 Jun 2010 14:31:46 +0000 (16:31 +0200)]
isl_stream.c: fix typo
Sven Verdoolaege [Fri, 25 Jun 2010 14:31:29 +0000 (16:31 +0200)]
isl_tab_pip.c: fix typos
Sven Verdoolaege [Fri, 25 Jun 2010 14:31:23 +0000 (16:31 +0200)]
isl_tab.c: fix typos
Sven Verdoolaege [Fri, 25 Jun 2010 14:31:11 +0000 (16:31 +0200)]
isl_polynomial.c: fix typo
Sven Verdoolaege [Fri, 25 Jun 2010 14:30:51 +0000 (16:30 +0200)]
isl_vertices.c: fix typos
Sven Verdoolaege [Fri, 25 Jun 2010 14:30:28 +0000 (16:30 +0200)]
isl_morph.c: fix typo
Sven Verdoolaege [Fri, 25 Jun 2010 14:30:20 +0000 (16:30 +0200)]
isl_map.c: fix typo
Sven Verdoolaege [Fri, 25 Jun 2010 14:30:09 +0000 (16:30 +0200)]
isl_map_simplify.c: fix typo
Sven Verdoolaege [Fri, 25 Jun 2010 13:19:14 +0000 (15:19 +0200)]
isl_input.c: accept more general affine expressions
Sven Verdoolaege [Fri, 25 Jun 2010 12:37:09 +0000 (14:37 +0200)]
add isl_vec_add
Sven Verdoolaege [Fri, 25 Jun 2010 12:31:09 +0000 (14:31 +0200)]
add isl_vec_scale
Sven Verdoolaege [Thu, 24 Jun 2010 16:10:41 +0000 (18:10 +0200)]
add isl_set_is_box
Sven Verdoolaege [Thu, 24 Jun 2010 16:09:06 +0000 (18:09 +0200)]
add isl_map_is_translation
Sven Verdoolaege [Mon, 21 Jun 2010 11:45:59 +0000 (13:45 +0200)]
export isl_qpolynomial_involves_dims
Sven Verdoolaege [Mon, 21 Jun 2010 11:45:49 +0000 (13:45 +0200)]
isl_polynomial.c: add missing include
Sven Verdoolaege [Sun, 20 Jun 2010 18:28:47 +0000 (20:28 +0200)]
isl_map_transitive_closure: check whether decomposition gives closed result
Some applications require the result to be closed, even if it is inexact.
The test for closedness can be fairly expensive, but I haven't been able
to trigger it yet, so presumably it will trigger only rarely.
Perhaps we should make the test configurable for those applications
that don't need a closed approximation.
Sven Verdoolaege [Sat, 19 Jun 2010 14:39:20 +0000 (16:39 +0200)]
add isl_stream_flush_tokens
Sven Verdoolaege [Sat, 19 Jun 2010 14:33:14 +0000 (16:33 +0200)]
add isl_stream_skip_line