export isl_set_sample

add isl_basic_set_universe_like_set

add isl_set_is_strict_subset

add isl_set_universe_like

AX_SUBMODULE: set PKG_CONFIG_PATH

create pkg-config file

AX_SUBMODULE: drop options that are meaningless given possible choices

isl_basic_map_from_constraint: return copy of bmap in constraint if possible

Commit fa1cd4b (isl_basic_map_add_constraint: handle constraints obtained from
basic maps) fixed isl_basic_map_add_constraint to also work with constraints
obtained from iterating over the constraints of a basic map by
calling isl_basic_map_from_constraint.
However, this broke the case where a new constraint is created with
existentially quantified variables.  In this case, the divs may be
unknown and we can't compute them because that may result in a union.
So, try to detect this special case in isl_basic_map_from_constraint
and return the basic map stored inside the constraint.

doc: fix description of lexicograhpic order relations

add isl_map_lex_le and isl_map_lex_ge

export isl_basic_map_gist

add isl_basic_map_sample and isl_map_sample

isl_sample.c: move isl_basic_set_from_vec from isl_affine_hull.c

rename isl_basic_set_sample to isl_basic_set_sample_vec

make some internal functions static

isl_basic_map_add_constraint: handle constraints obtained from basic maps

The bmap field of a constraint may contain a basic map that is bounded
by more than one constraint.  The constraint can therefore not be
added by simply taking the intersection with this bmap.
Instead, first create a basic map that exactly corresponds to the constraint
and then take the intersection with that basic map.

add isl_basic_map_from_constraint

isl_map_simplify.c: break if set turns out to be empty during div coalescing

add isl_basic_map_universe_like

add isl_map_lex_lt and isl_map_lex_gt

isl_tab.c: cut_to_hyperplane: do nothing if selected constraint is an equality

reverse meaning of isl_basic_map_{less,more}_at

Before, these functions were interpreted as returning maps that map elements
to elements that are less/more.
Now, they are interpreted as returning relations that express
the concept of being less/more, i.e., the elements in the domain
are now less/more than the elements in the range.

isl_tab_dup: avoid out-of-bounds array access

tab->n_col is between 0 and mat->n_col - 2 - M
and may not be equal to n_var after some columns have been dropped.

isl 0.01

add a rudimentary manual

add some memory management annotations

export isl_basic_set_project_out

isl_basic_set_normalize_constraints: add missing return

isl_map_simplify.c: remove unused variables

isl_map.c: remove unused variables

isl_basic_set_get_hash: initialize hash value

isl_affine_hull.c: remove unused variable

isl_hash.c: remove unused variable

isl_lp.c: add missing include

isl_equalities.c: drop redundant error handling

isl_equalities.c: remove unused variable

isl_convex_hull.c: remove unused variables

isl_constraint.c: remove unused variables

isl_tab.c: sign_of_min: only pivot back if we performed any pivot

isl_tab.c: isl_tab_mark_redundant: fix up error return

isl_tab.c: remove unused variables

isl_tab_pip.c: remove unused variables

isl_vec.c: remove unused variable

isl_test.c: remove unused variable

isl_assert: validate all arguments and fix up fallout

polyhedron_sample.c: add missing include

isl_pip.c: check return value of fscanf

polyhedron_minimize.c: handle all enumeration values in switch

configure.ac: set maximal optimization compiler flags

isl_set_copy_basic_set: add missing return

isl_set_drop_basic_set: add missing return

isl_set_coalesce: add missing return

isl_coalesce.c: add missing include

isl_test: check srcdir has been set

privately export isl_tab_kill_col

isl_tab.c: fix up to_col

isl_tab_pip.c: add missing include

isl_vec.c: add missing include

export isl_seq_cmp

fix return type of isl_constraint_free

export isl_token_free and isl_stream_error

isl_list.c: add missing include

isl_div.c: add missing include

isl_constraint.c: add missing include

basis_reduction_tab.c: add missing include

isl_map_no_piplib.c: add missing include

ax_create_stdint_h.m4: protect some limits from redefinition

polytope_scan.c: add missing include

fix return type of isl_div_free

isl_map_simplify.c: drop return from void function

isl_map_simplify.c: add missing include

isl_convex_hull.c: use isl_seq_get_hash instead of isl_seq_hash

declare flexarrays of size 1 to silence sun compiler

change isl_basic_map_empty interface for consistency

AX_SUBMODULE: mention default type of library to use

configure.ac: use AX_SUBMODULE for gmp for consistency

separate out config header from isl_ctx.h

pilp solver: don't ignore feasibility test on context

In the initial implementation, the sample point of the context was
kept integer.  This was later changed in such a way that now the
sample point is just lexico-smallest rational value.
This means that after checking for an integer point, we rollback
until the state before we performed this check.
However, the results of the feasibility test were only checked
after the rollback, completely ignoring the actual results of
the feasibility test.

isl_basic_map_gauss: try not to remove any div definitions

After computing divs, the result may get simplified and during
this simplification, isl_basic_map_gauss may actually remove some
divs because it is trying to play safe wrt circular div definitions.
By keeping the divs ordered, divs can safely be eliminated without
introducing any circular definitions.

add isl_map_sum

add isl_map_floordiv

add isl_map_neg

add isl_map_is_strict_subset

add isl_map_fast_is_fixed

add isl_map_identity_like

rename isl_map_identity_like to isl_map_identity_like_basic_map

add isl_polytope_scan application

isl_seq_normalize: use pre-allocated temporary variable in isl_ctx

This requires that we pass along an isl_ctx, but it removes
the need for allocating a temporary variable every time
isl_seq_normalize is called.
In some cases, up to 20% of the execution time of isl_seq_normalize
was wasted on initializing and clearing this temporary variable.

add isl_vec_normalize

isl_seq_normalize: no need to scale down by one

add isl_polyhedron_minimize application

add generalized basis reduction based ILP solver

add isl_vec_mat_product

export isl_vec_ceil

isl_basic_set_sample: only perform basis reduction once

On larger problem, much time was spent on repeated basis reductions
with little or no reduction on the number of points visited.
The initial basis reduction seems to be sufficient in most cases.

rename isl_solve_lp to isl_basic_{map,set}_solve_lp

isl_solve_lp: optionally return solution point

The caller may now not be interested in the optimal value anymore,
so make returning this optimal value optional.

export isl_vec header

add isl_int_fdiv_q_ui

add isl_vec_read_from_file