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
Sven Verdoolaege [Sat, 23 Jan 2010 11:50:26 +0000 (12:50 +0100)]
add rudimentary error reporting mechanism
Sven Verdoolaege [Sat, 19 Jun 2010 13:53:34 +0000 (15:53 +0200)]
add isl_version
Sven Verdoolaege [Sat, 19 Jun 2010 09:03:38 +0000 (11:03 +0200)]
isl_point_alloc: avoid potential memory leak on error path
Sven Verdoolaege [Fri, 18 Jun 2010 14:33:40 +0000 (16:33 +0200)]
doc: document isl_map_deltas
Sven Verdoolaege [Tue, 15 Jun 2010 21:31:41 +0000 (23:31 +0200)]
isl_tab_pip.c: compare all coefficients when checking for duplicate divs
Due to a typo, we would not consider the last coefficient of the div,
possibly resulting in a new div being identified with an existing
div that only differs in that last coefficient.
Apparently, this doesn't happen very often, because it has gone
unnoticed for quite a while.
Sven Verdoolaege [Tue, 15 Jun 2010 10:30:41 +0000 (12:30 +0200)]
isl_pw_qpolynomial{,_fold}_gist: use simple hull instead of convex hull
We need a basic set to gist the domain. We used to take the convex hull
of the input set, but the convex hull operation can be very slow in isl.
Use the simple hull instead.
Sven Verdoolaege [Mon, 14 Jun 2010 13:17:30 +0000 (15:17 +0200)]
add isl_set_set_dim_name
Sven Verdoolaege [Mon, 14 Jun 2010 12:33:59 +0000 (14:33 +0200)]
add isl_stream_read_set
Sven Verdoolaege [Mon, 14 Jun 2010 12:33:51 +0000 (14:33 +0200)]
doc: fix typo
Sven Verdoolaege [Sat, 12 Jun 2010 19:00:51 +0000 (21:00 +0200)]
isl_qpolynomial_lift: fix lifting in absence of divs
If there are no divs, then we still need to modify the (zero row)
div matrix to make sure that the number of columns remains consistent.
Sven Verdoolaege [Mon, 7 Jun 2010 12:43:26 +0000 (14:43 +0200)]
optionally (and by default) use bernstein expansion to compute bounds
Sven Verdoolaege [Sat, 12 Jun 2010 15:33:17 +0000 (17:33 +0200)]
privately export isl_qpolynomial_fold_fold_on_domain
Sven Verdoolaege [Sat, 12 Jun 2010 15:17:32 +0000 (17:17 +0200)]
add isl_pw_qpolynomial_fold_foreach_piece
Sven Verdoolaege [Mon, 7 Jun 2010 12:27:13 +0000 (14:27 +0200)]
add parametric vertex enumeration
Sven Verdoolaege [Fri, 11 Jun 2010 16:23:10 +0000 (18:23 +0200)]
add isl_morph_dom_dim and isl_morph_ran_dim
Sven Verdoolaege [Fri, 11 Jun 2010 12:19:20 +0000 (14:19 +0200)]
add isl_basic_map_is_rational
Sven Verdoolaege [Tue, 8 Jun 2010 19:24:44 +0000 (21:24 +0200)]
privately export isl_basic_set_sort_constraints and isl_basic_set_fast_is_equal
Sven Verdoolaege [Mon, 7 Jun 2010 21:44:26 +0000 (23:44 +0200)]
isl_tab_detect_implicit_equalities: also detect manifest equalities
It's not clear why manifestly zero rows were ignored before.
Sven Verdoolaege [Mon, 7 Jun 2010 21:27:29 +0000 (23:27 +0200)]
isl_tab: optionally only mark strictly redundant rows
Sven Verdoolaege [Mon, 7 Jun 2010 13:56:58 +0000 (15:56 +0200)]
generalize isl_pw_qpolynomial_bound to isl_pw_qpolynomial_fold_bound
Sven Verdoolaege [Mon, 7 Jun 2010 13:29:25 +0000 (15:29 +0200)]
extract out generic part of isl_pw_qpolynomial_bound_range
Sven Verdoolaege [Sat, 12 Jun 2010 02:50:06 +0000 (04:50 +0200)]
isl_pw_qpolynomial_bound_range: also set exactness in special cases
Sven Verdoolaege [Mon, 7 Jun 2010 12:19:53 +0000 (14:19 +0200)]
add isl_basic_set_factorizer
Sven Verdoolaege [Mon, 7 Jun 2010 11:30:40 +0000 (13:30 +0200)]
export isl_pw_qpolynomial_fold_drop_dims
Sven Verdoolaege [Mon, 7 Jun 2010 11:28:28 +0000 (13:28 +0200)]
export isl_qpolynomial_is_zero
Sven Verdoolaege [Sun, 6 Jun 2010 15:59:59 +0000 (17:59 +0200)]
add isl_qpolynomial_coeff
Sven Verdoolaege [Sun, 6 Jun 2010 13:05:54 +0000 (15:05 +0200)]
add isl_qpolynomial_from_affine
Sven Verdoolaege [Sun, 6 Jun 2010 12:51:07 +0000 (14:51 +0200)]
export isl_qpolynomial_add_dims
Sven Verdoolaege [Sun, 6 Jun 2010 12:12:47 +0000 (14:12 +0200)]
add isl_qpolynomial_homogenize
Sven Verdoolaege [Sun, 6 Jun 2010 12:12:47 +0000 (14:12 +0200)]
add isl_qpolynomial_degree
Sven Verdoolaege [Sat, 12 Jun 2010 09:14:31 +0000 (11:14 +0200)]
add isl_qpolynomial_insert_dims
Sven Verdoolaege [Sun, 6 Jun 2010 12:12:29 +0000 (14:12 +0200)]
add isl_qpolynomial_dim
Sven Verdoolaege [Sat, 5 Jun 2010 17:07:35 +0000 (19:07 +0200)]
isl_ctx: add two
Sven Verdoolaege [Sat, 5 Jun 2010 14:23:04 +0000 (16:23 +0200)]
isl_tab_detect_implicit_equalities: return integer instead of struct isl_tab *
Sven Verdoolaege [Tue, 25 May 2010 11:33:31 +0000 (13:33 +0200)]
add isl_tab_sign_of_max
Make sure it's not called on zero or redundant constraints, though.
A zero constraint, in particular a dead column, could mistakenly be
considered to be manifestly unbounded. Redundant constraints could
end up getting pivoted, which would destroy the invariant.
The internal code would never call sign_of_max on such constraints,
but external users may not be aware of this restriction.
Sven Verdoolaege [Tue, 25 May 2010 11:22:51 +0000 (13:22 +0200)]
isl_tab_select_facet: return int instead of isl_tab *