Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

The old names have been deprecated in favor of the new names in isl.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

Band forests have been replaced by schedule trees in isl.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

This will make it easier to change the way schedules are printed
in the next commit.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

In particular, split the print_code function into a part that depends
on the schedule representation and a part that does not.
This will make it easier to also support AST generation on schedule trees.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

This will make it easier to support the use of proper schedules
for dependence analysis in the next commit.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

This will allow us to also support the use of proper schedules
for dependence analysis in a subsequent commit.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

The way dependence analysis is performed will be changed in the next commit.
Add some tests to check the basic functionality.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

isl will introduce its own isl_bool_* identifiers.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

A NaN polynomial is currently considered to be equal to another
NaN polynomial by isl, but this will be changed in an upcoming
version of isl.
Use string comparison instead.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

This will allow us to implement a test for equality to NaN in terms
of strings.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

Do so instead of relying on these headers getting included indirectly.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

The isl/dim.h header has long been replaced by isl/space.h.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

It will soon be removed from pet.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

Allow to choose between system and build in --with-ntl configure option
and to provide related path through --with-ntl-prefix or
--with-ntl-builddir.  The latter should point to the root directory of
the NTL build that contains src and include where configure was invoked
inside src (the only possibility in NTL).  The option is named builddir
to be consistent with other submodules and to suggest that NTL
should be built before building barvinok.  In case the NTL source directory
is given to this option, a suggestion to use the root directory is
emitted within the error message.  Note that NTL does not use autotools so
AX_SUBMODULE may not be used directly for it.

Signed-off-by: Oleksandr Zinenko <zinenko@lri.fr>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

Enable building barvinok using a build directory of the GMP library
rather than its installation through --with-gmp-builddir configure
option.

Signed-off-by: Oleksandr Zinenko <zinenko@lri.fr>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>