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
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