add isl_set_from_point

add isl_mat_insert_cols

add isl_pw_qpolynomial_dim

add isl_pw_qpolynomial_foreach_piece

add isl_pw_qpolynomial_get_dim

add isl_div_dim

isl_stream: allow "_" in tokens

isl_stream: accept "@" token

isl_map_read: accept '*' in affine expressions

isl_qpolynomial_eval: use consistent dimension for result

doc: update to removal of piplib as a submodule

doc: fix typo

isl_stream_read_obj: add support for reading piecewise quasipolynomials

add isl_stream_read_obj

add generic isl_obj

add support for (piecewise) quasipolynomials

add isl_map_move

isl_stream: parse NaN

isl_stream: parse infty

export isl_stream.h

isl_stream: allow user specified keywords

isl_stream: add some auxiliary functions

isl_stream: read "definition" token ":="

add isl_int_tdiv_q

privately export isl_set_contains_point

Since we are now using the isl_point abstraction, we are
more strict about dimensions and so the code in pip.c that
actually used the wrong dimensions but just happened to work,
needs to be changed too.

add isl_set_count

add isl_set_sample_point

add isl_point

isl_basic_set_scan: make sure sufficient rows are allocated in tableau

isl_map_subtract: only add divs when needed

Before, the divs from all basic maps were aligne with each
other, resulting in all divs being added to all basic maps,
even if the arguments of the subtract operation are disjoint.
Now, divs are only added at the point where they are needed
and removed again if it turns out that they are not needed
in the difference.

add isl_map_order_divs

extract isl_tab_add_div from isl_tab_pip.c

isl_vec.c: fix minor whitespace issue

add isl_set_complement

export isl_map_make_disjoint

add isl_hash_table_foreach

isl_map_print: extract out print_disjuncts

add isl_set_fast_is_universe

isl_input.c: accept_affine: fix memory leak on error path

isl_map_intersect: detect empty result also in case of adding a single constraint

Commit ed3b444 (isl_map_intersect: add special case for adding a single
constraint) added a special case of adding a single constraint but
neglected to detect an empty result in this special case.

isl_map_read: skip until the end of the last line when reading in PolyLib format

isl_stream_next_token_on_same_line: check if last token read was a newline

isl_set_wrap_facet: make sure set is marked rational

When isl_set_wrap_facet is used from with isl_convex_hull.c, then
the set should already have been marked rational, but when
called from outside, it may not, so we have to do it explicitly.

isl_coalesce.c: fix typo in comment

isl_map_read: accept list of predicated elements

isl_map_read: extract out parsing of map body

isl_map_read: add dummy variable name for unnamed variables

vars_drop assumes there is struct variable in the list of struct
variables for each variable in the dimension specification.

isl_stream: accept ";" token

use -O1 optimization level for gcc 4.2

gcc (GCC) 4.2.4 (Ubuntu 4.2.4-1ubuntu4) seems to miscopile isl with -O2

drop comma at the end of enumerations in include files

Sun's CC compiler warns about them.

isl_map_read: accept affine combinations of earlier variables in variable tuples

isl_map_read: construct basic map while reading variable tuples

isl_map_print: add primes to duplicate names

And, conversely, accept primes in identifier names in isl_map_read.

isl_map_transitive_closure: improve accuracy by copying some mixed delta constraints

isl_map_transitive_closure: perform exactness check per component

isl_map_transitive_closure: reformulate exactness test in terms of extended paths

This will make it easier to compute exactness per component.

add a transitive closure example from the Omega test suite

isl_map_transitive_closure: compute power on strongly connected components

By splitting the disjuncts of the input map into strongly connected
components, we can improve the accurateness of the result.
The computation may be more expensive, however, especially
the exactness test.

isl_map_transitive_closure: intersect with domain and range before projection

This will allow us to compute powers per component in the graph of disjuncts.

isl_map_transitive_closure: extract out construction of extended path

isl_map_transitive_closure: move acyclicity test up to where path is constructed

This will allow us to compute acyclicity per component in the graph
of disjuncts.

add isl_set_lower_bound_si

isl_map_print: use consistent names on all disjuncts

Although the dimension specifications of the basic maps in a map
are compatible with that of the map itself, the names need not
be the same.  Use the dimension specification of the map itself
whenever we need to print out a name to ensure the names are
consistent.

isl_cat: allow specification of output format on command line

isl_map_print: support ISL_FORMAT_POLYLIB

isl_map_coalesce: fix some regressions introduced by recent extensions

c4dc489 (isl_map_coalesce: handle more cases) extended the possibilities
for fusing two basic maps, but introduced some regressions.
Specifically, a "continue" was missing and the code for copying
integer division definitions was removed by mistake.

add isl_closure test application

add transitive closure example from Kelly's 1996 paper

isl_map_transitive_closure: construct general paths

isl_map_transitive_closure: prepare for the construction of general paths

In particular, integrate the collection of constant steps in construct_path.

isl_map_transitive_closure: construct paths that can be composed

In particular, keep track of the number of steps in an extra
coordinates such that composition simply sums the number of steps.

isl_transitive_closure: extract out construction of path from map_power

We want to generalize the construction to general mappings in a later
commit.

isl_map_transitive_closure: use more generic acyclicity test

isl_map_print: add parentheses around disjuncts

isl_hash_table: use size that corresponds to the number of bits

isl_hash_table: grow table when we run out of entries

isl_map_coalesce: only use non-redundant constraints as potential facets

add isl_set_fix_si

isl_map_read: accept chains of comparisons

export isl_map_align_divs

isl_map_read: forget existentially quantified variables after each disjunct

isl_input.c: remove needless indirection

doc: document how to inspect sets and relations

export isl_map_compute_divs

isl_constraint_div: make sure requested div is a known div

doc: drop documentation of _dump functions

We have proper output functions now, so these should no longer be used.

isl_map_print: improve output

add isl_basic_map_foreach_constraint

isl_map_coalesce: handle more cases

In particular, if one basic map has a single constraint that cuts
off all or part of the other basic map such that the part that is cut
off lies entirely on a hyperplane adjacent to the constraint,
then try to combine the two basic maps by adding some wrapping constraints.

privately export isl_set_wrap_facet

isl_convex_hull.c: wrap_facet: allow unbounded facets again.

This reverts commit 7c08353 (isl_convex_hull.c: update wrap_facet to
the fact we only apply it on polytopes).
We want to export wrap_facet and allow it to be called on unbounded
polyhedra.

doc: improve decription of isl_map_transitive_closure

isl_map_transitive_closure: improve test for exactness

add a counter example for Theorem 1 of the COCOA paper

add isl_map_lower_bound_si

isl_map_power: coalesce domain and range

isl_flow.c: add missing isl_access_info_free return type

isl_coalesce.c: fix typo in comment

include/isl_int.h: argument of mp_get_memory_functions should have C linkage

isl_map_read: accept lists of affine expressions in constraints