rename isl_tab_detect_equalities to isl_tab_detect_implicit_equalities

isl_tab_from_recession_cone: take basic set instead of basic map as argument

isl_ilp.c: separate out solve_ilp_search

isl_sample.c: basic_set_sample: remember boundedness of basic set

add isl_polyhedron_detect_equalities test application

add isl_basic_set_detect_equalities

isl_tab_allocate_con: add extra assertion

isl_sample.c: basic_set_reduced: fix typo preventing use of gbr_only_first

isl_tab_basic_map_partial_lexopt: simplify result

privately export isl_basic_set_add_{in,}eq

privately export isl_basic_set_sample_with_cone

add isl_basic_set_underlying_set

isl_tab.c: close_row: push undo record for setting row to zero

add isl_mat_vec_inverse_product

add isl_mat_concat

add isl_int_divexact_ui

add isl_set_dim_residue_class

fix long standing bug in isl_mat_inverse_product

add isl_basic_map_foreach_lexmin

add isl_set_project_out

add isl_set_detect_equalities

add isl_set_foreach_basic_set

add isl_set_lifting

isl_dim_size: check argument

export isl_mat header

add isl_basic_map_lexmin

add isl_map_foreach_basic_map

configure.ac: fix cut-and-paste error in original commit

add isl_int_get_si

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