isl_basic_map_affine_hull: avoid NULL pointer dereference

isl_tab_add_eq: return int instead of isl_tab *

isl_map_simplify.c: remove_duplicate_constraints: avoid NULL pointer dereference

isl_map_simplify.c: eliminate_divs_ineq: avoid NULL pointer dereference

isl_basic_map_eliminate_vars: avoid NULL pointer dereference

isl_sample.c: interval_sample: avoid NULL pointer dereference

isl_sample.c: drop_constraints_involving: avoid NULL pointer dereference

isl_stream_new: read_defined_var_list: avoid double free on error

isl_basic_map_intersect: avoid NULL pointer dereference

isl_sample.c: gbr_sample: avoid NULL pointer dereference

isl_test.c: avoid NULL pointer dereference

isl_test: avoid accessing basic set internals

isl_input.c: read_defined_var_list: avoid double free on error

isl_map_convex_hull: avoid NULL pointer dereference

isl_basic_map_normalize_constraints: avoid NULL pointer dereference

isl_basic_map_total_dim: avoid NULL pointer dereference

isl_basic_map_order_divs: avoid NULL pointer dereference

isl_convex_hull.c: isl_basic_set_add_equality: avoid NULL pointer dereference

isl_convex_hull.c: compute_facet: avoid NULL pointer dereference

isl_test.c: map_is_equal: check input

isl_dim.c: copy_names: check input dim

isl_dim_dup: check input dim

isl_basic_map_cow: check result of allocation

isl_stream_new_str: check result of allocation

isl_stream.c: fix typo

isl_tab_pip.c: fix typos

isl_tab.c: fix typos

isl_polynomial.c: fix typo

isl_vertices.c: fix typos

isl_morph.c: fix typo

isl_map.c: fix typo

isl_map_simplify.c: fix typo

isl_input.c: accept more general affine expressions

add isl_vec_add

add isl_vec_scale

add isl_set_is_box

add isl_map_is_translation

export isl_qpolynomial_involves_dims

isl_polynomial.c: add missing include

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.

add isl_stream_flush_tokens

add isl_stream_skip_line

add rudimentary error reporting mechanism

add isl_version

isl_point_alloc: avoid potential memory leak on error path

doc: document isl_map_deltas

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.

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.

add isl_set_set_dim_name

add isl_stream_read_set

doc: fix typo

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.

optionally (and by default) use bernstein expansion to compute bounds

privately export isl_qpolynomial_fold_fold_on_domain

add isl_pw_qpolynomial_fold_foreach_piece

add parametric vertex enumeration

add isl_morph_dom_dim and isl_morph_ran_dim

add isl_basic_map_is_rational

privately export isl_basic_set_sort_constraints and isl_basic_set_fast_is_equal

isl_tab_detect_implicit_equalities: also detect manifest equalities

It's not clear why manifestly zero rows were ignored before.

isl_tab: optionally only mark strictly redundant rows

generalize isl_pw_qpolynomial_bound to isl_pw_qpolynomial_fold_bound

extract out generic part of isl_pw_qpolynomial_bound_range

isl_pw_qpolynomial_bound_range: also set exactness in special cases

add isl_basic_set_factorizer

export isl_pw_qpolynomial_fold_drop_dims

export isl_qpolynomial_is_zero

add isl_qpolynomial_coeff

add isl_qpolynomial_from_affine

export isl_qpolynomial_add_dims

add isl_qpolynomial_homogenize

add isl_qpolynomial_degree

add isl_qpolynomial_insert_dims

add isl_qpolynomial_dim

isl_ctx: add two

isl_tab_detect_implicit_equalities: return integer instead of struct isl_tab *

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.

isl_tab_select_facet: return int instead of isl_tab *

add isl_basic_set_full_compression

privately export isl_pw_qpolynomial_morph

add isl_qpolynomial_fold_foreach_qpolynomial

add isl_pw_qpolynomial_fold_foreach_lifted_piece

export isl_pw_qpolynomial_fold_is_zero

privately export isl_morph_alloc and isl_morph_identity

add isl_qpolynomial_fold_get_type

export isl_pw_qpolynomial_get_ctx

add isl_ctx_peek_options

isl_range.c: fix typo in comment

export isl_set_is_bounded

isl_bound: plug memory leak

fix isl_qpolynomial_fold_dup

isl_pw_qpolynomial_bound_range: fix removal of dims after compression

add bound_test.sh to distribution

doc: document gist operations

doc: document isl_constraint_is_equality

add isl_map_is_single_valued

isl_basic_map_foreach_constraint: make sure input has been finalized

Each constraint gets a copy of the input and a line from the constraint
matrix of the input.  If the input wouldn't be finalized, then the copy
would create a duplicate and then the line wouldn't match the basic map.
This is problematic for especially isl_constraint_is_equality.

isl_basic_map_copy: mark duplicated copy as finalized

If an unfinalized copy is needed, the caller will perform an
isl_basic_map_cow on the copy.

isl_basic_set_lift: finalize result

isl_basic_map_move_dims: always finalize result