use test scripts for performing tests

This exploits the automake parallel test harness,
which takes care of collecting the test scripts output and
only prints a summary of the results.

The parallel test harness uses the test-driver helper program,
which now gets installed by autoreconf and should therefore be ignored.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

barvinok_enumerate_e: drop Omega simplification

This has not been tested in a while and it is not even clear
which version of Omega this is supposed to use.
Furthermore, the Omega library no longer appears to be maintained.

If a user really needs such simplifications, they will just
have to do them separately.
The iscc interface also provides similar simplifications through isl.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

barvinok_enumerate_e: drop option to use Parker's DFA based counting

In fact, since this is the only remaining use
of Parker's library, remove it completely.

This was only ever meant as a means to compare
different ways of counting and it is not clear
if it still compiles.
In particular, it (also) uses the Omega library and
use of that library will be completely removed in the next commit.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

remove selection of default specialization

Ever since barvinok-0.21-122-g2f7cca5df (optionc.c: move choice of
which specialization to use to barvinok_options,
Thu Sep 21 14:30:59 2006 +0200), the type of specialization
selected at configure time only determines the default specialization.
Since the actual choice of specialization type can be set at run time,
there is little point in being able to set this default
at configure time.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

doc/barvinok.bib: drop Parker2004 entry

The last reference to this entry was removed in barvinok-0.30-25-g095e4cf7e3
(drop "Omega counting calculator", Sat Mar 27 13:54:54 2010 +0100).

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

doc: update outputs of examples

The outputs of some the examples in the documentation look
slightly different from when they were first documented.
Update the outputs to the current state.

In particular
- the vertices of the input of barvinok_count are no longer computed
- barvinok_enumerate* no longer prints the input
- in isl output, an integer division is now printed as floor(n/d)

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

drop declaration of pip_*_Polyhedron_Reduced_Basis

This was missing from barvinok-0.32.1-86-g9d3250ea28 (drop piplib submodule,
Fri Dec 24 22:40:19 2010 +0100).

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

drop NTL_5_3_2.patch

This was missing from barvinok-0.21-89-ge83f144b80 (README: update,
Sun Aug 13 08:22:32 2006 +0200), which removed the only reference
to this file.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

scale.c: Param_Polyhedron_Domain: only set Facets in result if set in input

A Param_Vertices of a Param_Polyhedron created by ISL_P2PP
does not have its Facets set.  Since the user may set the chambers option
to BV_CHAMBERS_ISL, Param_Polyhedron_Domain should not assume
that this field has been set.

Simply refrain from setting the field in the result
if it was not set in the input.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

barvinok 0.41.7

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

update pet to version 0.11.7

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

update isl to version 0.26

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

add some iscc tests for fixed powers

This should detect issues such as the one fixed in the previous commit.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

iscc: fix computation of (negative) fixed powers of a binary relation

Commit barvinok-0.41.6-36-g028122eed (update isl for support
for recent versions of clang, Sat Mar 4 10:42:47 2023 +0100)
brought in isl commit isl-0.25-105-g7aed8cab9 (no longer treat minus sign
as part of token value, Tue Aug 2 13:52:13 2022 +0200),
which affects the parsing of negative powers.
Take into account the separate sign.

Reported-by: Evghenii <eg0x52@gmail.com>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

update isl for change in coalescing

This has an effect on one of the pet test cases.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

update pet for support for recent versions of clang

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

update isl for support for recent versions of clang

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

require C++11

Even though there is only a very limited need for C++11 in the current
code base, C++11 should be widely available by now, so there should
no longer be any need to handle the unavailability of C++11.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

drop support for __gnu_cxx::hash_map

The type std::unordered_map has been available since C++11
so there should no longer be any need for this alternative.
In fact, the next commit will simply require C++11.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

replace obsolete AC_TRY_LINK by AC_LINK_IFELSE

This macro has been obsolete since autoconf 2.55.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

replace obsolete AC_TRY_COMPILE by AC_COMPILE_IFELSE

This macro has been obsolete since autoconf 2.55.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

replace obsolete AC_HELP_STRING calls by AS_HELP_STRING

The macro AC_HELP_STRING was already obsolete when the calls
were first introduce in barvinok-0.37-24-g459f8ab49 (configure.ac:
allow builddir for NTL, Mon Feb 23 16:30:01 2015 +0100).

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

replace obsolete AC_PROG_LIBTOOL by LT_INIT

It has been obsolete since libtool 2.2.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

drop ev_size.c

This was intended to be compiled as a shared library and then preloaded
to obtain some statistics.  It is probably not useful anymore and
may not even compile anymore.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

drop count_domain.c

This was intended to be compiled as a shared library and then preloaded
to obtain some statistics.  It is probably not useful anymore and
may not even compile anymore.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

drop collect_nonsimple.c

This was intended to be compiled as a shared library and then preloaded
to obtain some statistics.  It is probably not useful anymore and
may not even compile anymore.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

drop collect_polytopes2.c

This was intended to be compiled as a shared library and then preloaded
to obtain some statistics.  It is probably not useful anymore and
may not even compile anymore.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

drop collect_polytopes.c

This was intended to be compiled as a shared library and then preloaded
to obtain some statistics.  It is probably not useful anymore and
may not even compile anymore.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

drop verify_lexsmaller test application

This is an undocumented test application that is probably
not useful anymore.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

drop polytope_lattice_width application

The lattice width can be computed using iscc.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

drop polyhedron_sample application

Both iscc and isl/isl_polyhedron_sample provide essentially
the same functionality.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

drop polytope_scan application

Both iscc and isl/isl_polytope_scan provide essentially
the same functionality.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

drop remove_redundant_equalities application

isl/isl_polyhedron_remove_redundant_equalities provides
the same functionality.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

update documentation to removal of barvinok_enumerate_pip_with_options

This was missing from barvinok-0.30-29-gd2ec7899e (drop
barvinok_enumerate_pip_with_options, Sat Apr 3 16:32:23 2010 +0200).

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

configure.ac: drop AM_PROG_LEX and AC_PROG_YACC calls

This was missing from barvinok-0.30-25-g095e4cf7e (drop "Omega counting
calculator", Sat Mar 27 13:54:54 2010 +0100).

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

add an iscc weighted counting test case with an equality among parameters

This tests the proper handling of such equality constraints.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

test box and bernoulli summation algorithms on square_p2 test cases

Leaving this test case out was presumably a typo
in barvinok-0.39-34-g48e6e77dbc (test box and bernoulli
summation algorithms, Mon Oct 17 14:08:42 2016 +0200).

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

add tests/ehrhart_union.README explaining origin of the ehrhart_union inputs

The file is added to tests/ instead of tests/ehrhart_union/
because currently all files in tests/ehrhart_union/ get treated
as a test input.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

add tests/ehrhart.README explaining origin of some of the ehrhart inputs

The file is added to tests/ instead of tests/ehrhart/
because currently all files in tests/ehrhart/ get treated
as a test input.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

add tests/lexmin.README explaining origin of some of the lexmin inputs

The file is added to tests/ instead of tests/lexmin/
because currently all files in tests/lexmin/ get treated
as a test input.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

tests/pwqp/hong*.pwqp: mention contributor

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

tests/iscc/leroux: mention origin

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

tests/iscc/lattice_width-jon_*: mention contributor

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

tests/iscc/count/garbervetsky: mention contributor

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

tests/iscc/count/empty7: mention contributor

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

tests/iscc/count/andreas: mention contributor

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

tests/ehrhart_e/**/seghir-*: mention contributor

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

tests/ehrhart/classen*: mention contributor

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

convert sample test to iscc test

The original sample test was added in barvinok-0.28-21-g361d5103e0
(Polyhedron_Factor: handle polyhedra with a non-trivial lineality
space, Thu Apr 2 11:42:04 2009 +0200), before iscc was introduced.
Now that iscc is available, there is no need to use specialized code
in the test executable to test the results of sampling.
Instead, iscc can be used.
This also makes it easier to write new tests since they are
more uniform with other iscc based test cases.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

convert counting tests to iscc tests

The original tests were added before iscc was introduced.
Now that iscc is available, there is no need to use specialized code
in the test executable to test the results of some counting problems.
Instead, iscc can be used.
This also makes it easier to write new tests since they are
more uniform with other iscc based test cases.

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

make isl_basic_set_lattice_width static

This function is only used internally inside lattice_width.c and
therefore does not need to be exposed.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

summate.c: add missing include

This was missing from barvinok-0.32.1-37-g5aadc07ba6 (separate out
isl interface, Sun Nov 28 18:22:21 2010 +0100).

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

barvinok 0.41.6

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

update pet to version 0.11.6

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

update isl to version 0.25

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

allow static building of executables

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

configure.ac: rename BV_LDFLAGS to BV_LIB_LDFLAGS

This make room for a broader BV_LDFLAGS in the next commit.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

configure.ac: drop spurious space

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

update pet for support for recent versions of clang

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

update isl for support for recent versions of clang

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

manual_count: rename "dim" variable to "space"

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

isl_map_apply_pw_qpolynomial: rename "dim" variables to "space"

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

summate.c: pw_qpolynomial_apply: rename "dim" variables to "space"

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

isl_union_set_apply_union_pw_qpolynomial: rename "dim" variable to "space"

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

summate.c: pw_qpolynomial_apply_set: rename "dim" variables to "space"

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

isl_union_map_apply_union_pw_qpolynomial: rename "dim" variable to "space"

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

isl_union_pw_qpolynomial_sum: rename "dim" variable to "space"

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

Polyhedron_Sample: rename "dim" variable to "space"

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

isl_constraints_opt: rename "dim" variable to "space"

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

isl_polyhedron_affine_sign: rename "dim" variable to "space"

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

bound.c: split_on_domain_size: rename "dim" variable to "space"

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

isl_Polyhedron_Reduced_Basis: rename "dim" variable to "space"

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

barvinok_enumerate.cc: verify_isl: rename "dim" variable to "space"

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

isl_union_map_card: rename "dim" variable to "space"

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

isl_union_set_card: rename "dim" variable to "space"

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

isl_map_card: rename "dim" variable to "space"

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

barvinok.cc: card_as_sum: rename "dim" variable to "space"

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

barvinok.cc: basic_map_card: rename "dim" variable to "space"

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

isl_union_set_lattice_width: rename "dim" variable to "space"

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

isl_set_lattice_width: rename "dim" variable to "space"

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

isl_basic_set_lattice_width: rename "dim" variable to "space"

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

evalue_isl.c: relation2pwqp: rename "dim" variable to "space"

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

evalue_isl.c: extract_base: rename "dim" parameter to "space"

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

isl_pw_qpolynomial_from_evalue: rename "dim" parameter to "space"

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

isl_qpolynomial_from_evalue: rename "dim" parameter to "space"

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

verify_options_set_range_pwqp.c: use isl_pw_qpolynomial_dim

This (slightly) simplifies the code.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

extract out shared verify_options_set_range_pwqp

This removes some minor code duplication.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

barvinok_summate.c: verify: fix memory management annotation

The wrong annotation was introduced in barvinok-0.32.1-26-ge6fe2be3f2
(barvinok_summate: use isl interface, Wed Nov 10 16:46:55 2010 +0100).

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

evalue_isl.c: add_guarded_qp: drop unused variable

This variable was already unused when it was introduced in
barvinok-0.29-31-g4c1a378b02 (add isl_pw_qpolynomial_to_evalue,
Tue Mar 9 16:10:10 2010 +0100).

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

barvinok_summate.c: verify_point: drop unused variable

This was missing from barvinok-0.34-19-g411eb84a87 (barvinok_summate.c:
verify_point: explicitly project onto parameter space,
Thu Sep 1 13:05:12 2011 +0200).

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

doc: update gforge.inria.fr link

This link is now dead.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

barvinok_bound: fix --iterate option

In particular, adjust the code to the changed isl_pw_qpolynomial space.
This was missing from barvinok-0.34-25-g235972b7ef (update isl
for change in space of isl_pw_* objects, Sun Sep 4 15:04:00 2011 +0200).
Add a test case for this option to ensure it does not get broken again.
Note that --iterate only works for inputs without parameters.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

bound.c: iterate: rename "dim" variable to "space"

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

update pet for more relaxed pet_expr_is_equal index comparison

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

barvinok 0.41.5

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

update pet to version 0.11.5

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

update isl to version 0.24

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

Makefile.am: drop LOCAL_POLYLIB_LA

The last use was removed in barvinok-0.36-17-g1d67a277c4
(integrate isl-polylib module, Wed May 29 11:43:49 2013 +0200).

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

build libisl.la before libpet.la

If both are being built, then libpet.la depends on libisl.la.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

update pet for support for recent versions of clang

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>