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

add isl_mat_from_row_vec and isl_mat_vec_concat

isl_map_read: read extended polylib format

add isl_stream_next_token_on_same_line

isl_map_read: make sure polylib constraint coefficients are on a single line

isl_{map,set}_dim: handle NULL input

isl_map_read: use more uniform way of reading in polylib constraint coefficients

isl_transitive_closure.c: fix typo in comment

isl_map_transitive_closure: use more relaxed exactness check on acyclic graphs

In particular, for the transitive closure, we only need to check that
there is a path of _some_ length with a valid initial segment.
However, we can only do this if the corresponding graph is acyclic.
For now, we restrict ourselves to graphs that are obviously acyclic.

add isl_map_power and isl_map_transitive_closure

isl_map_subtract.c: make some internal functions static

add generic isl_map_project_out

add isl_{map,set}_add

rename isl_{map,set}_add to isl_{map,set}_add_basic_{map,set}

isl_set_project_out: always update dimension, even for empty sets

isl_dim_join: don't require names of joined variables to match

add isl_map_from_domain_and_range

isl_stream: treat "-" as operator rather than as -1

isl_map_read: accept "strict" inequalities