PPL-devel
Threads by month
- ----- 2025 -----
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2024 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2023 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2022 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2021 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2020 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2019 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2018 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2017 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2016 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2015 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2014 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2013 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2012 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2011 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2010 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2009 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2008 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2007 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2006 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2005 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2004 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2003 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2002 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2001 -----
- December
- November
- October
- September
- August
- July
- June
January 2010
- 7 participants
- 58 discussions
Module: ppl/ppl
Branch: pip
Commit: a1a748c8dade8750af2f4ad6b3c4660fd5a9ea97
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a1a748c8dade…
Author: Roberto Bagnara <bagnara(a)cs.unipr.it>
Date: Fri Jan 1 16:37:56 2010 +0100
Extended copyright years.
---
devtools/bump_copyright_years | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/devtools/bump_copyright_years b/devtools/bump_copyright_years
index f02f3c7..92bd8fe 100755
--- a/devtools/bump_copyright_years
+++ b/devtools/bump_copyright_years
@@ -2,7 +2,7 @@
temp_file=`mktemp /tmp/bump_copyright_years.XXXXXXXXXX` || exit 1
for k in `find . -type f`
do
- sed -e "s/Copyright (C) 2001-2010 Roberto Bagnara/Copyright (C) 2001-2010 Roberto Bagnara/g" <$k >$temp_file
+ sed -e "s/Copyright (C) 2001-2009 Roberto Bagnara/Copyright (C) 2001-2010 Roberto Bagnara/g" <$k >$temp_file
chmod --reference=$k $temp_file
mv -f $temp_file $k
done
1
0
Module: ppl/ppl
Branch: pip
Commit: 05bcc560695c33666c94b8c7999309ffb8aee69d
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05bcc560695c…
Author: Roberto Bagnara <bagnara(a)cs.unipr.it>
Date: Fri Jan 1 16:37:29 2010 +0100
Merge branch 'master' into pip
---
1
0
Module: ppl/ppl
Branch: pip
Commit: 4d6c6db0470eb60cecbbed0a43a2b08d8539e95f
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d6c6db0470e…
Author: Roberto Bagnara <bagnara(a)cs.unipr.it>
Date: Fri Jan 1 16:36:10 2010 +0100
Extended copyright years.
---
Watchdog/doc/devref.tex | 2 +-
Watchdog/doc/user.tex | 2 +-
debian/libppl-pwl.copyright.in | 2 +-
debian/libppl.copyright.in | 2 +-
demos/ppl_lcdd/ppl_lcdd.1 | 2 +-
demos/ppl_lcdd/ppl_lcdd_extra_man_text | 2 +-
demos/ppl_lpsol/ppl_lpsol.1 | 2 +-
demos/ppl_lpsol/ppl_lpsol_extra_man_text | 2 +-
doc/devref-language-interface.tex | 2 +-
doc/devref.tex | 2 +-
doc/libppl.3 | 2 +-
doc/libppl_c.3 | 2 +-
doc/ppl-config.1 | 2 +-
doc/ppl-config_extra_man_text | 2 +-
doc/user-language-interface.tex | 2 +-
doc/user.tex | 2 +-
16 files changed, 16 insertions(+), 16 deletions(-)
diff --git a/Watchdog/doc/devref.tex b/Watchdog/doc/devref.tex
index 2b1a9c4..c22e932 100644
--- a/Watchdog/doc/devref.tex
+++ b/Watchdog/doc/devref.tex
@@ -85,7 +85,7 @@ Roberto Bagnara\thanks{bagnara(a)cs.unipr.it,
\maketitle
\newpage
-Copyright \copyright\ 2001--2009 Roberto Bagnara (bagnara(a)cs.unipr.it).
+Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara(a)cs.unipr.it).
This document describes the Parma Watchdog Library (PWL).
diff --git a/Watchdog/doc/user.tex b/Watchdog/doc/user.tex
index 143bce8..7c91c30 100644
--- a/Watchdog/doc/user.tex
+++ b/Watchdog/doc/user.tex
@@ -85,7 +85,7 @@ Roberto Bagnara\thanks{bagnara(a)cs.unipr.it,
\maketitle
\newpage
-Copyright \copyright\ 2001--2009 Roberto Bagnara (bagnara(a)cs.unipr.it).
+Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara(a)cs.unipr.it).
This document describes the Parma Watchdog Library (PWL).
diff --git a/debian/libppl-pwl.copyright.in b/debian/libppl-pwl.copyright.in
index 0d25a1e..ad3b329 100644
--- a/debian/libppl-pwl.copyright.in
+++ b/debian/libppl-pwl.copyright.in
@@ -20,7 +20,7 @@ Authors: see the CREDITS file or http://www.cs.unipr.it/ppl/Credits
for the complete list of authors.
-Copyright: 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+Copyright: 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
The PPL is free software; you can redistribute it and/or modify it
under the terms of the GNU General Public License as published by the
diff --git a/debian/libppl.copyright.in b/debian/libppl.copyright.in
index 0d25a1e..ad3b329 100644
--- a/debian/libppl.copyright.in
+++ b/debian/libppl.copyright.in
@@ -20,7 +20,7 @@ Authors: see the CREDITS file or http://www.cs.unipr.it/ppl/Credits
for the complete list of authors.
-Copyright: 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+Copyright: 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
The PPL is free software; you can redistribute it and/or modify it
under the terms of the GNU General Public License as published by the
diff --git a/demos/ppl_lcdd/ppl_lcdd.1 b/demos/ppl_lcdd/ppl_lcdd.1
index bea9cad..eca179f 100644
--- a/demos/ppl_lcdd/ppl_lcdd.1
+++ b/demos/ppl_lcdd/ppl_lcdd.1
@@ -50,7 +50,7 @@ See the file \fBCREDITS\fR in the source distribution or use the command
.SH "REPORTING BUGS"
Report bugs to <ppl\-devel(a)cs.unipr.it>.
.SH COPYRIGHT
-Copyright (C) 2001\-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+Copyright (C) 2001\-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
.br
This is free software; see the file \fBCOPYING\fR in the source
distribution or use the command \fBppl\-config \-\-copying\fR to
diff --git a/demos/ppl_lcdd/ppl_lcdd_extra_man_text b/demos/ppl_lcdd/ppl_lcdd_extra_man_text
index c3d6891..1aeae74 100644
--- a/demos/ppl_lcdd/ppl_lcdd_extra_man_text
+++ b/demos/ppl_lcdd/ppl_lcdd_extra_man_text
@@ -8,7 +8,7 @@ See the file \fBCREDITS\fR in the source distribution or use the command
\fBppl\-config \-\-credits\fR for a list of contributors.
[COPYRIGHT]
-Copyright (C) 2001\-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+Copyright (C) 2001\-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
.br
This is free software; see the file \fBCOPYING\fR in the source
distribution or use the command \fBppl\-config \-\-copying\fR to
diff --git a/demos/ppl_lpsol/ppl_lpsol.1 b/demos/ppl_lpsol/ppl_lpsol.1
index a9c3465..8c239dd 100644
--- a/demos/ppl_lpsol/ppl_lpsol.1
+++ b/demos/ppl_lpsol/ppl_lpsol.1
@@ -84,7 +84,7 @@ The options \fB\-CSECS\fR (\fB\-\-max\-cpu\fR=\fISECS\fR) and
See the file \fBCREDITS\fR in the source distribution or use the command
\fBppl\-config \-\-credits\fR for a list of contributors.
.SH COPYRIGHT
-Copyright (C) 2001\-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+Copyright (C) 2001\-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
.br
This is free software; see the file \fBCOPYING\fR in the source
distribution or use the command \fBppl\-config \-\-copying\fR to
diff --git a/demos/ppl_lpsol/ppl_lpsol_extra_man_text b/demos/ppl_lpsol/ppl_lpsol_extra_man_text
index ddc144b..f8e369a 100644
--- a/demos/ppl_lpsol/ppl_lpsol_extra_man_text
+++ b/demos/ppl_lpsol/ppl_lpsol_extra_man_text
@@ -8,7 +8,7 @@ See the file \fBCREDITS\fR in the source distribution or use the command
\fBppl\-config \-\-credits\fR for a list of contributors.
[COPYRIGHT]
-Copyright (C) 2001\-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+Copyright (C) 2001\-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
.br
This is free software; see the file \fBCOPYING\fR in the source
distribution or use the command \fBppl\-config \-\-copying\fR to
diff --git a/doc/devref-language-interface.tex b/doc/devref-language-interface.tex
index 5734775..f3366be 100644
--- a/doc/devref-language-interface.tex
+++ b/doc/devref-language-interface.tex
@@ -100,7 +100,7 @@ Enea Zaffanella\thanks{zaffanella(a)cs.unipr.it,
\maketitle
\newpage
-Copyright \copyright\ 2001--2009 Roberto Bagnara (bagnara(a)cs.unipr.it).
+Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara(a)cs.unipr.it).
This document describes the Parma Polyhedra Library (PPL).
diff --git a/doc/devref.tex b/doc/devref.tex
index 02f5311..7ebb796 100644
--- a/doc/devref.tex
+++ b/doc/devref.tex
@@ -109,7 +109,7 @@ Tatiana Zolo
\maketitle
\newpage
-Copyright \copyright\ 2001--2009 Roberto Bagnara (bagnara(a)cs.unipr.it).
+Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara(a)cs.unipr.it).
This document describes the Parma Polyhedra Library (PPL).
diff --git a/doc/libppl.3 b/doc/libppl.3
index 3802b95..0ff3e52 100644
--- a/doc/libppl.3
+++ b/doc/libppl.3
@@ -217,7 +217,7 @@ See the file \fBCREDITS\fR in the source distribution or use the command
Report bugs to <ppl\-devel(a)cs.unipr.it>.
.SH COPYRIGHT
-Copyright (C) 2001\-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+Copyright (C) 2001\-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
.br
This is free software; see the file \fBCOPYING\fR in the source
distribution or use the command \fBppl\-config \-\-copying\fR to
diff --git a/doc/libppl_c.3 b/doc/libppl_c.3
index 051c89e..d48f19d 100644
--- a/doc/libppl_c.3
+++ b/doc/libppl_c.3
@@ -153,7 +153,7 @@ See the file \fBCREDITS\fR in the source distribution or use the command
Report bugs to <ppl\-devel(a)cs.unipr.it>.
.SH COPYRIGHT
-Copyright (C) 2001\-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+Copyright (C) 2001\-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
.br
This is free software; see the file \fBCOPYING\fR in the source
distribution or use the command \fBppl\-config \-\-copying\fR to
diff --git a/doc/ppl-config.1 b/doc/ppl-config.1
index 8c50b2f..f876a64 100644
--- a/doc/ppl-config.1
+++ b/doc/ppl-config.1
@@ -104,7 +104,7 @@ Report bugs to <ppl\-devel(a)cs.unipr.it>.
.SH "REPORTING BUGS"
Report bugs to <ppl\-devel(a)cs.unipr.it>.
.SH COPYRIGHT
-Copyright (C) 2001\-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+Copyright (C) 2001\-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
.br
This is free software; see the file \fBCOPYING\fR in the source
distribution or use the command \fBppl\-config \-\-copying\fR to
diff --git a/doc/ppl-config_extra_man_text b/doc/ppl-config_extra_man_text
index 32e2e11..f5203f2 100644
--- a/doc/ppl-config_extra_man_text
+++ b/doc/ppl-config_extra_man_text
@@ -40,7 +40,7 @@ See the file \fBCREDITS\fR in the source distribution or use the command
Report bugs to <ppl\-devel(a)cs.unipr.it>.
[COPYRIGHT]
-Copyright (C) 2001\-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+Copyright (C) 2001\-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
.br
This is free software; see the file \fBCOPYING\fR in the source
distribution or use the command \fBppl\-config \-\-copying\fR to
diff --git a/doc/user-language-interface.tex b/doc/user-language-interface.tex
index 12e3aca..3d84027 100644
--- a/doc/user-language-interface.tex
+++ b/doc/user-language-interface.tex
@@ -100,7 +100,7 @@ Enea Zaffanella\thanks{zaffanella(a)cs.unipr.it,
\maketitle
\newpage
-Copyright \copyright\ 2001--2009 Roberto Bagnara (bagnara(a)cs.unipr.it).
+Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara(a)cs.unipr.it).
This document describes the Parma Polyhedra Library (PPL).
diff --git a/doc/user.tex b/doc/user.tex
index 5536465..3c2a50c 100644
--- a/doc/user.tex
+++ b/doc/user.tex
@@ -109,7 +109,7 @@ Tatiana Zolo
\maketitle
\newpage
-Copyright \copyright\ 2001--2009 Roberto Bagnara (bagnara(a)cs.unipr.it).
+Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara(a)cs.unipr.it).
This document describes the Parma Polyhedra Library (PPL).
1
0
Module: ppl/ppl
Branch: pip
Commit: 2e58e4cde2d03f7e4a696291d0de764929a86652
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e58e4cde2d0…
Author: Roberto Bagnara <bagnara(a)cs.unipr.it>
Date: Fri Jan 1 16:34:11 2010 +0100
Extended copyright years.
---
demos/ppl_pips/Makefile.am | 2 +-
demos/ppl_pips/examples/Makefile.am | 2 +-
demos/ppl_pips/ppl_pips.cc | 2 +-
devtools/bump_copyright_years | 2 +-
interfaces/C/tests/pip_test.c | 2 +-
src/PIP_Problem.cc | 2 +-
src/PIP_Problem.defs.hh | 2 +-
src/PIP_Problem.inlines.hh | 2 +-
src/PIP_Problem.templates.hh | 2 +-
src/PIP_Problem.types.hh | 2 +-
src/PIP_Tree.cc | 2 +-
src/PIP_Tree.defs.hh | 2 +-
src/PIP_Tree.inlines.hh | 2 +-
src/PIP_Tree.types.hh | 2 +-
tests/PIP_Problem/Makefile.am | 2 +-
tests/PIP_Problem/ascii_dump_load1.cc | 2 +-
tests/PIP_Problem/exceptions1.cc | 2 +-
tests/PIP_Problem/pipproblem1.cc | 2 +-
tests/PIP_Problem/pipproblem2.cc | 2 +-
19 files changed, 19 insertions(+), 19 deletions(-)
diff --git a/demos/ppl_pips/Makefile.am b/demos/ppl_pips/Makefile.am
index 02ff5fa..ceca842 100644
--- a/demos/ppl_pips/Makefile.am
+++ b/demos/ppl_pips/Makefile.am
@@ -1,5 +1,5 @@
# Automake source file for the Parma Polyhedra Library.
-# Copyright (C) 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+# Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
#
# This file is part of the Parma Polyhedra Library (PPL).
#
diff --git a/demos/ppl_pips/examples/Makefile.am b/demos/ppl_pips/examples/Makefile.am
index 7926121..3f2777a 100644
--- a/demos/ppl_pips/examples/Makefile.am
+++ b/demos/ppl_pips/examples/Makefile.am
@@ -1,5 +1,5 @@
# Automake source file for the Parma Polyhedra Library.
-# Copyright (C) 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+# Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
#
# This file is part of the Parma Polyhedra Library (PPL).
#
diff --git a/demos/ppl_pips/ppl_pips.cc b/demos/ppl_pips/ppl_pips.cc
index c642ad7..d7d191c 100644
--- a/demos/ppl_pips/ppl_pips.cc
+++ b/demos/ppl_pips/ppl_pips.cc
@@ -1,5 +1,5 @@
/* A sort of clone of the cddlib test program `lcdd'.
- Copyright (C) 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+ Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
This file is part of the Parma Polyhedra Library (PPL).
diff --git a/devtools/bump_copyright_years b/devtools/bump_copyright_years
index 92bd8fe..f02f3c7 100755
--- a/devtools/bump_copyright_years
+++ b/devtools/bump_copyright_years
@@ -2,7 +2,7 @@
temp_file=`mktemp /tmp/bump_copyright_years.XXXXXXXXXX` || exit 1
for k in `find . -type f`
do
- sed -e "s/Copyright (C) 2001-2009 Roberto Bagnara/Copyright (C) 2001-2010 Roberto Bagnara/g" <$k >$temp_file
+ sed -e "s/Copyright (C) 2001-2010 Roberto Bagnara/Copyright (C) 2001-2010 Roberto Bagnara/g" <$k >$temp_file
chmod --reference=$k $temp_file
mv -f $temp_file $k
done
diff --git a/interfaces/C/tests/pip_test.c b/interfaces/C/tests/pip_test.c
index 645e912..f2ff197 100644
--- a/interfaces/C/tests/pip_test.c
+++ b/interfaces/C/tests/pip_test.c
@@ -1,5 +1,5 @@
/* Test the use of the PPL PIP solver from C code.
- Copyright (C) 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+ Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
This file is part of the Parma Polyhedra Library (PPL).
diff --git a/src/PIP_Problem.cc b/src/PIP_Problem.cc
index 4857949..4fc5607 100644
--- a/src/PIP_Problem.cc
+++ b/src/PIP_Problem.cc
@@ -1,5 +1,5 @@
/* PIP_Problem class implementation: non-inline functions.
- Copyright (C) 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+ Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
This file is part of the Parma Polyhedra Library (PPL).
diff --git a/src/PIP_Problem.defs.hh b/src/PIP_Problem.defs.hh
index e6768bb..e98c66a 100644
--- a/src/PIP_Problem.defs.hh
+++ b/src/PIP_Problem.defs.hh
@@ -1,5 +1,5 @@
/* PIP_Problem class declaration.
- Copyright (C) 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+ Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
This file is part of the Parma Polyhedra Library (PPL).
diff --git a/src/PIP_Problem.inlines.hh b/src/PIP_Problem.inlines.hh
index b2f3bc3..8ea5a32 100644
--- a/src/PIP_Problem.inlines.hh
+++ b/src/PIP_Problem.inlines.hh
@@ -1,5 +1,5 @@
/* PIP_Problem class implementation: inline functions.
- Copyright (C) 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+ Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
This file is part of the Parma Polyhedra Library (PPL).
diff --git a/src/PIP_Problem.templates.hh b/src/PIP_Problem.templates.hh
index fcfa076..3197e87 100644
--- a/src/PIP_Problem.templates.hh
+++ b/src/PIP_Problem.templates.hh
@@ -1,5 +1,5 @@
/* PIP_Problem class implementation: non-inline template functions.
- Copyright (C) 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+ Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
This file is part of the Parma Polyhedra Library (PPL).
diff --git a/src/PIP_Problem.types.hh b/src/PIP_Problem.types.hh
index c6033bb..e6c46e5 100644
--- a/src/PIP_Problem.types.hh
+++ b/src/PIP_Problem.types.hh
@@ -1,4 +1,4 @@
-/* Copyright (C) 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+/* Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
This file is free software; as a special exception the author gives
unlimited permission to copy and/or distribute it, with or without
diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc
index 19291ef..3969d50 100644
--- a/src/PIP_Tree.cc
+++ b/src/PIP_Tree.cc
@@ -1,5 +1,5 @@
/* PIP_Tree related class implementation: non-inline functions.
- Copyright (C) 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+ Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
This file is part of the Parma Polyhedra Library (PPL).
diff --git a/src/PIP_Tree.defs.hh b/src/PIP_Tree.defs.hh
index 9e03a09..9a028f1 100644
--- a/src/PIP_Tree.defs.hh
+++ b/src/PIP_Tree.defs.hh
@@ -1,5 +1,5 @@
/* PIP_Tree class declaration.
- Copyright (C) 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+ Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
This file is part of the Parma Polyhedra Library (PPL).
diff --git a/src/PIP_Tree.inlines.hh b/src/PIP_Tree.inlines.hh
index 0e0b8f8..d436da9 100644
--- a/src/PIP_Tree.inlines.hh
+++ b/src/PIP_Tree.inlines.hh
@@ -1,5 +1,5 @@
/* PIP_Tree related class implementation: inline functions.
- Copyright (C) 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+ Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
This file is part of the Parma Polyhedra Library (PPL).
diff --git a/src/PIP_Tree.types.hh b/src/PIP_Tree.types.hh
index d21cf1b..682d95b 100644
--- a/src/PIP_Tree.types.hh
+++ b/src/PIP_Tree.types.hh
@@ -1,4 +1,4 @@
-/* Copyright (C) 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+/* Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
This file is free software; as a special exception the author gives
unlimited permission to copy and/or distribute it, with or without
diff --git a/tests/PIP_Problem/Makefile.am b/tests/PIP_Problem/Makefile.am
index 5ec9c04..19ea24e 100644
--- a/tests/PIP_Problem/Makefile.am
+++ b/tests/PIP_Problem/Makefile.am
@@ -1,5 +1,5 @@
# Automake source file for the Parma Polyhedra Library.
-# Copyright (C) 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+# Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
#
# This file is part of the Parma Polyhedra Library (PPL).
#
diff --git a/tests/PIP_Problem/ascii_dump_load1.cc b/tests/PIP_Problem/ascii_dump_load1.cc
index 18e8235..3ff394b 100644
--- a/tests/PIP_Problem/ascii_dump_load1.cc
+++ b/tests/PIP_Problem/ascii_dump_load1.cc
@@ -1,5 +1,5 @@
/* Test PIP_Problem::ascii_dump() and PIP_Problem::ascii_load().
- Copyright (C) 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+ Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
This file is part of the Parma Polyhedra Library (PPL).
diff --git a/tests/PIP_Problem/exceptions1.cc b/tests/PIP_Problem/exceptions1.cc
index 6bbe11e..c227c1f 100644
--- a/tests/PIP_Problem/exceptions1.cc
+++ b/tests/PIP_Problem/exceptions1.cc
@@ -1,5 +1,5 @@
/* Test that the right exceptions are thrown in case of incorrect uses.
- Copyright (C) 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+ Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
This file is part of the Parma Polyhedra Library (PPL).
diff --git a/tests/PIP_Problem/pipproblem1.cc b/tests/PIP_Problem/pipproblem1.cc
index 01fc9fa..c6d0ae7 100644
--- a/tests/PIP_Problem/pipproblem1.cc
+++ b/tests/PIP_Problem/pipproblem1.cc
@@ -1,5 +1,5 @@
/* Test the PIP_Problem class
- Copyright (C) 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+ Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
This file is part of the Parma Polyhedra Library (PPL).
diff --git a/tests/PIP_Problem/pipproblem2.cc b/tests/PIP_Problem/pipproblem2.cc
index 590f672..d91696c 100644
--- a/tests/PIP_Problem/pipproblem2.cc
+++ b/tests/PIP_Problem/pipproblem2.cc
@@ -1,5 +1,5 @@
/* Test the PIP_Problem class
- Copyright (C) 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+ Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
This file is part of the Parma Polyhedra Library (PPL).
1
0
Module: ppl/ppl
Branch: pip
Commit: 149a08281d49da91c586c310266b780c37c0ccaf
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=149a08281d49…
Author: Roberto Bagnara <bagnara(a)cs.unipr.it>
Date: Fri Jan 1 16:32:11 2010 +0100
Merge branch 'master' into pip
---
1
0
Module: ppl/ppl
Branch: pip
Commit: 488f55fbe874c4f3a85c0c0db8c59f7e83d615e0
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=488f55fbe874…
Author: Roberto Bagnara <bagnara(a)cs.unipr.it>
Date: Fri Jan 1 16:28:45 2010 +0100
Extended copyright years.
---
Makefile.am | 2 +-
README | 4 ++--
README.configure | 4 ++--
Watchdog/Makefile.am | 2 +-
Watchdog/README | 2 +-
Watchdog/configure.ac | 2 +-
Watchdog/doc/Makefile.am | 2 +-
Watchdog/doc/README.doc | 4 ++--
Watchdog/doc/devref.tex | 2 +-
Watchdog/doc/pwl.sty | 2 +-
Watchdog/doc/user.tex | 2 +-
Watchdog/m4/Makefile.am | 2 +-
Watchdog/src/Doubly_Linked_Object.defs.hh | 2 +-
Watchdog/src/Doubly_Linked_Object.inlines.hh | 2 +-
Watchdog/src/Doubly_Linked_Object.types.hh | 2 +-
Watchdog/src/EList.defs.hh | 2 +-
Watchdog/src/EList.inlines.hh | 2 +-
Watchdog/src/EList.types.hh | 2 +-
Watchdog/src/EList_Iterator.defs.hh | 2 +-
Watchdog/src/EList_Iterator.inlines.hh | 2 +-
Watchdog/src/EList_Iterator.types.hh | 2 +-
Watchdog/src/Handler.defs.hh | 2 +-
Watchdog/src/Handler.inlines.hh | 2 +-
Watchdog/src/Handler.types.hh | 2 +-
Watchdog/src/Makefile.am | 2 +-
Watchdog/src/Pending_Element.defs.hh | 2 +-
Watchdog/src/Pending_Element.inlines.hh | 2 +-
Watchdog/src/Pending_Element.types.hh | 2 +-
Watchdog/src/Pending_List.defs.hh | 2 +-
Watchdog/src/Pending_List.inlines.hh | 2 +-
Watchdog/src/Pending_List.templates.hh | 2 +-
Watchdog/src/Pending_List.types.hh | 2 +-
Watchdog/src/Threshold_Watcher.cc | 2 +-
Watchdog/src/Threshold_Watcher.defs.hh | 2 +-
Watchdog/src/Threshold_Watcher.inlines.hh | 2 +-
Watchdog/src/Threshold_Watcher.templates.hh | 2 +-
Watchdog/src/Threshold_Watcher.types.hh | 2 +-
Watchdog/src/Time.cc | 2 +-
Watchdog/src/Time.defs.hh | 2 +-
Watchdog/src/Time.inlines.hh | 2 +-
Watchdog/src/Time.types.hh | 2 +-
Watchdog/src/Watchdog.cc | 2 +-
Watchdog/src/Watchdog.defs.hh | 2 +-
Watchdog/src/Watchdog.inlines.hh | 2 +-
Watchdog/src/Watchdog.types.hh | 2 +-
Watchdog/src/pwl_header.hh | 2 +-
Watchdog/tests/Makefile.am | 2 +-
Watchdog/tests/pwl_test.cc | 2 +-
Watchdog/tests/pwl_test.hh | 2 +-
Watchdog/tests/simple1.cc | 2 +-
Watchdog/utils/Makefile.am | 2 +-
Watchdog/utils/build_header.in | 2 +-
configure.ac | 4 ++--
demos/Makefile.am | 2 +-
demos/ppl_lcdd/Makefile.am | 2 +-
demos/ppl_lcdd/examples/Makefile.am | 2 +-
demos/ppl_lcdd/ppl_lcdd.cc | 2 +-
demos/ppl_lpsol/Makefile.am | 2 +-
demos/ppl_lpsol/examples/Makefile.am | 2 +-
demos/ppl_lpsol/ppl_lpsol.c | 2 +-
devtools/bump_copyright_years | 2 +-
doc/Makefile.am | 2 +-
doc/README.doc | 4 ++--
doc/definitions.dox | 2 +-
doc/devref-language-interface.tex | 2 +-
doc/devref.tex | 2 +-
doc/ppl.sty | 2 +-
doc/user-language-interface.tex | 2 +-
doc/user.tex | 2 +-
fedora/ppl.hh | 2 +-
fedora/ppl_c.h | 2 +-
fedora/pwl.hh | 2 +-
instchk.hh | 2 +-
interfaces/C/C_interface.dox | 2 +-
interfaces/C/Makefile.am | 2 +-
interfaces/C/ppl_c_header.h | 2 +-
interfaces/C/ppl_c_implementation_common.cc | 2 +-
interfaces/C/ppl_c_implementation_common.defs.hh | 2 +-
.../C/ppl_c_implementation_common.inlines.hh | 2 +-
interfaces/C/ppl_c_version.h.in | 2 +-
interfaces/C/ppl_interface_generator_c_cc_code.m4 | 2 +-
interfaces/C/ppl_interface_generator_c_cc_files.m4 | 2 +-
interfaces/C/ppl_interface_generator_c_h.m4 | 2 +-
interfaces/C/ppl_interface_generator_c_h_code.m4 | 2 +-
interfaces/C/ppl_interface_generator_c_hh_files.m4 | 2 +-
...l_interface_generator_c_procedure_generators.m4 | 2 +-
interfaces/C/tests/Makefile.am | 2 +-
interfaces/C/tests/formatted_output.c | 2 +-
interfaces/C/tests/ppl_c_test.cc | 2 +-
interfaces/C/tests/ppl_c_test.h | 2 +-
interfaces/C/tests/print_to_buffer.c | 2 +-
interfaces/C/tests/print_to_buffer.h | 2 +-
interfaces/C/tests/watchdog1.c | 2 +-
interfaces/C/tests/weightwatch1.c | 2 +-
interfaces/Java/Makefile.am | 2 +-
interfaces/Java/jni/Makefile.am | 2 +-
...ppl_interface_generator_java_classes_cc_code.m4 | 2 +-
...pl_interface_generator_java_classes_cc_files.m4 | 2 +-
interfaces/Java/jni/ppl_java_common.cc | 2 +-
interfaces/Java/jni/ppl_java_common.defs.hh | 2 +-
interfaces/Java/jni/ppl_java_common.inlines.hh | 2 +-
interfaces/Java/jni/ppl_java_globals.cc | 2 +-
.../Java/parma_polyhedra_library/By_Reference.java | 2 +-
.../Java/parma_polyhedra_library/Coefficient.java | 2 +-
.../parma_polyhedra_library/Complexity_Class.java | 2 +-
.../Java/parma_polyhedra_library/Congruence.java | 2 +-
.../parma_polyhedra_library/Congruence_System.java | 2 +-
.../Java/parma_polyhedra_library/Constraint.java | 2 +-
.../parma_polyhedra_library/Constraint_System.java | 2 +-
.../Control_Parameter_Name.java | 2 +-
.../Control_Parameter_Value.java | 2 +-
.../Degenerate_Element.java | 2 +-
.../Domain_Error_Exception.java | 2 +-
.../Fake_Class_for_Doxygen.java | 2 +-
.../Java/parma_polyhedra_library/Generator.java | 2 +-
.../parma_polyhedra_library/Generator_System.java | 2 +-
.../parma_polyhedra_library/Generator_Type.java | 2 +-
.../parma_polyhedra_library/Grid_Generator.java | 2 +-
.../Grid_Generator_System.java | 2 +-
.../Grid_Generator_Type.java | 2 +-
interfaces/Java/parma_polyhedra_library/IO.java | 2 +-
.../Invalid_Argument_Exception.java | 2 +-
.../Length_Error_Exception.java | 2 +-
.../parma_polyhedra_library/Linear_Expression.java | 2 +-
.../Linear_Expression_Coefficient.java | 2 +-
.../Linear_Expression_Difference.java | 2 +-
.../Linear_Expression_Sum.java | 2 +-
.../Linear_Expression_Times.java | 2 +-
.../Linear_Expression_Unary_Minus.java | 2 +-
.../Linear_Expression_Variable.java | 2 +-
.../Logic_Error_Exception.java | 2 +-
.../Java/parma_polyhedra_library/MIP_Problem.java | 2 +-
.../MIP_Problem_Status.java | 2 +-
.../Java/parma_polyhedra_library/Makefile.am | 2 +-
.../parma_polyhedra_library/Optimization_Mode.java | 2 +-
.../Overflow_Error_Exception.java | 2 +-
.../Java/parma_polyhedra_library/PPL_Object.java | 2 +-
interfaces/Java/parma_polyhedra_library/Pair.java | 2 +-
.../Parma_Polyhedra_Library.java | 2 +-
.../parma_polyhedra_library/Partial_Function.java | 2 +-
.../parma_polyhedra_library/Poly_Con_Relation.java | 2 +-
.../parma_polyhedra_library/Poly_Gen_Relation.java | 2 +-
.../parma_polyhedra_library/Relation_Symbol.java | 2 +-
.../parma_polyhedra_library/Timeout_Exception.java | 2 +-
.../Java/parma_polyhedra_library/Variable.java | 2 +-
.../parma_polyhedra_library/Variables_Set.java | 2 +-
.../ppl_interface_generator_java_classes_java.m4 | 2 +-
...l_interface_generator_java_classes_java_code.m4 | 2 +-
...nterface_generator_java_procedure_generators.m4 | 2 +-
interfaces/Java/tests/C_Polyhedron_test1.java | 2 +-
interfaces/Java/tests/MIP_Problem_test1.java | 2 +-
interfaces/Java/tests/Makefile.am | 2 +-
interfaces/Java/tests/NNC_Polyhedron_test1.java | 2 +-
interfaces/Java/tests/PPL_Test.java | 2 +-
.../Java/tests/Parma_Polyhedra_Library_test1.java | 2 +-
.../Java/tests/Parma_Polyhedra_Library_test2.java | 2 +-
interfaces/Java/tests/Test_Executor.java | 2 +-
interfaces/Java/tests/Test_Partial_Function.java | 2 +-
.../ppl_interface_generator_java_test_java.m4 | 2 +-
.../ppl_interface_generator_java_test_java_code.m4 | 2 +-
interfaces/Java/tests/ppl_java_tests_common | 2 +-
interfaces/Makefile.am | 2 +-
interfaces/OCaml/Makefile.am | 2 +-
interfaces/OCaml/OCaml_interface.dox | 2 +-
.../OCaml/ppl_interface_generator_ocaml_cc_code.m4 | 2 +-
.../ppl_interface_generator_ocaml_cc_files.m4 | 2 +-
.../OCaml/ppl_interface_generator_ocaml_hh_code.m4 | 2 +-
.../ppl_interface_generator_ocaml_hh_files.m4 | 2 +-
.../OCaml/ppl_interface_generator_ocaml_ml.m4 | 2 +-
.../OCaml/ppl_interface_generator_ocaml_ml_code.m4 | 2 +-
.../OCaml/ppl_interface_generator_ocaml_mli.m4 | 2 +-
.../ppl_interface_generator_ocaml_mli_code.m4 | 2 +-
...terface_generator_ocaml_procedure_generators.m4 | 2 +-
interfaces/OCaml/ppl_ocaml_common.cc | 2 +-
interfaces/OCaml/ppl_ocaml_common.defs.hh | 2 +-
interfaces/OCaml/ppl_ocaml_common.inlines.hh | 2 +-
interfaces/OCaml/ppl_ocaml_globals.ml | 2 +-
interfaces/OCaml/ppl_ocaml_globals.mli | 2 +-
interfaces/OCaml/tests/Makefile.am | 2 +-
.../tests/ppl_interface_generator_ocaml_test_ml.m4 | 2 +-
.../ppl_interface_generator_ocaml_test_ml_code.m4 | 2 +-
interfaces/OCaml/tests/ppl_ocaml_tests_common | 2 +-
interfaces/OCaml/tests/test1.ml | 2 +-
interfaces/Prolog/Ciao/Makefile.am | 2 +-
interfaces/Prolog/Ciao/ciao_cfli.hh | 2 +-
interfaces/Prolog/Ciao/ciao_clpq.pl | 2 +-
interfaces/Prolog/Ciao/ciao_clpq2.pl | 2 +-
interfaces/Prolog/Ciao/ciao_efli.cc | 2 +-
interfaces/Prolog/Ciao/ciao_efli.hh | 2 +-
interfaces/Prolog/Ciao/ciao_pl_check.pl | 2 +-
.../Prolog/Ciao/ppl_interface_generator_ciao_pl.m4 | 2 +-
...face_generator_ciao_prolog_generated_test_pl.m4 | 2 +-
interfaces/Prolog/Ciao/ppl_prolog_sysdep.hh | 2 +-
interfaces/Prolog/GNU/Makefile.am | 2 +-
interfaces/Prolog/GNU/gnu_pl_check.pl | 2 +-
interfaces/Prolog/GNU/gnu_prolog_generated_test.pl | 2 +-
interfaces/Prolog/GNU/gp_clpq.pl | 2 +-
interfaces/Prolog/GNU/gprolog_cfli.hh | 2 +-
interfaces/Prolog/GNU/gprolog_efli.cc | 2 +-
interfaces/Prolog/GNU/gprolog_efli.hh | 2 +-
.../GNU/ppl_interface_generator_gprolog_pl.m4 | 2 +-
interfaces/Prolog/GNU/ppl_prolog_sysdep.hh | 2 +-
interfaces/Prolog/Makefile.am | 2 +-
interfaces/Prolog/Prolog_interface.dox | 2 +-
interfaces/Prolog/SICStus/Makefile.am | 2 +-
.../ppl_interface_generator_sicstus_sd_cc.m4 | 2 +-
interfaces/Prolog/SICStus/ppl_prolog_sysdep.hh | 2 +-
interfaces/Prolog/SICStus/ppl_sicstus.pl | 2 +-
interfaces/Prolog/SICStus/sicstus_cfli.cc | 2 +-
interfaces/Prolog/SICStus/sicstus_cfli.h | 2 +-
interfaces/Prolog/SICStus/sicstus_cfli.ic | 2 +-
interfaces/Prolog/SICStus/sicstus_efli.cc | 2 +-
interfaces/Prolog/SICStus/sicstus_efli.hh | 2 +-
interfaces/Prolog/SICStus/sp_clpq.pl | 2 +-
interfaces/Prolog/SICStus/sp_pl_check.pl | 2 +-
.../Prolog/SICStus/sp_prolog_generated_test.pl | 2 +-
interfaces/Prolog/SWI/Makefile.am | 2 +-
interfaces/Prolog/SWI/pl_clpq.cc | 2 +-
interfaces/Prolog/SWI/pl_clpq.pl | 2 +-
.../SWI/ppl_interface_generator_swiprolog_cc.m4 | 2 +-
interfaces/Prolog/SWI/ppl_pl.cc | 2 +-
interfaces/Prolog/SWI/ppl_prolog_sysdep.hh | 2 +-
interfaces/Prolog/SWI/ppl_swiprolog.pl | 2 +-
interfaces/Prolog/SWI/swi_cfli.hh | 2 +-
interfaces/Prolog/SWI/swi_efli.cc | 2 +-
interfaces/Prolog/SWI/swi_efli.hh | 2 +-
interfaces/Prolog/SWI/swi_pl_check.pl | 2 +-
interfaces/Prolog/SWI/swi_prolog_generated_test.pl | 2 +-
interfaces/Prolog/XSB/Makefile.am | 2 +-
.../Prolog/XSB/ppl_interface_generator_xsb_H.m4 | 2 +-
.../Prolog/XSB/ppl_interface_generator_xsb_cc.m4 | 2 +-
.../Prolog/XSB/ppl_interface_generator_xsb_hh.m4 | 2 +-
...erface_generator_xsb_prolog_generated_test_P.m4 | 2 +-
interfaces/Prolog/XSB/ppl_prolog_sysdep.hh | 2 +-
interfaces/Prolog/XSB/xsb_cfli.hh | 2 +-
interfaces/Prolog/XSB/xsb_clpq.P | 2 +-
interfaces/Prolog/XSB/xsb_clpq2.P | 2 +-
interfaces/Prolog/XSB/xsb_efli.cc | 2 +-
interfaces/Prolog/XSB/xsb_efli.hh | 2 +-
interfaces/Prolog/XSB/xsb_pl_check.P | 2 +-
interfaces/Prolog/YAP/Makefile.am | 2 +-
.../Prolog/YAP/ppl_interface_generator_yap_cc.m4 | 2 +-
interfaces/Prolog/YAP/ppl_prolog_sysdep.hh | 2 +-
interfaces/Prolog/YAP/ppl_yap.pl | 2 +-
interfaces/Prolog/YAP/yap_cfli.hh | 2 +-
interfaces/Prolog/YAP/yap_clpq.pl | 2 +-
interfaces/Prolog/YAP/yap_clpq2.pl | 2 +-
interfaces/Prolog/YAP/yap_efli.cc | 2 +-
interfaces/Prolog/YAP/yap_efli.hh | 2 +-
interfaces/Prolog/YAP/yap_pl_check.pl | 2 +-
interfaces/Prolog/YAP/yap_prolog_generated_test.pl | 2 +-
.../ppl_interface_generator_prolog_cc_code.m4 | 2 +-
.../ppl_interface_generator_prolog_cc_files.m4 | 2 +-
.../Prolog/ppl_interface_generator_prolog_dox.m4 | 2 +-
.../ppl_interface_generator_prolog_dox_code.m4 | 2 +-
.../ppl_interface_generator_prolog_hh_code.m4 | 2 +-
.../ppl_interface_generator_prolog_hh_files.m4 | 2 +-
...erface_generator_prolog_procedure_generators.m4 | 2 +-
.../ppl_interface_generator_prolog_systems.m4 | 2 +-
interfaces/Prolog/ppl_prolog_common.cc | 2 +-
interfaces/Prolog/ppl_prolog_common.defs.hh | 2 +-
interfaces/Prolog/ppl_prolog_common.inlines.hh | 2 +-
interfaces/Prolog/tests/Makefile.am | 2 +-
interfaces/Prolog/tests/clpq.pl | 4 ++--
interfaces/Prolog/tests/clpq2.pl | 4 ++--
interfaces/Prolog/tests/expected_clpq2_int16 | 2 +-
interfaces/Prolog/tests/expected_clpq2_int16_a | 2 +-
interfaces/Prolog/tests/expected_clpq2_int32 | 2 +-
interfaces/Prolog/tests/expected_clpq2_int32_a | 2 +-
interfaces/Prolog/tests/expected_clpq2_int64 | 2 +-
interfaces/Prolog/tests/expected_clpq2_int64_a | 2 +-
interfaces/Prolog/tests/expected_clpq2_int8 | 2 +-
interfaces/Prolog/tests/expected_clpq2_int8_a | 2 +-
interfaces/Prolog/tests/expected_clpq2_mpz | 2 +-
interfaces/Prolog/tests/expected_clpq2_mpz_a | 2 +-
interfaces/Prolog/tests/expected_clpq_int16 | 2 +-
interfaces/Prolog/tests/expected_clpq_int16_a | 2 +-
interfaces/Prolog/tests/expected_clpq_int32 | 2 +-
interfaces/Prolog/tests/expected_clpq_int32_a | 2 +-
interfaces/Prolog/tests/expected_clpq_int64 | 2 +-
interfaces/Prolog/tests/expected_clpq_int64_a | 2 +-
interfaces/Prolog/tests/expected_clpq_int8 | 2 +-
interfaces/Prolog/tests/expected_clpq_int8_a | 2 +-
interfaces/Prolog/tests/expected_clpq_mpz | 2 +-
interfaces/Prolog/tests/expected_clpq_mpz_a | 2 +-
interfaces/Prolog/tests/pl_check.pl | 2 +-
...interface_generator_prolog_generated_test_pl.m4 | 2 +-
...face_generator_prolog_generated_test_pl_code.m4 | 2 +-
.../tests/ppl_prolog_generated_test_common.pl | 2 +-
interfaces/Python/ppl_py.cc | 2 +-
interfaces/interfaced_boxes.hh | 2 +-
interfaces/marked_pointers.hh | 2 +-
interfaces/ppl_interface_generator_common.m4 | 2 +-
interfaces/ppl_interface_generator_common_dat.m4 | 2 +-
...erface_generator_common_procedure_generators.m4 | 2 +-
interfaces/ppl_interface_generator_copyright | 2 +-
m4/Makefile.am | 2 +-
m4/ac_check_ciao.m4 | 2 +-
m4/ac_check_fpu_control.m4 | 2 +-
m4/ac_check_gmp.m4 | 2 +-
m4/ac_check_sicstus_prolog.m4 | 2 +-
m4/ac_check_swi_prolog.m4 | 2 +-
m4/ac_check_xsb_prolog.m4 | 2 +-
m4/ac_check_yap.m4 | 2 +-
m4/ac_cxx_attribute_weak.m4 | 2 +-
m4/ac_cxx_double_binary_format.m4 | 2 +-
m4/ac_cxx_double_exact_output.m4 | 2 +-
m4/ac_cxx_flexible_arrays.m4 | 2 +-
m4/ac_cxx_float_binary_format.m4 | 2 +-
m4/ac_cxx_float_exact_output.m4 | 2 +-
m4/ac_cxx_ieee_inexact_flag.m4 | 2 +-
m4/ac_cxx_limit_memory.m4 | 2 +-
m4/ac_cxx_long_double_binary_format.m4 | 2 +-
m4/ac_cxx_long_double_exact_output.m4 | 2 +-
m4/ac_cxx_proper_long_double.m4 | 2 +-
m4/ac_cxx_remainder_bug.m4 | 2 +-
m4/ac_prog_jar.m4 | 2 +-
m4/ac_prog_java.m4 | 4 ++--
m4/ac_prog_javac.m4 | 4 ++--
m4/ac_prog_javah.m4 | 2 +-
m4/ac_text_md5sum.m4 | 2 +-
m4/ppl.m4 | 2 +-
m4/ppl_c.m4 | 2 +-
src/Affine_Space.cc | 2 +-
src/Affine_Space.defs.hh | 2 +-
src/Affine_Space.inlines.hh | 2 +-
src/Affine_Space.types.hh | 2 +-
src/Any_Pointset.defs.hh | 2 +-
src/Any_Pointset.inlines.hh | 2 +-
src/Any_Pointset.types.hh | 2 +-
src/Ask_Tell.defs.hh | 2 +-
src/Ask_Tell.inlines.hh | 2 +-
src/Ask_Tell.templates.hh | 2 +-
src/Ask_Tell.types.hh | 2 +-
src/BDS_Status.idefs.hh | 2 +-
src/BDS_Status.inlines.hh | 2 +-
src/BD_Shape.cc | 2 +-
src/BD_Shape.defs.hh | 2 +-
src/BD_Shape.inlines.hh | 2 +-
src/BD_Shape.templates.hh | 2 +-
src/BD_Shape.types.hh | 2 +-
src/BHRZ03_Certificate.cc | 2 +-
src/BHRZ03_Certificate.defs.hh | 2 +-
src/BHRZ03_Certificate.inlines.hh | 2 +-
src/BHRZ03_Certificate.types.hh | 2 +-
src/Bit_Matrix.cc | 2 +-
src/Bit_Matrix.defs.hh | 2 +-
src/Bit_Matrix.inlines.hh | 2 +-
src/Bit_Matrix.types.hh | 2 +-
src/Bit_Row.cc | 2 +-
src/Bit_Row.defs.hh | 2 +-
src/Bit_Row.inlines.hh | 2 +-
src/Bit_Row.types.hh | 2 +-
src/Bool4.defs.hh | 2 +-
src/Boundary.defs.hh | 2 +-
src/Box.cc | 2 +-
src/Box.defs.hh | 2 +-
src/Box.inlines.hh | 2 +-
src/Box.templates.hh | 2 +-
src/Box.types.hh | 2 +-
src/Box_Status.idefs.hh | 2 +-
src/Box_Status.inlines.hh | 2 +-
src/C_Integer.hh | 2 +-
src/C_Polyhedron.cc | 2 +-
src/C_Polyhedron.defs.hh | 2 +-
src/C_Polyhedron.inlines.hh | 2 +-
src/C_Polyhedron.types.hh | 2 +-
src/Checked_Number.cc | 2 +-
src/Checked_Number.defs.hh | 2 +-
src/Checked_Number.inlines.hh | 2 +-
src/Checked_Number.templates.hh | 2 +-
src/Checked_Number.types.hh | 2 +-
src/Circular_Interval.defs.hh | 2 +-
src/Coefficient.cc | 2 +-
src/Coefficient.defs.hh | 2 +-
src/Coefficient.inlines.hh | 2 +-
src/Coefficient.types.hh | 2 +-
src/Coefficient_traits_template.hh | 2 +-
src/Congruence.cc | 2 +-
src/Congruence.defs.hh | 2 +-
src/Congruence.inlines.hh | 2 +-
src/Congruence.types.hh | 2 +-
src/Congruence_System.cc | 2 +-
src/Congruence_System.defs.hh | 2 +-
src/Congruence_System.inlines.hh | 2 +-
src/Congruence_System.types.hh | 2 +-
src/Constant_Floating_Point_Expression.defs.hh | 2 +-
src/Constant_Floating_Point_Expression.inlines.hh | 2 +-
src/Constant_Floating_Point_Expression.types.hh | 2 +-
src/Constraint.cc | 2 +-
src/Constraint.defs.hh | 2 +-
src/Constraint.inlines.hh | 2 +-
src/Constraint.types.hh | 2 +-
src/Constraint_System.cc | 2 +-
src/Constraint_System.defs.hh | 2 +-
src/Constraint_System.inlines.hh | 2 +-
src/Constraint_System.types.hh | 2 +-
src/DB_Matrix.defs.hh | 2 +-
src/DB_Matrix.inlines.hh | 2 +-
src/DB_Matrix.templates.hh | 2 +-
src/DB_Matrix.types.hh | 2 +-
src/DB_Row.defs.hh | 2 +-
src/DB_Row.inlines.hh | 2 +-
src/DB_Row.templates.hh | 2 +-
src/DB_Row.types.hh | 2 +-
src/Determinate.defs.hh | 2 +-
src/Determinate.inlines.hh | 2 +-
src/Determinate.types.hh | 2 +-
src/Difference_Floating_Point_Expression.defs.hh | 2 +-
...Difference_Floating_Point_Expression.inlines.hh | 2 +-
...fference_Floating_Point_Expression.templates.hh | 2 +-
src/Difference_Floating_Point_Expression.types.hh | 2 +-
src/Division_Floating_Point_Expression.defs.hh | 2 +-
src/Division_Floating_Point_Expression.inlines.hh | 2 +-
...Division_Floating_Point_Expression.templates.hh | 2 +-
src/Division_Floating_Point_Expression.types.hh | 2 +-
src/Float.cc | 2 +-
src/Float.defs.hh | 2 +-
src/Float.inlines.hh | 2 +-
src/Floating_Point_Expression.defs.hh | 2 +-
src/Floating_Point_Expression.inlines.hh | 2 +-
src/Floating_Point_Expression.templates.hh | 2 +-
src/Floating_Point_Expression.types.hh | 2 +-
src/GMP_Integer.defs.hh | 2 +-
src/GMP_Integer.inlines.hh | 2 +-
src/GMP_Integer.types.hh | 2 +-
src/Generator.cc | 2 +-
src/Generator.defs.hh | 2 +-
src/Generator.inlines.hh | 2 +-
src/Generator.types.hh | 2 +-
src/Generator_System.cc | 2 +-
src/Generator_System.defs.hh | 2 +-
src/Generator_System.inlines.hh | 2 +-
src/Generator_System.types.hh | 2 +-
src/Grid.defs.hh | 2 +-
src/Grid.inlines.hh | 2 +-
src/Grid.templates.hh | 2 +-
src/Grid.types.hh | 2 +-
src/Grid_Certificate.cc | 2 +-
src/Grid_Certificate.defs.hh | 2 +-
src/Grid_Certificate.inlines.hh | 2 +-
src/Grid_Certificate.types.hh | 2 +-
src/Grid_Generator.cc | 2 +-
src/Grid_Generator.defs.hh | 2 +-
src/Grid_Generator.inlines.hh | 2 +-
src/Grid_Generator.types.hh | 2 +-
src/Grid_Generator_System.cc | 2 +-
src/Grid_Generator_System.defs.hh | 2 +-
src/Grid_Generator_System.inlines.hh | 2 +-
src/Grid_Generator_System.types.hh | 2 +-
src/Grid_Status.cc | 2 +-
src/Grid_Status.idefs.hh | 2 +-
src/Grid_Status.inlines.hh | 2 +-
src/Grid_chdims.cc | 2 +-
src/Grid_conversion.cc | 2 +-
src/Grid_nonpublic.cc | 2 +-
src/Grid_public.cc | 2 +-
src/Grid_simplify.cc | 2 +-
src/Grid_widenings.cc | 2 +-
src/H79_Certificate.cc | 2 +-
src/H79_Certificate.defs.hh | 2 +-
src/H79_Certificate.inlines.hh | 2 +-
src/H79_Certificate.types.hh | 2 +-
src/Has_Assign_Or_Swap.hh | 2 +-
src/Init.cc | 2 +-
src/Init.defs.hh | 2 +-
src/Init.inlines.hh | 2 +-
src/Init.types.hh | 2 +-
src/Interval.defs.hh | 2 +-
src/Interval.inlines.hh | 2 +-
src/Interval.templates.hh | 2 +-
src/Interval.types.hh | 2 +-
src/Interval_Info.defs.hh | 2 +-
src/Interval_Info.inlines.hh | 2 +-
src/Interval_Info.types.hh | 2 +-
src/Interval_Restriction.defs.hh | 2 +-
src/Linear_Expression.cc | 2 +-
src/Linear_Expression.defs.hh | 2 +-
src/Linear_Expression.inlines.hh | 2 +-
src/Linear_Expression.types.hh | 2 +-
src/Linear_Form.cc | 2 +-
src/Linear_Form.defs.hh | 2 +-
src/Linear_Form.inlines.hh | 2 +-
src/Linear_Form.templates.hh | 2 +-
src/Linear_Form.types.hh | 2 +-
src/Linear_Row.cc | 2 +-
src/Linear_Row.defs.hh | 2 +-
src/Linear_Row.inlines.hh | 2 +-
src/Linear_Row.types.hh | 2 +-
src/Linear_System.cc | 2 +-
src/Linear_System.defs.hh | 2 +-
src/Linear_System.inlines.hh | 2 +-
src/Linear_System.types.hh | 2 +-
src/MIP_Problem.cc | 2 +-
src/MIP_Problem.defs.hh | 2 +-
src/MIP_Problem.inlines.hh | 2 +-
src/MIP_Problem.templates.hh | 2 +-
src/MIP_Problem.types.hh | 2 +-
src/Makefile.am | 2 +-
src/Matrix.cc | 2 +-
src/Matrix.defs.hh | 2 +-
src/Matrix.inlines.hh | 2 +-
src/Matrix.types.hh | 2 +-
...ultiplication_Floating_Point_Expression.defs.hh | 2 +-
...iplication_Floating_Point_Expression.inlines.hh | 2 +-
...lication_Floating_Point_Expression.templates.hh | 2 +-
...ltiplication_Floating_Point_Expression.types.hh | 2 +-
src/NNC_Polyhedron.cc | 2 +-
src/NNC_Polyhedron.defs.hh | 2 +-
src/NNC_Polyhedron.inlines.hh | 2 +-
src/NNC_Polyhedron.types.hh | 2 +-
src/Numeric_Format.defs.hh | 2 +-
src/OR_Matrix.defs.hh | 2 +-
src/OR_Matrix.inlines.hh | 2 +-
src/OR_Matrix.templates.hh | 2 +-
src/OR_Matrix.types.hh | 2 +-
src/Octagonal_Shape.cc | 2 +-
src/Octagonal_Shape.defs.hh | 2 +-
src/Octagonal_Shape.inlines.hh | 2 +-
src/Octagonal_Shape.templates.hh | 2 +-
src/Octagonal_Shape.types.hh | 2 +-
src/Og_Status.idefs.hh | 2 +-
src/Og_Status.inlines.hh | 2 +-
src/Opposite_Floating_Point_Expression.defs.hh | 2 +-
src/Opposite_Floating_Point_Expression.inlines.hh | 2 +-
src/Opposite_Floating_Point_Expression.types.hh | 2 +-
src/Partially_Reduced_Product.defs.hh | 2 +-
src/Partially_Reduced_Product.inlines.hh | 2 +-
src/Partially_Reduced_Product.templates.hh | 2 +-
src/Partially_Reduced_Product.types.hh | 2 +-
src/Ph_Status.cc | 2 +-
src/Ph_Status.idefs.hh | 2 +-
src/Ph_Status.inlines.hh | 2 +-
src/Pointset_Ask_Tell.cc | 2 +-
src/Pointset_Ask_Tell.defs.hh | 2 +-
src/Pointset_Ask_Tell.inlines.hh | 2 +-
src/Pointset_Ask_Tell.templates.hh | 2 +-
src/Pointset_Ask_Tell.types.hh | 2 +-
src/Pointset_Powerset.cc | 2 +-
src/Pointset_Powerset.defs.hh | 2 +-
src/Pointset_Powerset.inlines.hh | 2 +-
src/Pointset_Powerset.templates.hh | 2 +-
src/Pointset_Powerset.types.hh | 2 +-
src/Poly_Con_Relation.cc | 2 +-
src/Poly_Con_Relation.defs.hh | 2 +-
src/Poly_Con_Relation.inlines.hh | 2 +-
src/Poly_Con_Relation.types.hh | 2 +-
src/Poly_Gen_Relation.cc | 2 +-
src/Poly_Gen_Relation.defs.hh | 2 +-
src/Poly_Gen_Relation.inlines.hh | 2 +-
src/Poly_Gen_Relation.types.hh | 2 +-
src/Polyhedron.defs.hh | 2 +-
src/Polyhedron.inlines.hh | 2 +-
src/Polyhedron.templates.hh | 2 +-
src/Polyhedron.types.hh | 2 +-
src/Polyhedron_chdims.cc | 2 +-
src/Polyhedron_nonpublic.cc | 2 +-
src/Polyhedron_public.cc | 2 +-
src/Polyhedron_widenings.cc | 2 +-
src/Powerset.defs.hh | 2 +-
src/Powerset.inlines.hh | 2 +-
src/Powerset.templates.hh | 2 +-
src/Powerset.types.hh | 2 +-
src/Ptr_Iterator.defs.hh | 2 +-
src/Ptr_Iterator.inlines.hh | 2 +-
src/Ptr_Iterator.types.hh | 2 +-
src/Rational_Box.hh | 2 +-
src/Rational_Interval.hh | 2 +-
src/Result.defs.hh | 2 +-
src/Result.inlines.hh | 2 +-
src/Rounding_Dir.defs.hh | 2 +-
src/Rounding_Dir.inlines.hh | 2 +-
src/Row.cc | 2 +-
src/Row.defs.hh | 2 +-
src/Row.inlines.hh | 2 +-
src/Row.types.hh | 2 +-
src/Scalar_Products.cc | 2 +-
src/Scalar_Products.defs.hh | 2 +-
src/Scalar_Products.inlines.hh | 2 +-
src/Scalar_Products.types.hh | 2 +-
src/Slow_Copy.hh | 2 +-
src/Sum_Floating_Point_Expression.defs.hh | 2 +-
src/Sum_Floating_Point_Expression.inlines.hh | 2 +-
src/Sum_Floating_Point_Expression.templates.hh | 2 +-
src/Sum_Floating_Point_Expression.types.hh | 2 +-
src/Temp.defs.hh | 2 +-
src/Temp.inlines.hh | 2 +-
src/Temp.templates.hh | 2 +-
src/Topology.hh | 2 +-
src/Variable.cc | 2 +-
src/Variable.defs.hh | 2 +-
src/Variable.inlines.hh | 2 +-
src/Variable.types.hh | 2 +-
src/Variable_Floating_Point_Expression.defs.hh | 2 +-
src/Variable_Floating_Point_Expression.inlines.hh | 2 +-
src/Variable_Floating_Point_Expression.types.hh | 2 +-
src/Variables_Set.cc | 2 +-
src/Variables_Set.defs.hh | 2 +-
src/Variables_Set.inlines.hh | 2 +-
src/Variables_Set.types.hh | 2 +-
src/WRD_coefficient_types.defs.hh | 2 +-
src/WRD_coefficient_types.inlines.hh | 2 +-
src/Weight_Profiler.cc | 2 +-
src/Weight_Profiler.defs.hh | 2 +-
src/Widening_Function.defs.hh | 2 +-
src/Widening_Function.inlines.hh | 2 +-
src/Widening_Function.types.hh | 2 +-
src/algorithms.hh | 2 +-
src/assert.hh | 2 +-
src/assign_or_swap.hh | 2 +-
src/c_streambuf.cc | 2 +-
src/c_streambuf.defs.hh | 2 +-
src/c_streambuf.inlines.hh | 2 +-
src/c_streambuf.types.hh | 2 +-
src/checked.cc | 2 +-
src/checked.defs.hh | 2 +-
src/checked.inlines.hh | 2 +-
src/checked_ext.defs.hh | 2 +-
src/checked_ext.inlines.hh | 2 +-
src/checked_float.inlines.hh | 2 +-
src/checked_int.inlines.hh | 2 +-
src/checked_mpq.inlines.hh | 2 +-
src/checked_mpz.inlines.hh | 2 +-
src/checked_numeric_limits.hh | 2 +-
src/compiler.hh | 2 +-
src/conversion.cc | 2 +-
src/distances.defs.hh | 2 +-
src/distances.inlines.hh | 2 +-
src/distances.types.hh | 2 +-
src/fpu-c99.inlines.hh | 2 +-
src/fpu-ia32.cc | 2 +-
src/fpu-ia32.inlines.hh | 2 +-
src/fpu-none.inlines.hh | 2 +-
src/fpu-sparc.inlines.hh | 2 +-
src/fpu.defs.hh | 2 +-
src/fpu.types.hh | 2 +-
src/globals.cc | 2 +-
src/globals.defs.hh | 2 +-
src/globals.inlines.hh | 2 +-
src/globals.types.hh | 2 +-
src/initializer.hh | 2 +-
src/intervals.defs.hh | 2 +-
src/iterator_to_const.defs.hh | 2 +-
src/iterator_to_const.inlines.hh | 2 +-
src/iterator_to_const.types.hh | 2 +-
src/math_utilities.defs.hh | 2 +-
src/math_utilities.inlines.hh | 2 +-
src/max_space_dimension.hh | 2 +-
src/meta_programming.hh | 2 +-
src/minimize.cc | 2 +-
src/mp_std_bits.cc | 2 +-
src/mp_std_bits.defs.hh | 2 +-
src/mp_std_bits.inlines.hh | 2 +-
src/namespaces.hh | 2 +-
src/ppl-config.cc.in | 2 +-
src/ppl_header.hh | 2 +-
src/simplify.cc | 2 +-
src/stdiobuf.cc | 2 +-
src/stdiobuf.defs.hh | 2 +-
src/stdiobuf.inlines.hh | 2 +-
src/stdiobuf.types.hh | 2 +-
src/swapping_sort.icc | 2 +-
src/version.cc | 4 ++--
src/version.hh.in | 2 +-
src/wrap_assign.hh | 2 +-
src/wrap_string.cc | 2 +-
src/wrap_string.hh | 2 +-
tests/Ask_Tell/Makefile.am | 2 +-
tests/Ask_Tell/append1.cc | 2 +-
tests/BD_Shape/Makefile.am | 2 +-
tests/BD_Shape/addconstraints1.cc | 2 +-
tests/BD_Shape/addspacedims1.cc | 2 +-
tests/BD_Shape/affinedimension1.cc | 2 +-
tests/BD_Shape/affineimage1.cc | 2 +-
tests/BD_Shape/affineimage2.cc | 2 +-
tests/BD_Shape/affinepreimage1.cc | 2 +-
tests/BD_Shape/ascii_dump_load1.cc | 2 +-
tests/BD_Shape/bgp99extrapolation1.cc | 2 +-
tests/BD_Shape/bhmz05widening1.cc | 2 +-
tests/BD_Shape/bhz03widening1.cc | 2 +-
tests/BD_Shape/bounded1.cc | 2 +-
tests/BD_Shape/boundedaffineimage1.cc | 2 +-
tests/BD_Shape/boundedaffinepreimage1.cc | 2 +-
tests/BD_Shape/bounds1.cc | 2 +-
tests/BD_Shape/cc76extrapolation1.cc | 2 +-
tests/BD_Shape/cc76narrowing1.cc | 2 +-
tests/BD_Shape/closure1.cc | 2 +-
tests/BD_Shape/concatenate1.cc | 2 +-
tests/BD_Shape/congruences1.cc | 2 +-
tests/BD_Shape/constrains1.cc | 2 +-
tests/BD_Shape/constraints1.cc | 2 +-
tests/BD_Shape/contains1.cc | 2 +-
tests/BD_Shape/containsintegerpoint1.cc | 2 +-
tests/BD_Shape/difference1.cc | 2 +-
tests/BD_Shape/discrete1.cc | 2 +-
tests/BD_Shape/disjoint1.cc | 2 +-
tests/BD_Shape/empty1.cc | 2 +-
tests/BD_Shape/equality1.cc | 2 +-
tests/BD_Shape/expandspacedim1.cc | 2 +-
tests/BD_Shape/foldspacedims1.cc | 2 +-
tests/BD_Shape/frombdshape1.cc | 2 +-
tests/BD_Shape/frombox1.cc | 2 +-
tests/BD_Shape/fromgensys1.cc | 2 +-
tests/BD_Shape/fromgrid1.cc | 2 +-
tests/BD_Shape/fromoctagonalshape1.cc | 2 +-
tests/BD_Shape/frompolyhedron1.cc | 2 +-
tests/BD_Shape/fromspacedim1.cc | 2 +-
tests/BD_Shape/generalizedaffineimage1.cc | 2 +-
tests/BD_Shape/generalizedaffineimage2.cc | 2 +-
tests/BD_Shape/generalizedaffinepreimage1.cc | 2 +-
tests/BD_Shape/generalizedaffinepreimage2.cc | 2 +-
tests/BD_Shape/generalizedaffinepreimage3.cc | 2 +-
tests/BD_Shape/geomcovers1.cc | 2 +-
tests/BD_Shape/h79widening1.cc | 2 +-
tests/BD_Shape/integerupperboundifexact1.cc | 2 +-
tests/BD_Shape/intersection1.cc | 2 +-
tests/BD_Shape/limitedbhmz05extrapolation1.cc | 2 +-
tests/BD_Shape/limitedcc76extrapolation1.cc | 2 +-
tests/BD_Shape/limitedh79extrapolation1.cc | 2 +-
tests/BD_Shape/mapspacedims1.cc | 2 +-
tests/BD_Shape/max_min1.cc | 2 +-
tests/BD_Shape/max_min2.cc | 2 +-
tests/BD_Shape/maxspacedim1.cc | 2 +-
tests/BD_Shape/membytes1.cc | 2 +-
tests/BD_Shape/minconstraints1.cc | 2 +-
tests/BD_Shape/relations1.cc | 2 +-
tests/BD_Shape/relations2.cc | 2 +-
tests/BD_Shape/relations3.cc | 2 +-
tests/BD_Shape/relations4.cc | 2 +-
tests/BD_Shape/removespacedims1.cc | 2 +-
tests/BD_Shape/run_tests | 2 +-
tests/BD_Shape/simplifyusingcontext1.cc | 2 +-
tests/BD_Shape/timeelapse1.cc | 2 +-
tests/BD_Shape/unconstrain1.cc | 2 +-
tests/BD_Shape/universe1.cc | 2 +-
tests/BD_Shape/upperbound1.cc | 2 +-
tests/BD_Shape/upperboundifexact1.cc | 2 +-
tests/BD_Shape/wrap1.cc | 2 +-
tests/BD_Shape/writebdshape1.cc | 2 +-
tests/Box/Makefile.am | 2 +-
tests/Box/addconstraints1.cc | 2 +-
tests/Box/addspacedims1.cc | 2 +-
tests/Box/affinedimension1.cc | 2 +-
tests/Box/affineimage1.cc | 2 +-
tests/Box/affinepreimage1.cc | 2 +-
tests/Box/ascii_dump_load1.cc | 2 +-
tests/Box/bgp99extrapolation1.cc | 2 +-
tests/Box/bhz03widening1.cc | 2 +-
tests/Box/bounded1.cc | 2 +-
tests/Box/boundedaffineimage1.cc | 2 +-
tests/Box/boundedaffinepreimage1.cc | 2 +-
tests/Box/cc76narrowing1.cc | 2 +-
tests/Box/cc76widening.cc | 2 +-
tests/Box/concatenate1.cc | 2 +-
tests/Box/congruences1.cc | 2 +-
tests/Box/constrains1.cc | 2 +-
tests/Box/constraints1.cc | 2 +-
tests/Box/contains1.cc | 2 +-
tests/Box/containsintegerpoint1.cc | 2 +-
tests/Box/difference1.cc | 2 +-
tests/Box/discrete1.cc | 2 +-
tests/Box/disjoint1.cc | 2 +-
tests/Box/empty1.cc | 2 +-
tests/Box/equality1.cc | 2 +-
tests/Box/expandspacedim1.cc | 2 +-
tests/Box/foldspacedims1.cc | 2 +-
tests/Box/frombdshape1.cc | 2 +-
tests/Box/frombox1.cc | 2 +-
tests/Box/fromgensys1.cc | 2 +-
tests/Box/fromgrid1.cc | 2 +-
tests/Box/frompartiallyreducedproduct1.cc | 2 +-
tests/Box/frompolyhedron1.cc | 2 +-
tests/Box/frompolyhedron2.cc | 2 +-
tests/Box/fromspacedim1.cc | 2 +-
tests/Box/generalizedaffineimage1.cc | 2 +-
tests/Box/generalizedaffineimage2.cc | 2 +-
tests/Box/generalizedaffinepreimage1.cc | 2 +-
tests/Box/geomcovers1.cc | 2 +-
tests/Box/intersection1.cc | 2 +-
tests/Box/interval1.cc | 2 +-
tests/Box/limitedcc76extrapolation1.cc | 2 +-
tests/Box/mapspacedims1.cc | 2 +-
tests/Box/max_min1.cc | 2 +-
tests/Box/maxspacedim1.cc | 2 +-
tests/Box/membytes1.cc | 2 +-
tests/Box/minconstraints1.cc | 2 +-
tests/Box/propagateconstraints1.cc | 2 +-
tests/Box/propagateconstraints2.cc | 2 +-
tests/Box/refinewithcongruence1.cc | 2 +-
tests/Box/refinewithcongruences1.cc | 2 +-
tests/Box/refinewithconstraint1.cc | 2 +-
tests/Box/refinewithconstraint2.cc | 2 +-
tests/Box/refinewithconstraints1.cc | 2 +-
tests/Box/refinewithconstraints2.cc | 2 +-
tests/Box/relations1.cc | 2 +-
tests/Box/relations2.cc | 2 +-
tests/Box/relations3.cc | 2 +-
tests/Box/relations4.cc | 2 +-
tests/Box/removespacedims1.cc | 2 +-
tests/Box/run_tests | 2 +-
tests/Box/simplifyusingcontext1.cc | 2 +-
tests/Box/timeelapse1.cc | 2 +-
tests/Box/topclosed1.cc | 2 +-
tests/Box/unconstrain1.cc | 2 +-
tests/Box/universe1.cc | 2 +-
tests/Box/upperbound1.cc | 2 +-
tests/Box/upperboundifexact1.cc | 2 +-
tests/Box/wrap1.cc | 2 +-
tests/Box/writebox1.cc | 2 +-
tests/Floating_Point_Expression/Makefile.am | 2 +-
tests/Floating_Point_Expression/bdshape1.cc | 2 +-
tests/Floating_Point_Expression/bdshape2.cc | 2 +-
tests/Floating_Point_Expression/digitalfilters1.cc | 2 +-
.../floatingpointexpr1.cc | 2 +-
tests/Floating_Point_Expression/linearform1.cc | 2 +-
tests/Floating_Point_Expression/octagonalshape1.cc | 2 +-
tests/Floating_Point_Expression/octagonalshape2.cc | 2 +-
tests/Floating_Point_Expression/polyhedron1.cc | 2 +-
tests/Floating_Point_Expression/polyhedron2.cc | 2 +-
tests/Floating_Point_Expression/run_tests | 2 +-
tests/Grid/Makefile.am | 2 +-
tests/Grid/addcongruence1.cc | 2 +-
tests/Grid/addcongruences1.cc | 2 +-
tests/Grid/addconstraint1.cc | 2 +-
tests/Grid/addconstraints1.cc | 2 +-
tests/Grid/addgenerator1.cc | 2 +-
tests/Grid/addgenerators1.cc | 2 +-
tests/Grid/addspacedims1.cc | 2 +-
tests/Grid/affinedim1.cc | 2 +-
tests/Grid/affineimage1.cc | 2 +-
tests/Grid/affineimage2.cc | 2 +-
tests/Grid/affinepreimage1.cc | 2 +-
tests/Grid/affinepreimage2.cc | 2 +-
tests/Grid/approximatepartition1.cc | 2 +-
tests/Grid/asciidumpload1.cc | 2 +-
tests/Grid/asciidumpload2.cc | 2 +-
tests/Grid/asciidumpload3.cc | 2 +-
tests/Grid/asciidumpload4.cc | 2 +-
tests/Grid/asciidumpload5.cc | 2 +-
tests/Grid/asciidumpload6.cc | 2 +-
tests/Grid/bhz03widening1.cc | 2 +-
tests/Grid/bounded1.cc | 2 +-
tests/Grid/boundedaffineimage1.cc | 2 +-
tests/Grid/boundedaffinepreimage1.cc | 2 +-
tests/Grid/boundingbox1.cc | 2 +-
tests/Grid/bounds1.cc | 2 +-
tests/Grid/certificate1.cc | 2 +-
tests/Grid/concatenate1.cc | 2 +-
tests/Grid/congruence1.cc | 2 +-
tests/Grid/congruences1.cc | 2 +-
tests/Grid/congruences2.cc | 2 +-
tests/Grid/constraints1.cc | 2 +-
tests/Grid/contains1.cc | 2 +-
tests/Grid/containsintegerpoint1.cc | 2 +-
tests/Grid/discrete1.cc | 2 +-
tests/Grid/disjoint1.cc | 2 +-
tests/Grid/equals1.cc | 2 +-
tests/Grid/expandspacedim1.cc | 2 +-
tests/Grid/foldspacedims1.cc | 2 +-
tests/Grid/frombdshape1.cc | 2 +-
tests/Grid/frombox1.cc | 2 +-
tests/Grid/fromgrid1.cc | 2 +-
tests/Grid/fromoctagonalshape1.cc | 2 +-
tests/Grid/frompolyhedron1.cc | 2 +-
tests/Grid/generalizedaffineimage1.cc | 2 +-
tests/Grid/generalizedaffineimage2.cc | 2 +-
tests/Grid/generalizedaffineimage3.cc | 2 +-
tests/Grid/generalizedaffinepreimage1.cc | 2 +-
tests/Grid/generalizedaffinepreimage2.cc | 2 +-
tests/Grid/generalizedaffinepreimage3.cc | 2 +-
tests/Grid/generator1.cc | 2 +-
tests/Grid/generators1.cc | 2 +-
tests/Grid/generators2.cc | 2 +-
tests/Grid/grid1.cc | 2 +-
tests/Grid/grid2.cc | 2 +-
tests/Grid/grid3.cc | 2 +-
tests/Grid/griddifference1.cc | 2 +-
tests/Grid/intersection1.cc | 2 +-
tests/Grid/isempty1.cc | 2 +-
tests/Grid/isuniverse1.cc | 2 +-
tests/Grid/limitedextrapolation1.cc | 2 +-
tests/Grid/limitedextrapolation2.cc | 2 +-
tests/Grid/limitedextrapolation3.cc | 2 +-
tests/Grid/mapspacedims1.cc | 2 +-
tests/Grid/maxmin1.cc | 2 +-
tests/Grid/membytes1.cc | 2 +-
tests/Grid/mincongruences1.cc | 2 +-
tests/Grid/mingenerators1.cc | 2 +-
tests/Grid/outputoperator1.cc | 2 +-
tests/Grid/outputoperator2.cc | 2 +-
tests/Grid/outputoperator3.cc | 2 +-
tests/Grid/partition1.cc | 2 +-
tests/Grid/powersetdifference1.cc | 2 +-
tests/Grid/powersetgeometricallycovers1.cc | 2 +-
tests/Grid/powersetgeometricallyequals1.cc | 2 +-
tests/Grid/refinewithcongruences1.cc | 2 +-
tests/Grid/refinewithconstraints1.cc | 2 +-
tests/Grid/relations1.cc | 2 +-
tests/Grid/relations2.cc | 2 +-
tests/Grid/relations3.cc | 2 +-
tests/Grid/removespacedims1.cc | 2 +-
tests/Grid/removespacedims2.cc | 2 +-
tests/Grid/simplifyusingcontext1.cc | 2 +-
tests/Grid/timeelapse1.cc | 2 +-
tests/Grid/topclosed1.cc | 2 +-
tests/Grid/topclosure1.cc | 2 +-
tests/Grid/unconstrain1.cc | 2 +-
tests/Grid/upperbound1.cc | 2 +-
tests/Grid/upperbound2.cc | 2 +-
tests/Grid/widening1.cc | 2 +-
tests/Grid/widening2.cc | 2 +-
tests/Grid/widening3.cc | 2 +-
tests/Grid/wrap1.cc | 2 +-
tests/Grid/writecongruencesystem.cc | 2 +-
tests/MIP_Problem/Makefile.am | 2 +-
tests/MIP_Problem/ascii_dump_load1.cc | 2 +-
tests/MIP_Problem/exceptions1.cc | 2 +-
tests/MIP_Problem/mipproblem1.cc | 2 +-
tests/MIP_Problem/mipproblem2.cc | 2 +-
tests/MIP_Problem/mipproblem3.cc | 2 +-
tests/Makefile.am | 2 +-
tests/Octagonal_Shape/Makefile.am | 2 +-
tests/Octagonal_Shape/addspacedims1.cc | 2 +-
tests/Octagonal_Shape/affinedimension1.cc | 2 +-
tests/Octagonal_Shape/affineimage1.cc | 2 +-
tests/Octagonal_Shape/affineimage2.cc | 2 +-
tests/Octagonal_Shape/affinepreimage1.cc | 2 +-
tests/Octagonal_Shape/affinepreimage2.cc | 2 +-
tests/Octagonal_Shape/ascii_dump_load1.cc | 2 +-
tests/Octagonal_Shape/bhmz05widening1.cc | 2 +-
tests/Octagonal_Shape/bhz03widening1.cc | 2 +-
tests/Octagonal_Shape/bounded1.cc | 2 +-
tests/Octagonal_Shape/boundedaffineimage1.cc | 2 +-
tests/Octagonal_Shape/boundedaffinepreimage1.cc | 2 +-
tests/Octagonal_Shape/bounds1.cc | 2 +-
tests/Octagonal_Shape/cc76extrapolation1.cc | 2 +-
tests/Octagonal_Shape/cc76narrowing1.cc | 2 +-
tests/Octagonal_Shape/chinainit.cc | 2 +-
tests/Octagonal_Shape/concatenate1.cc | 2 +-
tests/Octagonal_Shape/congruences1.cc | 2 +-
tests/Octagonal_Shape/constrains1.cc | 2 +-
tests/Octagonal_Shape/constraints1.cc | 2 +-
tests/Octagonal_Shape/contains1.cc | 2 +-
tests/Octagonal_Shape/containsintegerpoint1.cc | 2 +-
tests/Octagonal_Shape/difference1.cc | 2 +-
tests/Octagonal_Shape/discrete1.cc | 2 +-
tests/Octagonal_Shape/disjoint1.cc | 2 +-
tests/Octagonal_Shape/empty1.cc | 2 +-
tests/Octagonal_Shape/expandspacedim1.cc | 2 +-
tests/Octagonal_Shape/foldspacedims1.cc | 2 +-
tests/Octagonal_Shape/frombdshape1.cc | 2 +-
tests/Octagonal_Shape/frombox1.cc | 2 +-
tests/Octagonal_Shape/fromgensys1.cc | 2 +-
tests/Octagonal_Shape/fromgrid1.cc | 2 +-
tests/Octagonal_Shape/fromoctagonalshape1.cc | 2 +-
tests/Octagonal_Shape/frompolyhedron1.cc | 2 +-
tests/Octagonal_Shape/fromspacedim1.cc | 2 +-
tests/Octagonal_Shape/generalizedaffineimage1.cc | 2 +-
tests/Octagonal_Shape/generalizedaffineimage2.cc | 2 +-
tests/Octagonal_Shape/generalizedaffineimage3.cc | 2 +-
tests/Octagonal_Shape/generalizedaffineimage4.cc | 2 +-
tests/Octagonal_Shape/generalizedaffineimage5.cc | 2 +-
.../Octagonal_Shape/generalizedaffinepreimage1.cc | 2 +-
.../Octagonal_Shape/generalizedaffinepreimage2.cc | 2 +-
.../Octagonal_Shape/generalizedaffinepreimage3.cc | 2 +-
.../Octagonal_Shape/generalizedaffinepreimage4.cc | 2 +-
tests/Octagonal_Shape/integerupperboundifexact1.cc | 2 +-
tests/Octagonal_Shape/intersection1.cc | 2 +-
.../Octagonal_Shape/limitedbhmz05extrapolation1.cc | 2 +-
tests/Octagonal_Shape/limitedcc76extrapolation1.cc | 2 +-
tests/Octagonal_Shape/mapspacedims1.cc | 2 +-
tests/Octagonal_Shape/max_min1.cc | 2 +-
tests/Octagonal_Shape/max_min2.cc | 2 +-
tests/Octagonal_Shape/maxspacedim1.cc | 2 +-
tests/Octagonal_Shape/membytes1.cc | 2 +-
tests/Octagonal_Shape/minconstraints1.cc | 2 +-
tests/Octagonal_Shape/relatwithcons1.cc | 2 +-
tests/Octagonal_Shape/relatwithcons2.cc | 2 +-
tests/Octagonal_Shape/relatwithcons3.cc | 2 +-
tests/Octagonal_Shape/relatwithgen1.cc | 2 +-
tests/Octagonal_Shape/removespacedims1.cc | 2 +-
tests/Octagonal_Shape/run_tests | 2 +-
tests/Octagonal_Shape/simplifyusingcontext1.cc | 2 +-
tests/Octagonal_Shape/timeelapse1.cc | 2 +-
tests/Octagonal_Shape/unconstrain1.cc | 2 +-
tests/Octagonal_Shape/universe1.cc | 2 +-
tests/Octagonal_Shape/upperbound1.cc | 2 +-
tests/Octagonal_Shape/upperboundifexact1.cc | 2 +-
tests/Octagonal_Shape/wrap1.cc | 2 +-
tests/Octagonal_Shape/writeoctagon1.cc | 2 +-
tests/Partial_Function.cc | 2 +-
tests/Partial_Function.defs.hh | 2 +-
tests/Partial_Function.inlines.hh | 2 +-
tests/Partial_Function.types.hh | 2 +-
tests/Partially_Reduced_Product/Makefile.am | 2 +-
tests/Partially_Reduced_Product/asciidumpload1.cc | 2 +-
tests/Partially_Reduced_Product/directproduct1.cc | 2 +-
tests/Partially_Reduced_Product/directproduct2.cc | 2 +-
tests/Partially_Reduced_Product/directproduct3.cc | 2 +-
tests/Partially_Reduced_Product/directproduct4.cc | 2 +-
tests/Partially_Reduced_Product/directproduct5.cc | 2 +-
tests/Partially_Reduced_Product/directproduct6.cc | 2 +-
.../partiallyreducedproduct1.cc | 2 +-
.../partiallyreducedproduct2.cc | 2 +-
.../partiallyreducedproduct3.cc | 2 +-
.../partiallyreducedproduct4.cc | 2 +-
tests/Polyhedron/Makefile.am | 2 +-
tests/Polyhedron/addcongruence1.cc | 2 +-
tests/Polyhedron/addcongruences1.cc | 2 +-
tests/Polyhedron/addconstraint1.cc | 2 +-
tests/Polyhedron/addconstraints1.cc | 2 +-
tests/Polyhedron/addconstraints2.cc | 2 +-
tests/Polyhedron/addgenerator1.cc | 2 +-
tests/Polyhedron/addgenerator2.cc | 2 +-
tests/Polyhedron/addgenerators1.cc | 2 +-
tests/Polyhedron/addgenerators2.cc | 2 +-
tests/Polyhedron/addspacedims1.cc | 2 +-
tests/Polyhedron/addspacedims2.cc | 2 +-
tests/Polyhedron/affineimage1.cc | 2 +-
tests/Polyhedron/affineimage2.cc | 2 +-
tests/Polyhedron/affinepreimage1.cc | 2 +-
tests/Polyhedron/affinetrans.cc | 2 +-
tests/Polyhedron/append1.cc | 2 +-
tests/Polyhedron/append2.cc | 2 +-
tests/Polyhedron/ascii_dump_load1.cc | 2 +-
tests/Polyhedron/ascii_dump_load2.cc | 2 +-
tests/Polyhedron/ascii_dump_load3.cc | 2 +-
tests/Polyhedron/bgp99extrapolation1.cc | 2 +-
tests/Polyhedron/bgp99extrapolation2.cc | 2 +-
tests/Polyhedron/bhrz03widening1.cc | 2 +-
tests/Polyhedron/bhrz03widening2.cc | 2 +-
tests/Polyhedron/bhrz03widening3.cc | 2 +-
tests/Polyhedron/bhz03widening1.cc | 2 +-
tests/Polyhedron/bounded1.cc | 2 +-
tests/Polyhedron/boundedaffineimage1.cc | 2 +-
tests/Polyhedron/boundedaffinepreimage1.cc | 2 +-
tests/Polyhedron/boundedbhrz03extrapolation1.cc | 2 +-
tests/Polyhedron/boundedh79extrapolation1.cc | 2 +-
tests/Polyhedron/bounds1.cc | 2 +-
tests/Polyhedron/cnncconversion1.cc | 2 +-
tests/Polyhedron/concatenate1.cc | 2 +-
tests/Polyhedron/congruences1.cc | 2 +-
tests/Polyhedron/constrains1.cc | 2 +-
tests/Polyhedron/constraints1.cc | 2 +-
tests/Polyhedron/contains1.cc | 2 +-
tests/Polyhedron/contains2.cc | 2 +-
tests/Polyhedron/containsintegerpoint1.cc | 2 +-
tests/Polyhedron/disjoint1.cc | 2 +-
tests/Polyhedron/disjoint2.cc | 2 +-
tests/Polyhedron/dualhypercubes.cc | 2 +-
tests/Polyhedron/empty1.cc | 2 +-
tests/Polyhedron/equals1.cc | 2 +-
tests/Polyhedron/exceptions1.cc | 2 +-
tests/Polyhedron/exceptions2.cc | 2 +-
tests/Polyhedron/exceptions3.cc | 2 +-
tests/Polyhedron/expandspacedim1.cc | 2 +-
tests/Polyhedron/expandspacedim2.cc | 2 +-
tests/Polyhedron/foldspacedims1.cc | 2 +-
tests/Polyhedron/foldspacedims2.cc | 2 +-
tests/Polyhedron/frombdshape1.cc | 2 +-
tests/Polyhedron/frombox1.cc | 2 +-
tests/Polyhedron/frombox2.cc | 2 +-
tests/Polyhedron/fromgrid1.cc | 2 +-
tests/Polyhedron/fromoctagonalshape1.cc | 2 +-
tests/Polyhedron/generalizedaffineimage1.cc | 2 +-
tests/Polyhedron/generalizedaffineimage2.cc | 2 +-
tests/Polyhedron/generalizedaffinepreimage1.cc | 2 +-
tests/Polyhedron/generalizedaffinepreimage2.cc | 2 +-
tests/Polyhedron/generators1.cc | 2 +-
tests/Polyhedron/geomcovers1.cc | 2 +-
tests/Polyhedron/h79widening1.cc | 2 +-
tests/Polyhedron/h79widening2.cc | 2 +-
tests/Polyhedron/hybrid.cc | 2 +-
tests/Polyhedron/intersection1.cc | 2 +-
tests/Polyhedron/limitedbhrz03extrapolation1.cc | 2 +-
tests/Polyhedron/limitedh79extrapolation1.cc | 2 +-
tests/Polyhedron/linearexpression1.cc | 2 +-
tests/Polyhedron/linearpartition1.cc | 2 +-
tests/Polyhedron/linearsystem1.cc | 2 +-
tests/Polyhedron/mapspacedims1.cc | 2 +-
tests/Polyhedron/matrix1.cc | 2 +-
tests/Polyhedron/max_min1.cc | 2 +-
tests/Polyhedron/maxspacedim1.cc | 2 +-
tests/Polyhedron/mc91.cc | 2 +-
tests/Polyhedron/membytes1.cc | 2 +-
tests/Polyhedron/memory1.cc | 2 +-
tests/Polyhedron/memory2.cc | 2 +-
tests/Polyhedron/minconstraints1.cc | 2 +-
tests/Polyhedron/minconstraints2.cc | 2 +-
tests/Polyhedron/mingenerators1.cc | 2 +-
tests/Polyhedron/mingenerators2.cc | 2 +-
tests/Polyhedron/nncminimize1.cc | 2 +-
tests/Polyhedron/nncminimize2.cc | 2 +-
tests/Polyhedron/numberinput1.cc | 2 +-
tests/Polyhedron/onepoint.cc | 2 +-
tests/Polyhedron/permute.cc | 2 +-
tests/Polyhedron/polydifference1.cc | 2 +-
tests/Polyhedron/polydifference2.cc | 2 +-
tests/Polyhedron/polyhull1.cc | 2 +-
tests/Polyhedron/polyhull2.cc | 2 +-
tests/Polyhedron/polyhullifexact1.cc | 2 +-
tests/Polyhedron/polyhullifexact2.cc | 2 +-
tests/Polyhedron/randphull1.cc | 2 +-
tests/Polyhedron/refinewithcongruence1.cc | 2 +-
tests/Polyhedron/refinewithcongruences1.cc | 2 +-
tests/Polyhedron/refinewithconstraint1.cc | 2 +-
tests/Polyhedron/refinewithconstraints1.cc | 2 +-
tests/Polyhedron/relations1.cc | 2 +-
tests/Polyhedron/relations2.cc | 2 +-
tests/Polyhedron/relations3.cc | 2 +-
tests/Polyhedron/removespacedims1.cc | 2 +-
tests/Polyhedron/removespacedims2.cc | 2 +-
tests/Polyhedron/simplifyusingcontext1.cc | 2 +-
tests/Polyhedron/smm1.cc | 2 +-
tests/Polyhedron/timeelapse1.cc | 2 +-
tests/Polyhedron/timeelapse2.cc | 2 +-
tests/Polyhedron/topclosed1.cc | 2 +-
tests/Polyhedron/topclosure1.cc | 2 +-
tests/Polyhedron/unconstrain1.cc | 2 +-
tests/Polyhedron/universe1.cc | 2 +-
tests/Polyhedron/universe2.cc | 2 +-
tests/Polyhedron/variablesset1.cc | 2 +-
tests/Polyhedron/watchdog1.cc | 2 +-
tests/Polyhedron/weightwatch1.cc | 2 +-
tests/Polyhedron/wrap1.cc | 2 +-
tests/Polyhedron/wrap2.cc | 2 +-
tests/Polyhedron/writeconsys1.cc | 2 +-
tests/Polyhedron/writegensys1.cc | 2 +-
tests/Polyhedron/writepolyhedron1.cc | 2 +-
tests/Polyhedron/writepolyhedron2.cc | 2 +-
tests/Polyhedron/writerelation1.cc | 2 +-
tests/Polyhedron/writevariable1.cc | 2 +-
tests/Powerset/Makefile.am | 2 +-
tests/Powerset/addcongruences1.cc | 2 +-
tests/Powerset/addconstraints1.cc | 2 +-
tests/Powerset/affinedimension1.cc | 2 +-
tests/Powerset/affineimage1.cc | 2 +-
tests/Powerset/affinepreimage1.cc | 2 +-
tests/Powerset/bounded1.cc | 2 +-
tests/Powerset/bounds1.cc | 2 +-
tests/Powerset/closed1.cc | 2 +-
tests/Powerset/closure1.cc | 2 +-
tests/Powerset/collapse1.cc | 2 +-
tests/Powerset/concatenate1.cc | 2 +-
tests/Powerset/contains1.cc | 2 +-
tests/Powerset/containsintegerpoint1.cc | 2 +-
tests/Powerset/difference1.cc | 2 +-
tests/Powerset/discrete1.cc | 2 +-
tests/Powerset/disjoint1.cc | 2 +-
tests/Powerset/disjunct1.cc | 2 +-
tests/Powerset/empty1.cc | 2 +-
tests/Powerset/entails1.cc | 2 +-
tests/Powerset/equals1.cc | 2 +-
tests/Powerset/frombdshape1.cc | 2 +-
tests/Powerset/frombox1.cc | 2 +-
tests/Powerset/fromcongruences1.cc | 2 +-
tests/Powerset/fromconstraints1.cc | 2 +-
tests/Powerset/fromgrid1.cc | 2 +-
tests/Powerset/fromoctagonalshape1.cc | 2 +-
tests/Powerset/frompolyhedron1.cc | 2 +-
tests/Powerset/fromspacedimension1.cc | 2 +-
tests/Powerset/intersection1.cc | 2 +-
tests/Powerset/maxmin1.cc | 2 +-
tests/Powerset/meet1.cc | 2 +-
tests/Powerset/membytes1.cc | 2 +-
tests/Powerset/powerset1.cc | 2 +-
tests/Powerset/reduce1.cc | 2 +-
tests/Powerset/refinewith1.cc | 2 +-
tests/Powerset/relationwith1.cc | 2 +-
tests/Powerset/simplifyusingcontext1.cc | 2 +-
tests/Powerset/size1.cc | 2 +-
tests/Powerset/spacedims1.cc | 2 +-
tests/Powerset/universe1.cc | 2 +-
tests/Powerset/upperbound1.cc | 2 +-
tests/README | 4 ++--
tests/Random_Number_Generator.defs.hh | 2 +-
tests/Random_Number_Generator.inlines.hh | 2 +-
tests/Random_Number_Generator.types.hh | 2 +-
tests/files.cc | 2 +-
tests/files.hh | 2 +-
tests/ppl_test.cc | 2 +-
tests/ppl_test.hh | 2 +-
utils/Makefile.am | 2 +-
utils/build_header.in | 2 +-
utils/cm_cleaner.sh | 2 +-
utils/cm_splitter.sh | 2 +-
utils/text2cxxarray.in | 2 +-
utils/timings.cc | 2 +-
utils/timings.hh | 2 +-
1189 files changed, 1200 insertions(+), 1200 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=488f55fb…
1
0
Module: ppl/ppl
Branch: master
Commit: 4d6c6db0470eb60cecbbed0a43a2b08d8539e95f
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d6c6db0470e…
Author: Roberto Bagnara <bagnara(a)cs.unipr.it>
Date: Fri Jan 1 16:36:10 2010 +0100
Extended copyright years.
---
Watchdog/doc/devref.tex | 2 +-
Watchdog/doc/user.tex | 2 +-
debian/libppl-pwl.copyright.in | 2 +-
debian/libppl.copyright.in | 2 +-
demos/ppl_lcdd/ppl_lcdd.1 | 2 +-
demos/ppl_lcdd/ppl_lcdd_extra_man_text | 2 +-
demos/ppl_lpsol/ppl_lpsol.1 | 2 +-
demos/ppl_lpsol/ppl_lpsol_extra_man_text | 2 +-
doc/devref-language-interface.tex | 2 +-
doc/devref.tex | 2 +-
doc/libppl.3 | 2 +-
doc/libppl_c.3 | 2 +-
doc/ppl-config.1 | 2 +-
doc/ppl-config_extra_man_text | 2 +-
doc/user-language-interface.tex | 2 +-
doc/user.tex | 2 +-
16 files changed, 16 insertions(+), 16 deletions(-)
diff --git a/Watchdog/doc/devref.tex b/Watchdog/doc/devref.tex
index 2b1a9c4..c22e932 100644
--- a/Watchdog/doc/devref.tex
+++ b/Watchdog/doc/devref.tex
@@ -85,7 +85,7 @@ Roberto Bagnara\thanks{bagnara(a)cs.unipr.it,
\maketitle
\newpage
-Copyright \copyright\ 2001--2009 Roberto Bagnara (bagnara(a)cs.unipr.it).
+Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara(a)cs.unipr.it).
This document describes the Parma Watchdog Library (PWL).
diff --git a/Watchdog/doc/user.tex b/Watchdog/doc/user.tex
index 143bce8..7c91c30 100644
--- a/Watchdog/doc/user.tex
+++ b/Watchdog/doc/user.tex
@@ -85,7 +85,7 @@ Roberto Bagnara\thanks{bagnara(a)cs.unipr.it,
\maketitle
\newpage
-Copyright \copyright\ 2001--2009 Roberto Bagnara (bagnara(a)cs.unipr.it).
+Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara(a)cs.unipr.it).
This document describes the Parma Watchdog Library (PWL).
diff --git a/debian/libppl-pwl.copyright.in b/debian/libppl-pwl.copyright.in
index 0d25a1e..ad3b329 100644
--- a/debian/libppl-pwl.copyright.in
+++ b/debian/libppl-pwl.copyright.in
@@ -20,7 +20,7 @@ Authors: see the CREDITS file or http://www.cs.unipr.it/ppl/Credits
for the complete list of authors.
-Copyright: 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+Copyright: 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
The PPL is free software; you can redistribute it and/or modify it
under the terms of the GNU General Public License as published by the
diff --git a/debian/libppl.copyright.in b/debian/libppl.copyright.in
index 0d25a1e..ad3b329 100644
--- a/debian/libppl.copyright.in
+++ b/debian/libppl.copyright.in
@@ -20,7 +20,7 @@ Authors: see the CREDITS file or http://www.cs.unipr.it/ppl/Credits
for the complete list of authors.
-Copyright: 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+Copyright: 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
The PPL is free software; you can redistribute it and/or modify it
under the terms of the GNU General Public License as published by the
diff --git a/demos/ppl_lcdd/ppl_lcdd.1 b/demos/ppl_lcdd/ppl_lcdd.1
index bea9cad..eca179f 100644
--- a/demos/ppl_lcdd/ppl_lcdd.1
+++ b/demos/ppl_lcdd/ppl_lcdd.1
@@ -50,7 +50,7 @@ See the file \fBCREDITS\fR in the source distribution or use the command
.SH "REPORTING BUGS"
Report bugs to <ppl\-devel(a)cs.unipr.it>.
.SH COPYRIGHT
-Copyright (C) 2001\-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+Copyright (C) 2001\-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
.br
This is free software; see the file \fBCOPYING\fR in the source
distribution or use the command \fBppl\-config \-\-copying\fR to
diff --git a/demos/ppl_lcdd/ppl_lcdd_extra_man_text b/demos/ppl_lcdd/ppl_lcdd_extra_man_text
index c3d6891..1aeae74 100644
--- a/demos/ppl_lcdd/ppl_lcdd_extra_man_text
+++ b/demos/ppl_lcdd/ppl_lcdd_extra_man_text
@@ -8,7 +8,7 @@ See the file \fBCREDITS\fR in the source distribution or use the command
\fBppl\-config \-\-credits\fR for a list of contributors.
[COPYRIGHT]
-Copyright (C) 2001\-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+Copyright (C) 2001\-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
.br
This is free software; see the file \fBCOPYING\fR in the source
distribution or use the command \fBppl\-config \-\-copying\fR to
diff --git a/demos/ppl_lpsol/ppl_lpsol.1 b/demos/ppl_lpsol/ppl_lpsol.1
index a9c3465..8c239dd 100644
--- a/demos/ppl_lpsol/ppl_lpsol.1
+++ b/demos/ppl_lpsol/ppl_lpsol.1
@@ -84,7 +84,7 @@ The options \fB\-CSECS\fR (\fB\-\-max\-cpu\fR=\fISECS\fR) and
See the file \fBCREDITS\fR in the source distribution or use the command
\fBppl\-config \-\-credits\fR for a list of contributors.
.SH COPYRIGHT
-Copyright (C) 2001\-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+Copyright (C) 2001\-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
.br
This is free software; see the file \fBCOPYING\fR in the source
distribution or use the command \fBppl\-config \-\-copying\fR to
diff --git a/demos/ppl_lpsol/ppl_lpsol_extra_man_text b/demos/ppl_lpsol/ppl_lpsol_extra_man_text
index ddc144b..f8e369a 100644
--- a/demos/ppl_lpsol/ppl_lpsol_extra_man_text
+++ b/demos/ppl_lpsol/ppl_lpsol_extra_man_text
@@ -8,7 +8,7 @@ See the file \fBCREDITS\fR in the source distribution or use the command
\fBppl\-config \-\-credits\fR for a list of contributors.
[COPYRIGHT]
-Copyright (C) 2001\-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+Copyright (C) 2001\-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
.br
This is free software; see the file \fBCOPYING\fR in the source
distribution or use the command \fBppl\-config \-\-copying\fR to
diff --git a/doc/devref-language-interface.tex b/doc/devref-language-interface.tex
index 5734775..f3366be 100644
--- a/doc/devref-language-interface.tex
+++ b/doc/devref-language-interface.tex
@@ -100,7 +100,7 @@ Enea Zaffanella\thanks{zaffanella(a)cs.unipr.it,
\maketitle
\newpage
-Copyright \copyright\ 2001--2009 Roberto Bagnara (bagnara(a)cs.unipr.it).
+Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara(a)cs.unipr.it).
This document describes the Parma Polyhedra Library (PPL).
diff --git a/doc/devref.tex b/doc/devref.tex
index 02f5311..7ebb796 100644
--- a/doc/devref.tex
+++ b/doc/devref.tex
@@ -109,7 +109,7 @@ Tatiana Zolo
\maketitle
\newpage
-Copyright \copyright\ 2001--2009 Roberto Bagnara (bagnara(a)cs.unipr.it).
+Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara(a)cs.unipr.it).
This document describes the Parma Polyhedra Library (PPL).
diff --git a/doc/libppl.3 b/doc/libppl.3
index 3802b95..0ff3e52 100644
--- a/doc/libppl.3
+++ b/doc/libppl.3
@@ -217,7 +217,7 @@ See the file \fBCREDITS\fR in the source distribution or use the command
Report bugs to <ppl\-devel(a)cs.unipr.it>.
.SH COPYRIGHT
-Copyright (C) 2001\-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+Copyright (C) 2001\-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
.br
This is free software; see the file \fBCOPYING\fR in the source
distribution or use the command \fBppl\-config \-\-copying\fR to
diff --git a/doc/libppl_c.3 b/doc/libppl_c.3
index 051c89e..d48f19d 100644
--- a/doc/libppl_c.3
+++ b/doc/libppl_c.3
@@ -153,7 +153,7 @@ See the file \fBCREDITS\fR in the source distribution or use the command
Report bugs to <ppl\-devel(a)cs.unipr.it>.
.SH COPYRIGHT
-Copyright (C) 2001\-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+Copyright (C) 2001\-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
.br
This is free software; see the file \fBCOPYING\fR in the source
distribution or use the command \fBppl\-config \-\-copying\fR to
diff --git a/doc/ppl-config.1 b/doc/ppl-config.1
index 8c50b2f..f876a64 100644
--- a/doc/ppl-config.1
+++ b/doc/ppl-config.1
@@ -104,7 +104,7 @@ Report bugs to <ppl\-devel(a)cs.unipr.it>.
.SH "REPORTING BUGS"
Report bugs to <ppl\-devel(a)cs.unipr.it>.
.SH COPYRIGHT
-Copyright (C) 2001\-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+Copyright (C) 2001\-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
.br
This is free software; see the file \fBCOPYING\fR in the source
distribution or use the command \fBppl\-config \-\-copying\fR to
diff --git a/doc/ppl-config_extra_man_text b/doc/ppl-config_extra_man_text
index 32e2e11..f5203f2 100644
--- a/doc/ppl-config_extra_man_text
+++ b/doc/ppl-config_extra_man_text
@@ -40,7 +40,7 @@ See the file \fBCREDITS\fR in the source distribution or use the command
Report bugs to <ppl\-devel(a)cs.unipr.it>.
[COPYRIGHT]
-Copyright (C) 2001\-2009 Roberto Bagnara <bagnara(a)cs.unipr.it>
+Copyright (C) 2001\-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>
.br
This is free software; see the file \fBCOPYING\fR in the source
distribution or use the command \fBppl\-config \-\-copying\fR to
diff --git a/doc/user-language-interface.tex b/doc/user-language-interface.tex
index 12e3aca..3d84027 100644
--- a/doc/user-language-interface.tex
+++ b/doc/user-language-interface.tex
@@ -100,7 +100,7 @@ Enea Zaffanella\thanks{zaffanella(a)cs.unipr.it,
\maketitle
\newpage
-Copyright \copyright\ 2001--2009 Roberto Bagnara (bagnara(a)cs.unipr.it).
+Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara(a)cs.unipr.it).
This document describes the Parma Polyhedra Library (PPL).
diff --git a/doc/user.tex b/doc/user.tex
index 5536465..3c2a50c 100644
--- a/doc/user.tex
+++ b/doc/user.tex
@@ -109,7 +109,7 @@ Tatiana Zolo
\maketitle
\newpage
-Copyright \copyright\ 2001--2009 Roberto Bagnara (bagnara(a)cs.unipr.it).
+Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara(a)cs.unipr.it).
This document describes the Parma Polyhedra Library (PPL).
1
0
Module: ppl/ppl
Branch: master
Commit: 488f55fbe874c4f3a85c0c0db8c59f7e83d615e0
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=488f55fbe874…
Author: Roberto Bagnara <bagnara(a)cs.unipr.it>
Date: Fri Jan 1 16:28:45 2010 +0100
Extended copyright years.
---
Makefile.am | 2 +-
README | 4 ++--
README.configure | 4 ++--
Watchdog/Makefile.am | 2 +-
Watchdog/README | 2 +-
Watchdog/configure.ac | 2 +-
Watchdog/doc/Makefile.am | 2 +-
Watchdog/doc/README.doc | 4 ++--
Watchdog/doc/devref.tex | 2 +-
Watchdog/doc/pwl.sty | 2 +-
Watchdog/doc/user.tex | 2 +-
Watchdog/m4/Makefile.am | 2 +-
Watchdog/src/Doubly_Linked_Object.defs.hh | 2 +-
Watchdog/src/Doubly_Linked_Object.inlines.hh | 2 +-
Watchdog/src/Doubly_Linked_Object.types.hh | 2 +-
Watchdog/src/EList.defs.hh | 2 +-
Watchdog/src/EList.inlines.hh | 2 +-
Watchdog/src/EList.types.hh | 2 +-
Watchdog/src/EList_Iterator.defs.hh | 2 +-
Watchdog/src/EList_Iterator.inlines.hh | 2 +-
Watchdog/src/EList_Iterator.types.hh | 2 +-
Watchdog/src/Handler.defs.hh | 2 +-
Watchdog/src/Handler.inlines.hh | 2 +-
Watchdog/src/Handler.types.hh | 2 +-
Watchdog/src/Makefile.am | 2 +-
Watchdog/src/Pending_Element.defs.hh | 2 +-
Watchdog/src/Pending_Element.inlines.hh | 2 +-
Watchdog/src/Pending_Element.types.hh | 2 +-
Watchdog/src/Pending_List.defs.hh | 2 +-
Watchdog/src/Pending_List.inlines.hh | 2 +-
Watchdog/src/Pending_List.templates.hh | 2 +-
Watchdog/src/Pending_List.types.hh | 2 +-
Watchdog/src/Threshold_Watcher.cc | 2 +-
Watchdog/src/Threshold_Watcher.defs.hh | 2 +-
Watchdog/src/Threshold_Watcher.inlines.hh | 2 +-
Watchdog/src/Threshold_Watcher.templates.hh | 2 +-
Watchdog/src/Threshold_Watcher.types.hh | 2 +-
Watchdog/src/Time.cc | 2 +-
Watchdog/src/Time.defs.hh | 2 +-
Watchdog/src/Time.inlines.hh | 2 +-
Watchdog/src/Time.types.hh | 2 +-
Watchdog/src/Watchdog.cc | 2 +-
Watchdog/src/Watchdog.defs.hh | 2 +-
Watchdog/src/Watchdog.inlines.hh | 2 +-
Watchdog/src/Watchdog.types.hh | 2 +-
Watchdog/src/pwl_header.hh | 2 +-
Watchdog/tests/Makefile.am | 2 +-
Watchdog/tests/pwl_test.cc | 2 +-
Watchdog/tests/pwl_test.hh | 2 +-
Watchdog/tests/simple1.cc | 2 +-
Watchdog/utils/Makefile.am | 2 +-
Watchdog/utils/build_header.in | 2 +-
configure.ac | 4 ++--
demos/Makefile.am | 2 +-
demos/ppl_lcdd/Makefile.am | 2 +-
demos/ppl_lcdd/examples/Makefile.am | 2 +-
demos/ppl_lcdd/ppl_lcdd.cc | 2 +-
demos/ppl_lpsol/Makefile.am | 2 +-
demos/ppl_lpsol/examples/Makefile.am | 2 +-
demos/ppl_lpsol/ppl_lpsol.c | 2 +-
devtools/bump_copyright_years | 2 +-
doc/Makefile.am | 2 +-
doc/README.doc | 4 ++--
doc/definitions.dox | 2 +-
doc/devref-language-interface.tex | 2 +-
doc/devref.tex | 2 +-
doc/ppl.sty | 2 +-
doc/user-language-interface.tex | 2 +-
doc/user.tex | 2 +-
fedora/ppl.hh | 2 +-
fedora/ppl_c.h | 2 +-
fedora/pwl.hh | 2 +-
instchk.hh | 2 +-
interfaces/C/C_interface.dox | 2 +-
interfaces/C/Makefile.am | 2 +-
interfaces/C/ppl_c_header.h | 2 +-
interfaces/C/ppl_c_implementation_common.cc | 2 +-
interfaces/C/ppl_c_implementation_common.defs.hh | 2 +-
.../C/ppl_c_implementation_common.inlines.hh | 2 +-
interfaces/C/ppl_c_version.h.in | 2 +-
interfaces/C/ppl_interface_generator_c_cc_code.m4 | 2 +-
interfaces/C/ppl_interface_generator_c_cc_files.m4 | 2 +-
interfaces/C/ppl_interface_generator_c_h.m4 | 2 +-
interfaces/C/ppl_interface_generator_c_h_code.m4 | 2 +-
interfaces/C/ppl_interface_generator_c_hh_files.m4 | 2 +-
...l_interface_generator_c_procedure_generators.m4 | 2 +-
interfaces/C/tests/Makefile.am | 2 +-
interfaces/C/tests/formatted_output.c | 2 +-
interfaces/C/tests/ppl_c_test.cc | 2 +-
interfaces/C/tests/ppl_c_test.h | 2 +-
interfaces/C/tests/print_to_buffer.c | 2 +-
interfaces/C/tests/print_to_buffer.h | 2 +-
interfaces/C/tests/watchdog1.c | 2 +-
interfaces/C/tests/weightwatch1.c | 2 +-
interfaces/Java/Makefile.am | 2 +-
interfaces/Java/jni/Makefile.am | 2 +-
...ppl_interface_generator_java_classes_cc_code.m4 | 2 +-
...pl_interface_generator_java_classes_cc_files.m4 | 2 +-
interfaces/Java/jni/ppl_java_common.cc | 2 +-
interfaces/Java/jni/ppl_java_common.defs.hh | 2 +-
interfaces/Java/jni/ppl_java_common.inlines.hh | 2 +-
interfaces/Java/jni/ppl_java_globals.cc | 2 +-
.../Java/parma_polyhedra_library/By_Reference.java | 2 +-
.../Java/parma_polyhedra_library/Coefficient.java | 2 +-
.../parma_polyhedra_library/Complexity_Class.java | 2 +-
.../Java/parma_polyhedra_library/Congruence.java | 2 +-
.../parma_polyhedra_library/Congruence_System.java | 2 +-
.../Java/parma_polyhedra_library/Constraint.java | 2 +-
.../parma_polyhedra_library/Constraint_System.java | 2 +-
.../Control_Parameter_Name.java | 2 +-
.../Control_Parameter_Value.java | 2 +-
.../Degenerate_Element.java | 2 +-
.../Domain_Error_Exception.java | 2 +-
.../Fake_Class_for_Doxygen.java | 2 +-
.../Java/parma_polyhedra_library/Generator.java | 2 +-
.../parma_polyhedra_library/Generator_System.java | 2 +-
.../parma_polyhedra_library/Generator_Type.java | 2 +-
.../parma_polyhedra_library/Grid_Generator.java | 2 +-
.../Grid_Generator_System.java | 2 +-
.../Grid_Generator_Type.java | 2 +-
interfaces/Java/parma_polyhedra_library/IO.java | 2 +-
.../Invalid_Argument_Exception.java | 2 +-
.../Length_Error_Exception.java | 2 +-
.../parma_polyhedra_library/Linear_Expression.java | 2 +-
.../Linear_Expression_Coefficient.java | 2 +-
.../Linear_Expression_Difference.java | 2 +-
.../Linear_Expression_Sum.java | 2 +-
.../Linear_Expression_Times.java | 2 +-
.../Linear_Expression_Unary_Minus.java | 2 +-
.../Linear_Expression_Variable.java | 2 +-
.../Logic_Error_Exception.java | 2 +-
.../Java/parma_polyhedra_library/MIP_Problem.java | 2 +-
.../MIP_Problem_Status.java | 2 +-
.../Java/parma_polyhedra_library/Makefile.am | 2 +-
.../parma_polyhedra_library/Optimization_Mode.java | 2 +-
.../Overflow_Error_Exception.java | 2 +-
.../Java/parma_polyhedra_library/PPL_Object.java | 2 +-
interfaces/Java/parma_polyhedra_library/Pair.java | 2 +-
.../Parma_Polyhedra_Library.java | 2 +-
.../parma_polyhedra_library/Partial_Function.java | 2 +-
.../parma_polyhedra_library/Poly_Con_Relation.java | 2 +-
.../parma_polyhedra_library/Poly_Gen_Relation.java | 2 +-
.../parma_polyhedra_library/Relation_Symbol.java | 2 +-
.../parma_polyhedra_library/Timeout_Exception.java | 2 +-
.../Java/parma_polyhedra_library/Variable.java | 2 +-
.../parma_polyhedra_library/Variables_Set.java | 2 +-
.../ppl_interface_generator_java_classes_java.m4 | 2 +-
...l_interface_generator_java_classes_java_code.m4 | 2 +-
...nterface_generator_java_procedure_generators.m4 | 2 +-
interfaces/Java/tests/C_Polyhedron_test1.java | 2 +-
interfaces/Java/tests/MIP_Problem_test1.java | 2 +-
interfaces/Java/tests/Makefile.am | 2 +-
interfaces/Java/tests/NNC_Polyhedron_test1.java | 2 +-
interfaces/Java/tests/PPL_Test.java | 2 +-
.../Java/tests/Parma_Polyhedra_Library_test1.java | 2 +-
.../Java/tests/Parma_Polyhedra_Library_test2.java | 2 +-
interfaces/Java/tests/Test_Executor.java | 2 +-
interfaces/Java/tests/Test_Partial_Function.java | 2 +-
.../ppl_interface_generator_java_test_java.m4 | 2 +-
.../ppl_interface_generator_java_test_java_code.m4 | 2 +-
interfaces/Java/tests/ppl_java_tests_common | 2 +-
interfaces/Makefile.am | 2 +-
interfaces/OCaml/Makefile.am | 2 +-
interfaces/OCaml/OCaml_interface.dox | 2 +-
.../OCaml/ppl_interface_generator_ocaml_cc_code.m4 | 2 +-
.../ppl_interface_generator_ocaml_cc_files.m4 | 2 +-
.../OCaml/ppl_interface_generator_ocaml_hh_code.m4 | 2 +-
.../ppl_interface_generator_ocaml_hh_files.m4 | 2 +-
.../OCaml/ppl_interface_generator_ocaml_ml.m4 | 2 +-
.../OCaml/ppl_interface_generator_ocaml_ml_code.m4 | 2 +-
.../OCaml/ppl_interface_generator_ocaml_mli.m4 | 2 +-
.../ppl_interface_generator_ocaml_mli_code.m4 | 2 +-
...terface_generator_ocaml_procedure_generators.m4 | 2 +-
interfaces/OCaml/ppl_ocaml_common.cc | 2 +-
interfaces/OCaml/ppl_ocaml_common.defs.hh | 2 +-
interfaces/OCaml/ppl_ocaml_common.inlines.hh | 2 +-
interfaces/OCaml/ppl_ocaml_globals.ml | 2 +-
interfaces/OCaml/ppl_ocaml_globals.mli | 2 +-
interfaces/OCaml/tests/Makefile.am | 2 +-
.../tests/ppl_interface_generator_ocaml_test_ml.m4 | 2 +-
.../ppl_interface_generator_ocaml_test_ml_code.m4 | 2 +-
interfaces/OCaml/tests/ppl_ocaml_tests_common | 2 +-
interfaces/OCaml/tests/test1.ml | 2 +-
interfaces/Prolog/Ciao/Makefile.am | 2 +-
interfaces/Prolog/Ciao/ciao_cfli.hh | 2 +-
interfaces/Prolog/Ciao/ciao_clpq.pl | 2 +-
interfaces/Prolog/Ciao/ciao_clpq2.pl | 2 +-
interfaces/Prolog/Ciao/ciao_efli.cc | 2 +-
interfaces/Prolog/Ciao/ciao_efli.hh | 2 +-
interfaces/Prolog/Ciao/ciao_pl_check.pl | 2 +-
.../Prolog/Ciao/ppl_interface_generator_ciao_pl.m4 | 2 +-
...face_generator_ciao_prolog_generated_test_pl.m4 | 2 +-
interfaces/Prolog/Ciao/ppl_prolog_sysdep.hh | 2 +-
interfaces/Prolog/GNU/Makefile.am | 2 +-
interfaces/Prolog/GNU/gnu_pl_check.pl | 2 +-
interfaces/Prolog/GNU/gnu_prolog_generated_test.pl | 2 +-
interfaces/Prolog/GNU/gp_clpq.pl | 2 +-
interfaces/Prolog/GNU/gprolog_cfli.hh | 2 +-
interfaces/Prolog/GNU/gprolog_efli.cc | 2 +-
interfaces/Prolog/GNU/gprolog_efli.hh | 2 +-
.../GNU/ppl_interface_generator_gprolog_pl.m4 | 2 +-
interfaces/Prolog/GNU/ppl_prolog_sysdep.hh | 2 +-
interfaces/Prolog/Makefile.am | 2 +-
interfaces/Prolog/Prolog_interface.dox | 2 +-
interfaces/Prolog/SICStus/Makefile.am | 2 +-
.../ppl_interface_generator_sicstus_sd_cc.m4 | 2 +-
interfaces/Prolog/SICStus/ppl_prolog_sysdep.hh | 2 +-
interfaces/Prolog/SICStus/ppl_sicstus.pl | 2 +-
interfaces/Prolog/SICStus/sicstus_cfli.cc | 2 +-
interfaces/Prolog/SICStus/sicstus_cfli.h | 2 +-
interfaces/Prolog/SICStus/sicstus_cfli.ic | 2 +-
interfaces/Prolog/SICStus/sicstus_efli.cc | 2 +-
interfaces/Prolog/SICStus/sicstus_efli.hh | 2 +-
interfaces/Prolog/SICStus/sp_clpq.pl | 2 +-
interfaces/Prolog/SICStus/sp_pl_check.pl | 2 +-
.../Prolog/SICStus/sp_prolog_generated_test.pl | 2 +-
interfaces/Prolog/SWI/Makefile.am | 2 +-
interfaces/Prolog/SWI/pl_clpq.cc | 2 +-
interfaces/Prolog/SWI/pl_clpq.pl | 2 +-
.../SWI/ppl_interface_generator_swiprolog_cc.m4 | 2 +-
interfaces/Prolog/SWI/ppl_pl.cc | 2 +-
interfaces/Prolog/SWI/ppl_prolog_sysdep.hh | 2 +-
interfaces/Prolog/SWI/ppl_swiprolog.pl | 2 +-
interfaces/Prolog/SWI/swi_cfli.hh | 2 +-
interfaces/Prolog/SWI/swi_efli.cc | 2 +-
interfaces/Prolog/SWI/swi_efli.hh | 2 +-
interfaces/Prolog/SWI/swi_pl_check.pl | 2 +-
interfaces/Prolog/SWI/swi_prolog_generated_test.pl | 2 +-
interfaces/Prolog/XSB/Makefile.am | 2 +-
.../Prolog/XSB/ppl_interface_generator_xsb_H.m4 | 2 +-
.../Prolog/XSB/ppl_interface_generator_xsb_cc.m4 | 2 +-
.../Prolog/XSB/ppl_interface_generator_xsb_hh.m4 | 2 +-
...erface_generator_xsb_prolog_generated_test_P.m4 | 2 +-
interfaces/Prolog/XSB/ppl_prolog_sysdep.hh | 2 +-
interfaces/Prolog/XSB/xsb_cfli.hh | 2 +-
interfaces/Prolog/XSB/xsb_clpq.P | 2 +-
interfaces/Prolog/XSB/xsb_clpq2.P | 2 +-
interfaces/Prolog/XSB/xsb_efli.cc | 2 +-
interfaces/Prolog/XSB/xsb_efli.hh | 2 +-
interfaces/Prolog/XSB/xsb_pl_check.P | 2 +-
interfaces/Prolog/YAP/Makefile.am | 2 +-
.../Prolog/YAP/ppl_interface_generator_yap_cc.m4 | 2 +-
interfaces/Prolog/YAP/ppl_prolog_sysdep.hh | 2 +-
interfaces/Prolog/YAP/ppl_yap.pl | 2 +-
interfaces/Prolog/YAP/yap_cfli.hh | 2 +-
interfaces/Prolog/YAP/yap_clpq.pl | 2 +-
interfaces/Prolog/YAP/yap_clpq2.pl | 2 +-
interfaces/Prolog/YAP/yap_efli.cc | 2 +-
interfaces/Prolog/YAP/yap_efli.hh | 2 +-
interfaces/Prolog/YAP/yap_pl_check.pl | 2 +-
interfaces/Prolog/YAP/yap_prolog_generated_test.pl | 2 +-
.../ppl_interface_generator_prolog_cc_code.m4 | 2 +-
.../ppl_interface_generator_prolog_cc_files.m4 | 2 +-
.../Prolog/ppl_interface_generator_prolog_dox.m4 | 2 +-
.../ppl_interface_generator_prolog_dox_code.m4 | 2 +-
.../ppl_interface_generator_prolog_hh_code.m4 | 2 +-
.../ppl_interface_generator_prolog_hh_files.m4 | 2 +-
...erface_generator_prolog_procedure_generators.m4 | 2 +-
.../ppl_interface_generator_prolog_systems.m4 | 2 +-
interfaces/Prolog/ppl_prolog_common.cc | 2 +-
interfaces/Prolog/ppl_prolog_common.defs.hh | 2 +-
interfaces/Prolog/ppl_prolog_common.inlines.hh | 2 +-
interfaces/Prolog/tests/Makefile.am | 2 +-
interfaces/Prolog/tests/clpq.pl | 4 ++--
interfaces/Prolog/tests/clpq2.pl | 4 ++--
interfaces/Prolog/tests/expected_clpq2_int16 | 2 +-
interfaces/Prolog/tests/expected_clpq2_int16_a | 2 +-
interfaces/Prolog/tests/expected_clpq2_int32 | 2 +-
interfaces/Prolog/tests/expected_clpq2_int32_a | 2 +-
interfaces/Prolog/tests/expected_clpq2_int64 | 2 +-
interfaces/Prolog/tests/expected_clpq2_int64_a | 2 +-
interfaces/Prolog/tests/expected_clpq2_int8 | 2 +-
interfaces/Prolog/tests/expected_clpq2_int8_a | 2 +-
interfaces/Prolog/tests/expected_clpq2_mpz | 2 +-
interfaces/Prolog/tests/expected_clpq2_mpz_a | 2 +-
interfaces/Prolog/tests/expected_clpq_int16 | 2 +-
interfaces/Prolog/tests/expected_clpq_int16_a | 2 +-
interfaces/Prolog/tests/expected_clpq_int32 | 2 +-
interfaces/Prolog/tests/expected_clpq_int32_a | 2 +-
interfaces/Prolog/tests/expected_clpq_int64 | 2 +-
interfaces/Prolog/tests/expected_clpq_int64_a | 2 +-
interfaces/Prolog/tests/expected_clpq_int8 | 2 +-
interfaces/Prolog/tests/expected_clpq_int8_a | 2 +-
interfaces/Prolog/tests/expected_clpq_mpz | 2 +-
interfaces/Prolog/tests/expected_clpq_mpz_a | 2 +-
interfaces/Prolog/tests/pl_check.pl | 2 +-
...interface_generator_prolog_generated_test_pl.m4 | 2 +-
...face_generator_prolog_generated_test_pl_code.m4 | 2 +-
.../tests/ppl_prolog_generated_test_common.pl | 2 +-
interfaces/Python/ppl_py.cc | 2 +-
interfaces/interfaced_boxes.hh | 2 +-
interfaces/marked_pointers.hh | 2 +-
interfaces/ppl_interface_generator_common.m4 | 2 +-
interfaces/ppl_interface_generator_common_dat.m4 | 2 +-
...erface_generator_common_procedure_generators.m4 | 2 +-
interfaces/ppl_interface_generator_copyright | 2 +-
m4/Makefile.am | 2 +-
m4/ac_check_ciao.m4 | 2 +-
m4/ac_check_fpu_control.m4 | 2 +-
m4/ac_check_gmp.m4 | 2 +-
m4/ac_check_sicstus_prolog.m4 | 2 +-
m4/ac_check_swi_prolog.m4 | 2 +-
m4/ac_check_xsb_prolog.m4 | 2 +-
m4/ac_check_yap.m4 | 2 +-
m4/ac_cxx_attribute_weak.m4 | 2 +-
m4/ac_cxx_double_binary_format.m4 | 2 +-
m4/ac_cxx_double_exact_output.m4 | 2 +-
m4/ac_cxx_flexible_arrays.m4 | 2 +-
m4/ac_cxx_float_binary_format.m4 | 2 +-
m4/ac_cxx_float_exact_output.m4 | 2 +-
m4/ac_cxx_ieee_inexact_flag.m4 | 2 +-
m4/ac_cxx_limit_memory.m4 | 2 +-
m4/ac_cxx_long_double_binary_format.m4 | 2 +-
m4/ac_cxx_long_double_exact_output.m4 | 2 +-
m4/ac_cxx_proper_long_double.m4 | 2 +-
m4/ac_cxx_remainder_bug.m4 | 2 +-
m4/ac_prog_jar.m4 | 2 +-
m4/ac_prog_java.m4 | 4 ++--
m4/ac_prog_javac.m4 | 4 ++--
m4/ac_prog_javah.m4 | 2 +-
m4/ac_text_md5sum.m4 | 2 +-
m4/ppl.m4 | 2 +-
m4/ppl_c.m4 | 2 +-
src/Affine_Space.cc | 2 +-
src/Affine_Space.defs.hh | 2 +-
src/Affine_Space.inlines.hh | 2 +-
src/Affine_Space.types.hh | 2 +-
src/Any_Pointset.defs.hh | 2 +-
src/Any_Pointset.inlines.hh | 2 +-
src/Any_Pointset.types.hh | 2 +-
src/Ask_Tell.defs.hh | 2 +-
src/Ask_Tell.inlines.hh | 2 +-
src/Ask_Tell.templates.hh | 2 +-
src/Ask_Tell.types.hh | 2 +-
src/BDS_Status.idefs.hh | 2 +-
src/BDS_Status.inlines.hh | 2 +-
src/BD_Shape.cc | 2 +-
src/BD_Shape.defs.hh | 2 +-
src/BD_Shape.inlines.hh | 2 +-
src/BD_Shape.templates.hh | 2 +-
src/BD_Shape.types.hh | 2 +-
src/BHRZ03_Certificate.cc | 2 +-
src/BHRZ03_Certificate.defs.hh | 2 +-
src/BHRZ03_Certificate.inlines.hh | 2 +-
src/BHRZ03_Certificate.types.hh | 2 +-
src/Bit_Matrix.cc | 2 +-
src/Bit_Matrix.defs.hh | 2 +-
src/Bit_Matrix.inlines.hh | 2 +-
src/Bit_Matrix.types.hh | 2 +-
src/Bit_Row.cc | 2 +-
src/Bit_Row.defs.hh | 2 +-
src/Bit_Row.inlines.hh | 2 +-
src/Bit_Row.types.hh | 2 +-
src/Bool4.defs.hh | 2 +-
src/Boundary.defs.hh | 2 +-
src/Box.cc | 2 +-
src/Box.defs.hh | 2 +-
src/Box.inlines.hh | 2 +-
src/Box.templates.hh | 2 +-
src/Box.types.hh | 2 +-
src/Box_Status.idefs.hh | 2 +-
src/Box_Status.inlines.hh | 2 +-
src/C_Integer.hh | 2 +-
src/C_Polyhedron.cc | 2 +-
src/C_Polyhedron.defs.hh | 2 +-
src/C_Polyhedron.inlines.hh | 2 +-
src/C_Polyhedron.types.hh | 2 +-
src/Checked_Number.cc | 2 +-
src/Checked_Number.defs.hh | 2 +-
src/Checked_Number.inlines.hh | 2 +-
src/Checked_Number.templates.hh | 2 +-
src/Checked_Number.types.hh | 2 +-
src/Circular_Interval.defs.hh | 2 +-
src/Coefficient.cc | 2 +-
src/Coefficient.defs.hh | 2 +-
src/Coefficient.inlines.hh | 2 +-
src/Coefficient.types.hh | 2 +-
src/Coefficient_traits_template.hh | 2 +-
src/Congruence.cc | 2 +-
src/Congruence.defs.hh | 2 +-
src/Congruence.inlines.hh | 2 +-
src/Congruence.types.hh | 2 +-
src/Congruence_System.cc | 2 +-
src/Congruence_System.defs.hh | 2 +-
src/Congruence_System.inlines.hh | 2 +-
src/Congruence_System.types.hh | 2 +-
src/Constant_Floating_Point_Expression.defs.hh | 2 +-
src/Constant_Floating_Point_Expression.inlines.hh | 2 +-
src/Constant_Floating_Point_Expression.types.hh | 2 +-
src/Constraint.cc | 2 +-
src/Constraint.defs.hh | 2 +-
src/Constraint.inlines.hh | 2 +-
src/Constraint.types.hh | 2 +-
src/Constraint_System.cc | 2 +-
src/Constraint_System.defs.hh | 2 +-
src/Constraint_System.inlines.hh | 2 +-
src/Constraint_System.types.hh | 2 +-
src/DB_Matrix.defs.hh | 2 +-
src/DB_Matrix.inlines.hh | 2 +-
src/DB_Matrix.templates.hh | 2 +-
src/DB_Matrix.types.hh | 2 +-
src/DB_Row.defs.hh | 2 +-
src/DB_Row.inlines.hh | 2 +-
src/DB_Row.templates.hh | 2 +-
src/DB_Row.types.hh | 2 +-
src/Determinate.defs.hh | 2 +-
src/Determinate.inlines.hh | 2 +-
src/Determinate.types.hh | 2 +-
src/Difference_Floating_Point_Expression.defs.hh | 2 +-
...Difference_Floating_Point_Expression.inlines.hh | 2 +-
...fference_Floating_Point_Expression.templates.hh | 2 +-
src/Difference_Floating_Point_Expression.types.hh | 2 +-
src/Division_Floating_Point_Expression.defs.hh | 2 +-
src/Division_Floating_Point_Expression.inlines.hh | 2 +-
...Division_Floating_Point_Expression.templates.hh | 2 +-
src/Division_Floating_Point_Expression.types.hh | 2 +-
src/Float.cc | 2 +-
src/Float.defs.hh | 2 +-
src/Float.inlines.hh | 2 +-
src/Floating_Point_Expression.defs.hh | 2 +-
src/Floating_Point_Expression.inlines.hh | 2 +-
src/Floating_Point_Expression.templates.hh | 2 +-
src/Floating_Point_Expression.types.hh | 2 +-
src/GMP_Integer.defs.hh | 2 +-
src/GMP_Integer.inlines.hh | 2 +-
src/GMP_Integer.types.hh | 2 +-
src/Generator.cc | 2 +-
src/Generator.defs.hh | 2 +-
src/Generator.inlines.hh | 2 +-
src/Generator.types.hh | 2 +-
src/Generator_System.cc | 2 +-
src/Generator_System.defs.hh | 2 +-
src/Generator_System.inlines.hh | 2 +-
src/Generator_System.types.hh | 2 +-
src/Grid.defs.hh | 2 +-
src/Grid.inlines.hh | 2 +-
src/Grid.templates.hh | 2 +-
src/Grid.types.hh | 2 +-
src/Grid_Certificate.cc | 2 +-
src/Grid_Certificate.defs.hh | 2 +-
src/Grid_Certificate.inlines.hh | 2 +-
src/Grid_Certificate.types.hh | 2 +-
src/Grid_Generator.cc | 2 +-
src/Grid_Generator.defs.hh | 2 +-
src/Grid_Generator.inlines.hh | 2 +-
src/Grid_Generator.types.hh | 2 +-
src/Grid_Generator_System.cc | 2 +-
src/Grid_Generator_System.defs.hh | 2 +-
src/Grid_Generator_System.inlines.hh | 2 +-
src/Grid_Generator_System.types.hh | 2 +-
src/Grid_Status.cc | 2 +-
src/Grid_Status.idefs.hh | 2 +-
src/Grid_Status.inlines.hh | 2 +-
src/Grid_chdims.cc | 2 +-
src/Grid_conversion.cc | 2 +-
src/Grid_nonpublic.cc | 2 +-
src/Grid_public.cc | 2 +-
src/Grid_simplify.cc | 2 +-
src/Grid_widenings.cc | 2 +-
src/H79_Certificate.cc | 2 +-
src/H79_Certificate.defs.hh | 2 +-
src/H79_Certificate.inlines.hh | 2 +-
src/H79_Certificate.types.hh | 2 +-
src/Has_Assign_Or_Swap.hh | 2 +-
src/Init.cc | 2 +-
src/Init.defs.hh | 2 +-
src/Init.inlines.hh | 2 +-
src/Init.types.hh | 2 +-
src/Interval.defs.hh | 2 +-
src/Interval.inlines.hh | 2 +-
src/Interval.templates.hh | 2 +-
src/Interval.types.hh | 2 +-
src/Interval_Info.defs.hh | 2 +-
src/Interval_Info.inlines.hh | 2 +-
src/Interval_Info.types.hh | 2 +-
src/Interval_Restriction.defs.hh | 2 +-
src/Linear_Expression.cc | 2 +-
src/Linear_Expression.defs.hh | 2 +-
src/Linear_Expression.inlines.hh | 2 +-
src/Linear_Expression.types.hh | 2 +-
src/Linear_Form.cc | 2 +-
src/Linear_Form.defs.hh | 2 +-
src/Linear_Form.inlines.hh | 2 +-
src/Linear_Form.templates.hh | 2 +-
src/Linear_Form.types.hh | 2 +-
src/Linear_Row.cc | 2 +-
src/Linear_Row.defs.hh | 2 +-
src/Linear_Row.inlines.hh | 2 +-
src/Linear_Row.types.hh | 2 +-
src/Linear_System.cc | 2 +-
src/Linear_System.defs.hh | 2 +-
src/Linear_System.inlines.hh | 2 +-
src/Linear_System.types.hh | 2 +-
src/MIP_Problem.cc | 2 +-
src/MIP_Problem.defs.hh | 2 +-
src/MIP_Problem.inlines.hh | 2 +-
src/MIP_Problem.templates.hh | 2 +-
src/MIP_Problem.types.hh | 2 +-
src/Makefile.am | 2 +-
src/Matrix.cc | 2 +-
src/Matrix.defs.hh | 2 +-
src/Matrix.inlines.hh | 2 +-
src/Matrix.types.hh | 2 +-
...ultiplication_Floating_Point_Expression.defs.hh | 2 +-
...iplication_Floating_Point_Expression.inlines.hh | 2 +-
...lication_Floating_Point_Expression.templates.hh | 2 +-
...ltiplication_Floating_Point_Expression.types.hh | 2 +-
src/NNC_Polyhedron.cc | 2 +-
src/NNC_Polyhedron.defs.hh | 2 +-
src/NNC_Polyhedron.inlines.hh | 2 +-
src/NNC_Polyhedron.types.hh | 2 +-
src/Numeric_Format.defs.hh | 2 +-
src/OR_Matrix.defs.hh | 2 +-
src/OR_Matrix.inlines.hh | 2 +-
src/OR_Matrix.templates.hh | 2 +-
src/OR_Matrix.types.hh | 2 +-
src/Octagonal_Shape.cc | 2 +-
src/Octagonal_Shape.defs.hh | 2 +-
src/Octagonal_Shape.inlines.hh | 2 +-
src/Octagonal_Shape.templates.hh | 2 +-
src/Octagonal_Shape.types.hh | 2 +-
src/Og_Status.idefs.hh | 2 +-
src/Og_Status.inlines.hh | 2 +-
src/Opposite_Floating_Point_Expression.defs.hh | 2 +-
src/Opposite_Floating_Point_Expression.inlines.hh | 2 +-
src/Opposite_Floating_Point_Expression.types.hh | 2 +-
src/Partially_Reduced_Product.defs.hh | 2 +-
src/Partially_Reduced_Product.inlines.hh | 2 +-
src/Partially_Reduced_Product.templates.hh | 2 +-
src/Partially_Reduced_Product.types.hh | 2 +-
src/Ph_Status.cc | 2 +-
src/Ph_Status.idefs.hh | 2 +-
src/Ph_Status.inlines.hh | 2 +-
src/Pointset_Ask_Tell.cc | 2 +-
src/Pointset_Ask_Tell.defs.hh | 2 +-
src/Pointset_Ask_Tell.inlines.hh | 2 +-
src/Pointset_Ask_Tell.templates.hh | 2 +-
src/Pointset_Ask_Tell.types.hh | 2 +-
src/Pointset_Powerset.cc | 2 +-
src/Pointset_Powerset.defs.hh | 2 +-
src/Pointset_Powerset.inlines.hh | 2 +-
src/Pointset_Powerset.templates.hh | 2 +-
src/Pointset_Powerset.types.hh | 2 +-
src/Poly_Con_Relation.cc | 2 +-
src/Poly_Con_Relation.defs.hh | 2 +-
src/Poly_Con_Relation.inlines.hh | 2 +-
src/Poly_Con_Relation.types.hh | 2 +-
src/Poly_Gen_Relation.cc | 2 +-
src/Poly_Gen_Relation.defs.hh | 2 +-
src/Poly_Gen_Relation.inlines.hh | 2 +-
src/Poly_Gen_Relation.types.hh | 2 +-
src/Polyhedron.defs.hh | 2 +-
src/Polyhedron.inlines.hh | 2 +-
src/Polyhedron.templates.hh | 2 +-
src/Polyhedron.types.hh | 2 +-
src/Polyhedron_chdims.cc | 2 +-
src/Polyhedron_nonpublic.cc | 2 +-
src/Polyhedron_public.cc | 2 +-
src/Polyhedron_widenings.cc | 2 +-
src/Powerset.defs.hh | 2 +-
src/Powerset.inlines.hh | 2 +-
src/Powerset.templates.hh | 2 +-
src/Powerset.types.hh | 2 +-
src/Ptr_Iterator.defs.hh | 2 +-
src/Ptr_Iterator.inlines.hh | 2 +-
src/Ptr_Iterator.types.hh | 2 +-
src/Rational_Box.hh | 2 +-
src/Rational_Interval.hh | 2 +-
src/Result.defs.hh | 2 +-
src/Result.inlines.hh | 2 +-
src/Rounding_Dir.defs.hh | 2 +-
src/Rounding_Dir.inlines.hh | 2 +-
src/Row.cc | 2 +-
src/Row.defs.hh | 2 +-
src/Row.inlines.hh | 2 +-
src/Row.types.hh | 2 +-
src/Scalar_Products.cc | 2 +-
src/Scalar_Products.defs.hh | 2 +-
src/Scalar_Products.inlines.hh | 2 +-
src/Scalar_Products.types.hh | 2 +-
src/Slow_Copy.hh | 2 +-
src/Sum_Floating_Point_Expression.defs.hh | 2 +-
src/Sum_Floating_Point_Expression.inlines.hh | 2 +-
src/Sum_Floating_Point_Expression.templates.hh | 2 +-
src/Sum_Floating_Point_Expression.types.hh | 2 +-
src/Temp.defs.hh | 2 +-
src/Temp.inlines.hh | 2 +-
src/Temp.templates.hh | 2 +-
src/Topology.hh | 2 +-
src/Variable.cc | 2 +-
src/Variable.defs.hh | 2 +-
src/Variable.inlines.hh | 2 +-
src/Variable.types.hh | 2 +-
src/Variable_Floating_Point_Expression.defs.hh | 2 +-
src/Variable_Floating_Point_Expression.inlines.hh | 2 +-
src/Variable_Floating_Point_Expression.types.hh | 2 +-
src/Variables_Set.cc | 2 +-
src/Variables_Set.defs.hh | 2 +-
src/Variables_Set.inlines.hh | 2 +-
src/Variables_Set.types.hh | 2 +-
src/WRD_coefficient_types.defs.hh | 2 +-
src/WRD_coefficient_types.inlines.hh | 2 +-
src/Weight_Profiler.cc | 2 +-
src/Weight_Profiler.defs.hh | 2 +-
src/Widening_Function.defs.hh | 2 +-
src/Widening_Function.inlines.hh | 2 +-
src/Widening_Function.types.hh | 2 +-
src/algorithms.hh | 2 +-
src/assert.hh | 2 +-
src/assign_or_swap.hh | 2 +-
src/c_streambuf.cc | 2 +-
src/c_streambuf.defs.hh | 2 +-
src/c_streambuf.inlines.hh | 2 +-
src/c_streambuf.types.hh | 2 +-
src/checked.cc | 2 +-
src/checked.defs.hh | 2 +-
src/checked.inlines.hh | 2 +-
src/checked_ext.defs.hh | 2 +-
src/checked_ext.inlines.hh | 2 +-
src/checked_float.inlines.hh | 2 +-
src/checked_int.inlines.hh | 2 +-
src/checked_mpq.inlines.hh | 2 +-
src/checked_mpz.inlines.hh | 2 +-
src/checked_numeric_limits.hh | 2 +-
src/compiler.hh | 2 +-
src/conversion.cc | 2 +-
src/distances.defs.hh | 2 +-
src/distances.inlines.hh | 2 +-
src/distances.types.hh | 2 +-
src/fpu-c99.inlines.hh | 2 +-
src/fpu-ia32.cc | 2 +-
src/fpu-ia32.inlines.hh | 2 +-
src/fpu-none.inlines.hh | 2 +-
src/fpu-sparc.inlines.hh | 2 +-
src/fpu.defs.hh | 2 +-
src/fpu.types.hh | 2 +-
src/globals.cc | 2 +-
src/globals.defs.hh | 2 +-
src/globals.inlines.hh | 2 +-
src/globals.types.hh | 2 +-
src/initializer.hh | 2 +-
src/intervals.defs.hh | 2 +-
src/iterator_to_const.defs.hh | 2 +-
src/iterator_to_const.inlines.hh | 2 +-
src/iterator_to_const.types.hh | 2 +-
src/math_utilities.defs.hh | 2 +-
src/math_utilities.inlines.hh | 2 +-
src/max_space_dimension.hh | 2 +-
src/meta_programming.hh | 2 +-
src/minimize.cc | 2 +-
src/mp_std_bits.cc | 2 +-
src/mp_std_bits.defs.hh | 2 +-
src/mp_std_bits.inlines.hh | 2 +-
src/namespaces.hh | 2 +-
src/ppl-config.cc.in | 2 +-
src/ppl_header.hh | 2 +-
src/simplify.cc | 2 +-
src/stdiobuf.cc | 2 +-
src/stdiobuf.defs.hh | 2 +-
src/stdiobuf.inlines.hh | 2 +-
src/stdiobuf.types.hh | 2 +-
src/swapping_sort.icc | 2 +-
src/version.cc | 4 ++--
src/version.hh.in | 2 +-
src/wrap_assign.hh | 2 +-
src/wrap_string.cc | 2 +-
src/wrap_string.hh | 2 +-
tests/Ask_Tell/Makefile.am | 2 +-
tests/Ask_Tell/append1.cc | 2 +-
tests/BD_Shape/Makefile.am | 2 +-
tests/BD_Shape/addconstraints1.cc | 2 +-
tests/BD_Shape/addspacedims1.cc | 2 +-
tests/BD_Shape/affinedimension1.cc | 2 +-
tests/BD_Shape/affineimage1.cc | 2 +-
tests/BD_Shape/affineimage2.cc | 2 +-
tests/BD_Shape/affinepreimage1.cc | 2 +-
tests/BD_Shape/ascii_dump_load1.cc | 2 +-
tests/BD_Shape/bgp99extrapolation1.cc | 2 +-
tests/BD_Shape/bhmz05widening1.cc | 2 +-
tests/BD_Shape/bhz03widening1.cc | 2 +-
tests/BD_Shape/bounded1.cc | 2 +-
tests/BD_Shape/boundedaffineimage1.cc | 2 +-
tests/BD_Shape/boundedaffinepreimage1.cc | 2 +-
tests/BD_Shape/bounds1.cc | 2 +-
tests/BD_Shape/cc76extrapolation1.cc | 2 +-
tests/BD_Shape/cc76narrowing1.cc | 2 +-
tests/BD_Shape/closure1.cc | 2 +-
tests/BD_Shape/concatenate1.cc | 2 +-
tests/BD_Shape/congruences1.cc | 2 +-
tests/BD_Shape/constrains1.cc | 2 +-
tests/BD_Shape/constraints1.cc | 2 +-
tests/BD_Shape/contains1.cc | 2 +-
tests/BD_Shape/containsintegerpoint1.cc | 2 +-
tests/BD_Shape/difference1.cc | 2 +-
tests/BD_Shape/discrete1.cc | 2 +-
tests/BD_Shape/disjoint1.cc | 2 +-
tests/BD_Shape/empty1.cc | 2 +-
tests/BD_Shape/equality1.cc | 2 +-
tests/BD_Shape/expandspacedim1.cc | 2 +-
tests/BD_Shape/foldspacedims1.cc | 2 +-
tests/BD_Shape/frombdshape1.cc | 2 +-
tests/BD_Shape/frombox1.cc | 2 +-
tests/BD_Shape/fromgensys1.cc | 2 +-
tests/BD_Shape/fromgrid1.cc | 2 +-
tests/BD_Shape/fromoctagonalshape1.cc | 2 +-
tests/BD_Shape/frompolyhedron1.cc | 2 +-
tests/BD_Shape/fromspacedim1.cc | 2 +-
tests/BD_Shape/generalizedaffineimage1.cc | 2 +-
tests/BD_Shape/generalizedaffineimage2.cc | 2 +-
tests/BD_Shape/generalizedaffinepreimage1.cc | 2 +-
tests/BD_Shape/generalizedaffinepreimage2.cc | 2 +-
tests/BD_Shape/generalizedaffinepreimage3.cc | 2 +-
tests/BD_Shape/geomcovers1.cc | 2 +-
tests/BD_Shape/h79widening1.cc | 2 +-
tests/BD_Shape/integerupperboundifexact1.cc | 2 +-
tests/BD_Shape/intersection1.cc | 2 +-
tests/BD_Shape/limitedbhmz05extrapolation1.cc | 2 +-
tests/BD_Shape/limitedcc76extrapolation1.cc | 2 +-
tests/BD_Shape/limitedh79extrapolation1.cc | 2 +-
tests/BD_Shape/mapspacedims1.cc | 2 +-
tests/BD_Shape/max_min1.cc | 2 +-
tests/BD_Shape/max_min2.cc | 2 +-
tests/BD_Shape/maxspacedim1.cc | 2 +-
tests/BD_Shape/membytes1.cc | 2 +-
tests/BD_Shape/minconstraints1.cc | 2 +-
tests/BD_Shape/relations1.cc | 2 +-
tests/BD_Shape/relations2.cc | 2 +-
tests/BD_Shape/relations3.cc | 2 +-
tests/BD_Shape/relations4.cc | 2 +-
tests/BD_Shape/removespacedims1.cc | 2 +-
tests/BD_Shape/run_tests | 2 +-
tests/BD_Shape/simplifyusingcontext1.cc | 2 +-
tests/BD_Shape/timeelapse1.cc | 2 +-
tests/BD_Shape/unconstrain1.cc | 2 +-
tests/BD_Shape/universe1.cc | 2 +-
tests/BD_Shape/upperbound1.cc | 2 +-
tests/BD_Shape/upperboundifexact1.cc | 2 +-
tests/BD_Shape/wrap1.cc | 2 +-
tests/BD_Shape/writebdshape1.cc | 2 +-
tests/Box/Makefile.am | 2 +-
tests/Box/addconstraints1.cc | 2 +-
tests/Box/addspacedims1.cc | 2 +-
tests/Box/affinedimension1.cc | 2 +-
tests/Box/affineimage1.cc | 2 +-
tests/Box/affinepreimage1.cc | 2 +-
tests/Box/ascii_dump_load1.cc | 2 +-
tests/Box/bgp99extrapolation1.cc | 2 +-
tests/Box/bhz03widening1.cc | 2 +-
tests/Box/bounded1.cc | 2 +-
tests/Box/boundedaffineimage1.cc | 2 +-
tests/Box/boundedaffinepreimage1.cc | 2 +-
tests/Box/cc76narrowing1.cc | 2 +-
tests/Box/cc76widening.cc | 2 +-
tests/Box/concatenate1.cc | 2 +-
tests/Box/congruences1.cc | 2 +-
tests/Box/constrains1.cc | 2 +-
tests/Box/constraints1.cc | 2 +-
tests/Box/contains1.cc | 2 +-
tests/Box/containsintegerpoint1.cc | 2 +-
tests/Box/difference1.cc | 2 +-
tests/Box/discrete1.cc | 2 +-
tests/Box/disjoint1.cc | 2 +-
tests/Box/empty1.cc | 2 +-
tests/Box/equality1.cc | 2 +-
tests/Box/expandspacedim1.cc | 2 +-
tests/Box/foldspacedims1.cc | 2 +-
tests/Box/frombdshape1.cc | 2 +-
tests/Box/frombox1.cc | 2 +-
tests/Box/fromgensys1.cc | 2 +-
tests/Box/fromgrid1.cc | 2 +-
tests/Box/frompartiallyreducedproduct1.cc | 2 +-
tests/Box/frompolyhedron1.cc | 2 +-
tests/Box/frompolyhedron2.cc | 2 +-
tests/Box/fromspacedim1.cc | 2 +-
tests/Box/generalizedaffineimage1.cc | 2 +-
tests/Box/generalizedaffineimage2.cc | 2 +-
tests/Box/generalizedaffinepreimage1.cc | 2 +-
tests/Box/geomcovers1.cc | 2 +-
tests/Box/intersection1.cc | 2 +-
tests/Box/interval1.cc | 2 +-
tests/Box/limitedcc76extrapolation1.cc | 2 +-
tests/Box/mapspacedims1.cc | 2 +-
tests/Box/max_min1.cc | 2 +-
tests/Box/maxspacedim1.cc | 2 +-
tests/Box/membytes1.cc | 2 +-
tests/Box/minconstraints1.cc | 2 +-
tests/Box/propagateconstraints1.cc | 2 +-
tests/Box/propagateconstraints2.cc | 2 +-
tests/Box/refinewithcongruence1.cc | 2 +-
tests/Box/refinewithcongruences1.cc | 2 +-
tests/Box/refinewithconstraint1.cc | 2 +-
tests/Box/refinewithconstraint2.cc | 2 +-
tests/Box/refinewithconstraints1.cc | 2 +-
tests/Box/refinewithconstraints2.cc | 2 +-
tests/Box/relations1.cc | 2 +-
tests/Box/relations2.cc | 2 +-
tests/Box/relations3.cc | 2 +-
tests/Box/relations4.cc | 2 +-
tests/Box/removespacedims1.cc | 2 +-
tests/Box/run_tests | 2 +-
tests/Box/simplifyusingcontext1.cc | 2 +-
tests/Box/timeelapse1.cc | 2 +-
tests/Box/topclosed1.cc | 2 +-
tests/Box/unconstrain1.cc | 2 +-
tests/Box/universe1.cc | 2 +-
tests/Box/upperbound1.cc | 2 +-
tests/Box/upperboundifexact1.cc | 2 +-
tests/Box/wrap1.cc | 2 +-
tests/Box/writebox1.cc | 2 +-
tests/Floating_Point_Expression/Makefile.am | 2 +-
tests/Floating_Point_Expression/bdshape1.cc | 2 +-
tests/Floating_Point_Expression/bdshape2.cc | 2 +-
tests/Floating_Point_Expression/digitalfilters1.cc | 2 +-
.../floatingpointexpr1.cc | 2 +-
tests/Floating_Point_Expression/linearform1.cc | 2 +-
tests/Floating_Point_Expression/octagonalshape1.cc | 2 +-
tests/Floating_Point_Expression/octagonalshape2.cc | 2 +-
tests/Floating_Point_Expression/polyhedron1.cc | 2 +-
tests/Floating_Point_Expression/polyhedron2.cc | 2 +-
tests/Floating_Point_Expression/run_tests | 2 +-
tests/Grid/Makefile.am | 2 +-
tests/Grid/addcongruence1.cc | 2 +-
tests/Grid/addcongruences1.cc | 2 +-
tests/Grid/addconstraint1.cc | 2 +-
tests/Grid/addconstraints1.cc | 2 +-
tests/Grid/addgenerator1.cc | 2 +-
tests/Grid/addgenerators1.cc | 2 +-
tests/Grid/addspacedims1.cc | 2 +-
tests/Grid/affinedim1.cc | 2 +-
tests/Grid/affineimage1.cc | 2 +-
tests/Grid/affineimage2.cc | 2 +-
tests/Grid/affinepreimage1.cc | 2 +-
tests/Grid/affinepreimage2.cc | 2 +-
tests/Grid/approximatepartition1.cc | 2 +-
tests/Grid/asciidumpload1.cc | 2 +-
tests/Grid/asciidumpload2.cc | 2 +-
tests/Grid/asciidumpload3.cc | 2 +-
tests/Grid/asciidumpload4.cc | 2 +-
tests/Grid/asciidumpload5.cc | 2 +-
tests/Grid/asciidumpload6.cc | 2 +-
tests/Grid/bhz03widening1.cc | 2 +-
tests/Grid/bounded1.cc | 2 +-
tests/Grid/boundedaffineimage1.cc | 2 +-
tests/Grid/boundedaffinepreimage1.cc | 2 +-
tests/Grid/boundingbox1.cc | 2 +-
tests/Grid/bounds1.cc | 2 +-
tests/Grid/certificate1.cc | 2 +-
tests/Grid/concatenate1.cc | 2 +-
tests/Grid/congruence1.cc | 2 +-
tests/Grid/congruences1.cc | 2 +-
tests/Grid/congruences2.cc | 2 +-
tests/Grid/constraints1.cc | 2 +-
tests/Grid/contains1.cc | 2 +-
tests/Grid/containsintegerpoint1.cc | 2 +-
tests/Grid/discrete1.cc | 2 +-
tests/Grid/disjoint1.cc | 2 +-
tests/Grid/equals1.cc | 2 +-
tests/Grid/expandspacedim1.cc | 2 +-
tests/Grid/foldspacedims1.cc | 2 +-
tests/Grid/frombdshape1.cc | 2 +-
tests/Grid/frombox1.cc | 2 +-
tests/Grid/fromgrid1.cc | 2 +-
tests/Grid/fromoctagonalshape1.cc | 2 +-
tests/Grid/frompolyhedron1.cc | 2 +-
tests/Grid/generalizedaffineimage1.cc | 2 +-
tests/Grid/generalizedaffineimage2.cc | 2 +-
tests/Grid/generalizedaffineimage3.cc | 2 +-
tests/Grid/generalizedaffinepreimage1.cc | 2 +-
tests/Grid/generalizedaffinepreimage2.cc | 2 +-
tests/Grid/generalizedaffinepreimage3.cc | 2 +-
tests/Grid/generator1.cc | 2 +-
tests/Grid/generators1.cc | 2 +-
tests/Grid/generators2.cc | 2 +-
tests/Grid/grid1.cc | 2 +-
tests/Grid/grid2.cc | 2 +-
tests/Grid/grid3.cc | 2 +-
tests/Grid/griddifference1.cc | 2 +-
tests/Grid/intersection1.cc | 2 +-
tests/Grid/isempty1.cc | 2 +-
tests/Grid/isuniverse1.cc | 2 +-
tests/Grid/limitedextrapolation1.cc | 2 +-
tests/Grid/limitedextrapolation2.cc | 2 +-
tests/Grid/limitedextrapolation3.cc | 2 +-
tests/Grid/mapspacedims1.cc | 2 +-
tests/Grid/maxmin1.cc | 2 +-
tests/Grid/membytes1.cc | 2 +-
tests/Grid/mincongruences1.cc | 2 +-
tests/Grid/mingenerators1.cc | 2 +-
tests/Grid/outputoperator1.cc | 2 +-
tests/Grid/outputoperator2.cc | 2 +-
tests/Grid/outputoperator3.cc | 2 +-
tests/Grid/partition1.cc | 2 +-
tests/Grid/powersetdifference1.cc | 2 +-
tests/Grid/powersetgeometricallycovers1.cc | 2 +-
tests/Grid/powersetgeometricallyequals1.cc | 2 +-
tests/Grid/refinewithcongruences1.cc | 2 +-
tests/Grid/refinewithconstraints1.cc | 2 +-
tests/Grid/relations1.cc | 2 +-
tests/Grid/relations2.cc | 2 +-
tests/Grid/relations3.cc | 2 +-
tests/Grid/removespacedims1.cc | 2 +-
tests/Grid/removespacedims2.cc | 2 +-
tests/Grid/simplifyusingcontext1.cc | 2 +-
tests/Grid/timeelapse1.cc | 2 +-
tests/Grid/topclosed1.cc | 2 +-
tests/Grid/topclosure1.cc | 2 +-
tests/Grid/unconstrain1.cc | 2 +-
tests/Grid/upperbound1.cc | 2 +-
tests/Grid/upperbound2.cc | 2 +-
tests/Grid/widening1.cc | 2 +-
tests/Grid/widening2.cc | 2 +-
tests/Grid/widening3.cc | 2 +-
tests/Grid/wrap1.cc | 2 +-
tests/Grid/writecongruencesystem.cc | 2 +-
tests/MIP_Problem/Makefile.am | 2 +-
tests/MIP_Problem/ascii_dump_load1.cc | 2 +-
tests/MIP_Problem/exceptions1.cc | 2 +-
tests/MIP_Problem/mipproblem1.cc | 2 +-
tests/MIP_Problem/mipproblem2.cc | 2 +-
tests/MIP_Problem/mipproblem3.cc | 2 +-
tests/Makefile.am | 2 +-
tests/Octagonal_Shape/Makefile.am | 2 +-
tests/Octagonal_Shape/addspacedims1.cc | 2 +-
tests/Octagonal_Shape/affinedimension1.cc | 2 +-
tests/Octagonal_Shape/affineimage1.cc | 2 +-
tests/Octagonal_Shape/affineimage2.cc | 2 +-
tests/Octagonal_Shape/affinepreimage1.cc | 2 +-
tests/Octagonal_Shape/affinepreimage2.cc | 2 +-
tests/Octagonal_Shape/ascii_dump_load1.cc | 2 +-
tests/Octagonal_Shape/bhmz05widening1.cc | 2 +-
tests/Octagonal_Shape/bhz03widening1.cc | 2 +-
tests/Octagonal_Shape/bounded1.cc | 2 +-
tests/Octagonal_Shape/boundedaffineimage1.cc | 2 +-
tests/Octagonal_Shape/boundedaffinepreimage1.cc | 2 +-
tests/Octagonal_Shape/bounds1.cc | 2 +-
tests/Octagonal_Shape/cc76extrapolation1.cc | 2 +-
tests/Octagonal_Shape/cc76narrowing1.cc | 2 +-
tests/Octagonal_Shape/chinainit.cc | 2 +-
tests/Octagonal_Shape/concatenate1.cc | 2 +-
tests/Octagonal_Shape/congruences1.cc | 2 +-
tests/Octagonal_Shape/constrains1.cc | 2 +-
tests/Octagonal_Shape/constraints1.cc | 2 +-
tests/Octagonal_Shape/contains1.cc | 2 +-
tests/Octagonal_Shape/containsintegerpoint1.cc | 2 +-
tests/Octagonal_Shape/difference1.cc | 2 +-
tests/Octagonal_Shape/discrete1.cc | 2 +-
tests/Octagonal_Shape/disjoint1.cc | 2 +-
tests/Octagonal_Shape/empty1.cc | 2 +-
tests/Octagonal_Shape/expandspacedim1.cc | 2 +-
tests/Octagonal_Shape/foldspacedims1.cc | 2 +-
tests/Octagonal_Shape/frombdshape1.cc | 2 +-
tests/Octagonal_Shape/frombox1.cc | 2 +-
tests/Octagonal_Shape/fromgensys1.cc | 2 +-
tests/Octagonal_Shape/fromgrid1.cc | 2 +-
tests/Octagonal_Shape/fromoctagonalshape1.cc | 2 +-
tests/Octagonal_Shape/frompolyhedron1.cc | 2 +-
tests/Octagonal_Shape/fromspacedim1.cc | 2 +-
tests/Octagonal_Shape/generalizedaffineimage1.cc | 2 +-
tests/Octagonal_Shape/generalizedaffineimage2.cc | 2 +-
tests/Octagonal_Shape/generalizedaffineimage3.cc | 2 +-
tests/Octagonal_Shape/generalizedaffineimage4.cc | 2 +-
tests/Octagonal_Shape/generalizedaffineimage5.cc | 2 +-
.../Octagonal_Shape/generalizedaffinepreimage1.cc | 2 +-
.../Octagonal_Shape/generalizedaffinepreimage2.cc | 2 +-
.../Octagonal_Shape/generalizedaffinepreimage3.cc | 2 +-
.../Octagonal_Shape/generalizedaffinepreimage4.cc | 2 +-
tests/Octagonal_Shape/integerupperboundifexact1.cc | 2 +-
tests/Octagonal_Shape/intersection1.cc | 2 +-
.../Octagonal_Shape/limitedbhmz05extrapolation1.cc | 2 +-
tests/Octagonal_Shape/limitedcc76extrapolation1.cc | 2 +-
tests/Octagonal_Shape/mapspacedims1.cc | 2 +-
tests/Octagonal_Shape/max_min1.cc | 2 +-
tests/Octagonal_Shape/max_min2.cc | 2 +-
tests/Octagonal_Shape/maxspacedim1.cc | 2 +-
tests/Octagonal_Shape/membytes1.cc | 2 +-
tests/Octagonal_Shape/minconstraints1.cc | 2 +-
tests/Octagonal_Shape/relatwithcons1.cc | 2 +-
tests/Octagonal_Shape/relatwithcons2.cc | 2 +-
tests/Octagonal_Shape/relatwithcons3.cc | 2 +-
tests/Octagonal_Shape/relatwithgen1.cc | 2 +-
tests/Octagonal_Shape/removespacedims1.cc | 2 +-
tests/Octagonal_Shape/run_tests | 2 +-
tests/Octagonal_Shape/simplifyusingcontext1.cc | 2 +-
tests/Octagonal_Shape/timeelapse1.cc | 2 +-
tests/Octagonal_Shape/unconstrain1.cc | 2 +-
tests/Octagonal_Shape/universe1.cc | 2 +-
tests/Octagonal_Shape/upperbound1.cc | 2 +-
tests/Octagonal_Shape/upperboundifexact1.cc | 2 +-
tests/Octagonal_Shape/wrap1.cc | 2 +-
tests/Octagonal_Shape/writeoctagon1.cc | 2 +-
tests/Partial_Function.cc | 2 +-
tests/Partial_Function.defs.hh | 2 +-
tests/Partial_Function.inlines.hh | 2 +-
tests/Partial_Function.types.hh | 2 +-
tests/Partially_Reduced_Product/Makefile.am | 2 +-
tests/Partially_Reduced_Product/asciidumpload1.cc | 2 +-
tests/Partially_Reduced_Product/directproduct1.cc | 2 +-
tests/Partially_Reduced_Product/directproduct2.cc | 2 +-
tests/Partially_Reduced_Product/directproduct3.cc | 2 +-
tests/Partially_Reduced_Product/directproduct4.cc | 2 +-
tests/Partially_Reduced_Product/directproduct5.cc | 2 +-
tests/Partially_Reduced_Product/directproduct6.cc | 2 +-
.../partiallyreducedproduct1.cc | 2 +-
.../partiallyreducedproduct2.cc | 2 +-
.../partiallyreducedproduct3.cc | 2 +-
.../partiallyreducedproduct4.cc | 2 +-
tests/Polyhedron/Makefile.am | 2 +-
tests/Polyhedron/addcongruence1.cc | 2 +-
tests/Polyhedron/addcongruences1.cc | 2 +-
tests/Polyhedron/addconstraint1.cc | 2 +-
tests/Polyhedron/addconstraints1.cc | 2 +-
tests/Polyhedron/addconstraints2.cc | 2 +-
tests/Polyhedron/addgenerator1.cc | 2 +-
tests/Polyhedron/addgenerator2.cc | 2 +-
tests/Polyhedron/addgenerators1.cc | 2 +-
tests/Polyhedron/addgenerators2.cc | 2 +-
tests/Polyhedron/addspacedims1.cc | 2 +-
tests/Polyhedron/addspacedims2.cc | 2 +-
tests/Polyhedron/affineimage1.cc | 2 +-
tests/Polyhedron/affineimage2.cc | 2 +-
tests/Polyhedron/affinepreimage1.cc | 2 +-
tests/Polyhedron/affinetrans.cc | 2 +-
tests/Polyhedron/append1.cc | 2 +-
tests/Polyhedron/append2.cc | 2 +-
tests/Polyhedron/ascii_dump_load1.cc | 2 +-
tests/Polyhedron/ascii_dump_load2.cc | 2 +-
tests/Polyhedron/ascii_dump_load3.cc | 2 +-
tests/Polyhedron/bgp99extrapolation1.cc | 2 +-
tests/Polyhedron/bgp99extrapolation2.cc | 2 +-
tests/Polyhedron/bhrz03widening1.cc | 2 +-
tests/Polyhedron/bhrz03widening2.cc | 2 +-
tests/Polyhedron/bhrz03widening3.cc | 2 +-
tests/Polyhedron/bhz03widening1.cc | 2 +-
tests/Polyhedron/bounded1.cc | 2 +-
tests/Polyhedron/boundedaffineimage1.cc | 2 +-
tests/Polyhedron/boundedaffinepreimage1.cc | 2 +-
tests/Polyhedron/boundedbhrz03extrapolation1.cc | 2 +-
tests/Polyhedron/boundedh79extrapolation1.cc | 2 +-
tests/Polyhedron/bounds1.cc | 2 +-
tests/Polyhedron/cnncconversion1.cc | 2 +-
tests/Polyhedron/concatenate1.cc | 2 +-
tests/Polyhedron/congruences1.cc | 2 +-
tests/Polyhedron/constrains1.cc | 2 +-
tests/Polyhedron/constraints1.cc | 2 +-
tests/Polyhedron/contains1.cc | 2 +-
tests/Polyhedron/contains2.cc | 2 +-
tests/Polyhedron/containsintegerpoint1.cc | 2 +-
tests/Polyhedron/disjoint1.cc | 2 +-
tests/Polyhedron/disjoint2.cc | 2 +-
tests/Polyhedron/dualhypercubes.cc | 2 +-
tests/Polyhedron/empty1.cc | 2 +-
tests/Polyhedron/equals1.cc | 2 +-
tests/Polyhedron/exceptions1.cc | 2 +-
tests/Polyhedron/exceptions2.cc | 2 +-
tests/Polyhedron/exceptions3.cc | 2 +-
tests/Polyhedron/expandspacedim1.cc | 2 +-
tests/Polyhedron/expandspacedim2.cc | 2 +-
tests/Polyhedron/foldspacedims1.cc | 2 +-
tests/Polyhedron/foldspacedims2.cc | 2 +-
tests/Polyhedron/frombdshape1.cc | 2 +-
tests/Polyhedron/frombox1.cc | 2 +-
tests/Polyhedron/frombox2.cc | 2 +-
tests/Polyhedron/fromgrid1.cc | 2 +-
tests/Polyhedron/fromoctagonalshape1.cc | 2 +-
tests/Polyhedron/generalizedaffineimage1.cc | 2 +-
tests/Polyhedron/generalizedaffineimage2.cc | 2 +-
tests/Polyhedron/generalizedaffinepreimage1.cc | 2 +-
tests/Polyhedron/generalizedaffinepreimage2.cc | 2 +-
tests/Polyhedron/generators1.cc | 2 +-
tests/Polyhedron/geomcovers1.cc | 2 +-
tests/Polyhedron/h79widening1.cc | 2 +-
tests/Polyhedron/h79widening2.cc | 2 +-
tests/Polyhedron/hybrid.cc | 2 +-
tests/Polyhedron/intersection1.cc | 2 +-
tests/Polyhedron/limitedbhrz03extrapolation1.cc | 2 +-
tests/Polyhedron/limitedh79extrapolation1.cc | 2 +-
tests/Polyhedron/linearexpression1.cc | 2 +-
tests/Polyhedron/linearpartition1.cc | 2 +-
tests/Polyhedron/linearsystem1.cc | 2 +-
tests/Polyhedron/mapspacedims1.cc | 2 +-
tests/Polyhedron/matrix1.cc | 2 +-
tests/Polyhedron/max_min1.cc | 2 +-
tests/Polyhedron/maxspacedim1.cc | 2 +-
tests/Polyhedron/mc91.cc | 2 +-
tests/Polyhedron/membytes1.cc | 2 +-
tests/Polyhedron/memory1.cc | 2 +-
tests/Polyhedron/memory2.cc | 2 +-
tests/Polyhedron/minconstraints1.cc | 2 +-
tests/Polyhedron/minconstraints2.cc | 2 +-
tests/Polyhedron/mingenerators1.cc | 2 +-
tests/Polyhedron/mingenerators2.cc | 2 +-
tests/Polyhedron/nncminimize1.cc | 2 +-
tests/Polyhedron/nncminimize2.cc | 2 +-
tests/Polyhedron/numberinput1.cc | 2 +-
tests/Polyhedron/onepoint.cc | 2 +-
tests/Polyhedron/permute.cc | 2 +-
tests/Polyhedron/polydifference1.cc | 2 +-
tests/Polyhedron/polydifference2.cc | 2 +-
tests/Polyhedron/polyhull1.cc | 2 +-
tests/Polyhedron/polyhull2.cc | 2 +-
tests/Polyhedron/polyhullifexact1.cc | 2 +-
tests/Polyhedron/polyhullifexact2.cc | 2 +-
tests/Polyhedron/randphull1.cc | 2 +-
tests/Polyhedron/refinewithcongruence1.cc | 2 +-
tests/Polyhedron/refinewithcongruences1.cc | 2 +-
tests/Polyhedron/refinewithconstraint1.cc | 2 +-
tests/Polyhedron/refinewithconstraints1.cc | 2 +-
tests/Polyhedron/relations1.cc | 2 +-
tests/Polyhedron/relations2.cc | 2 +-
tests/Polyhedron/relations3.cc | 2 +-
tests/Polyhedron/removespacedims1.cc | 2 +-
tests/Polyhedron/removespacedims2.cc | 2 +-
tests/Polyhedron/simplifyusingcontext1.cc | 2 +-
tests/Polyhedron/smm1.cc | 2 +-
tests/Polyhedron/timeelapse1.cc | 2 +-
tests/Polyhedron/timeelapse2.cc | 2 +-
tests/Polyhedron/topclosed1.cc | 2 +-
tests/Polyhedron/topclosure1.cc | 2 +-
tests/Polyhedron/unconstrain1.cc | 2 +-
tests/Polyhedron/universe1.cc | 2 +-
tests/Polyhedron/universe2.cc | 2 +-
tests/Polyhedron/variablesset1.cc | 2 +-
tests/Polyhedron/watchdog1.cc | 2 +-
tests/Polyhedron/weightwatch1.cc | 2 +-
tests/Polyhedron/wrap1.cc | 2 +-
tests/Polyhedron/wrap2.cc | 2 +-
tests/Polyhedron/writeconsys1.cc | 2 +-
tests/Polyhedron/writegensys1.cc | 2 +-
tests/Polyhedron/writepolyhedron1.cc | 2 +-
tests/Polyhedron/writepolyhedron2.cc | 2 +-
tests/Polyhedron/writerelation1.cc | 2 +-
tests/Polyhedron/writevariable1.cc | 2 +-
tests/Powerset/Makefile.am | 2 +-
tests/Powerset/addcongruences1.cc | 2 +-
tests/Powerset/addconstraints1.cc | 2 +-
tests/Powerset/affinedimension1.cc | 2 +-
tests/Powerset/affineimage1.cc | 2 +-
tests/Powerset/affinepreimage1.cc | 2 +-
tests/Powerset/bounded1.cc | 2 +-
tests/Powerset/bounds1.cc | 2 +-
tests/Powerset/closed1.cc | 2 +-
tests/Powerset/closure1.cc | 2 +-
tests/Powerset/collapse1.cc | 2 +-
tests/Powerset/concatenate1.cc | 2 +-
tests/Powerset/contains1.cc | 2 +-
tests/Powerset/containsintegerpoint1.cc | 2 +-
tests/Powerset/difference1.cc | 2 +-
tests/Powerset/discrete1.cc | 2 +-
tests/Powerset/disjoint1.cc | 2 +-
tests/Powerset/disjunct1.cc | 2 +-
tests/Powerset/empty1.cc | 2 +-
tests/Powerset/entails1.cc | 2 +-
tests/Powerset/equals1.cc | 2 +-
tests/Powerset/frombdshape1.cc | 2 +-
tests/Powerset/frombox1.cc | 2 +-
tests/Powerset/fromcongruences1.cc | 2 +-
tests/Powerset/fromconstraints1.cc | 2 +-
tests/Powerset/fromgrid1.cc | 2 +-
tests/Powerset/fromoctagonalshape1.cc | 2 +-
tests/Powerset/frompolyhedron1.cc | 2 +-
tests/Powerset/fromspacedimension1.cc | 2 +-
tests/Powerset/intersection1.cc | 2 +-
tests/Powerset/maxmin1.cc | 2 +-
tests/Powerset/meet1.cc | 2 +-
tests/Powerset/membytes1.cc | 2 +-
tests/Powerset/powerset1.cc | 2 +-
tests/Powerset/reduce1.cc | 2 +-
tests/Powerset/refinewith1.cc | 2 +-
tests/Powerset/relationwith1.cc | 2 +-
tests/Powerset/simplifyusingcontext1.cc | 2 +-
tests/Powerset/size1.cc | 2 +-
tests/Powerset/spacedims1.cc | 2 +-
tests/Powerset/universe1.cc | 2 +-
tests/Powerset/upperbound1.cc | 2 +-
tests/README | 4 ++--
tests/Random_Number_Generator.defs.hh | 2 +-
tests/Random_Number_Generator.inlines.hh | 2 +-
tests/Random_Number_Generator.types.hh | 2 +-
tests/files.cc | 2 +-
tests/files.hh | 2 +-
tests/ppl_test.cc | 2 +-
tests/ppl_test.hh | 2 +-
utils/Makefile.am | 2 +-
utils/build_header.in | 2 +-
utils/cm_cleaner.sh | 2 +-
utils/cm_splitter.sh | 2 +-
utils/text2cxxarray.in | 2 +-
utils/timings.cc | 2 +-
utils/timings.hh | 2 +-
1189 files changed, 1200 insertions(+), 1200 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=488f55fb…
1
0