March 2012 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Added missing paragraph.
by Roberto Bagnara 17 Mar '12

17 Mar '12

Module: ppl/ppl Branch: master Commit: d057ae45cf1b02454c4ecc0a93495e9810b1e91d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d057ae45cf1b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 17 18:03:59 2012 +0100 Added missing paragraph. --- interfaces/Prolog/Prolog_interface_compilation.dox | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/interfaces/Prolog/Prolog_interface_compilation.dox b/interfaces/Prolog/Prolog_interface_compilation.dox index dadb9db..ba49851 100644 --- a/interfaces/Prolog/Prolog_interface_compilation.dox +++ b/interfaces/Prolog/Prolog_interface_compilation.dox @@ -19,6 +19,10 @@ // FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License // for more details. // +// If you have not received a copy of one or both the above mentioned +// licenses along with the PPL, write to the Free Software Foundation, +// Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. +// // For the most up-to-date information see the Parma Polyhedra Library // site: http://bugseng.com/ppl/

1 0

[GIT] ppl/ppl(master): Standardized copyright messages.
by Roberto Bagnara 17 Mar '12

17 Mar '12

Module: ppl/ppl Branch: master Commit: 71cd387e80247071b73e5d6fcec57df6516bb9ac URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71cd387e8024… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 17 15:43:21 2012 +0100 Standardized copyright messages. --- doc/definitions.dox | 4 ++++ doc/devref-language-interface.tex | 8 ++++++++ doc/devref.tex | 8 ++++++++ doc/user-language-interface.tex | 8 ++++++++ doc/user.tex | 8 ++++++++ 5 files changed, 36 insertions(+), 0 deletions(-) diff --git a/doc/definitions.dox b/doc/definitions.dox index 6010f4a..05d11ef 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -19,6 +19,10 @@ // FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License // for more details. // +// If you have not received a copy of one or both the above mentioned +// licenses along with the PPL, write to the Free Software Foundation, +// Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. +// // For the most up-to-date information see the Parma Polyhedra Library // site: http://bugseng.com/products/ppl/ diff --git a/doc/devref-language-interface.tex b/doc/devref-language-interface.tex index 5819009..68ba7d1 100644 --- a/doc/devref-language-interface.tex +++ b/doc/devref-language-interface.tex @@ -22,6 +22,10 @@ % FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License % for more details. % +% If you have not received a copy of one or both the above mentioned +% licenses along with the PPL, write to the Free Software Foundation, +% Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. +% % For the most up-to-date information see the Parma Polyhedra Library % site: http://bugseng.com/products/ppl/ . @@ -140,6 +144,10 @@ ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. +If you have not received a copy of one or both the above mentioned +licenses along with the PPL, write to the Free Software Foundation, +Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. + For the most up-to-date information see the Parma Polyhedra Library site: \begin{center} diff --git a/doc/devref.tex b/doc/devref.tex index 947771d..d8bdef2 100644 --- a/doc/devref.tex +++ b/doc/devref.tex @@ -22,6 +22,10 @@ % FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License % for more details. % +% If you have not received a copy of one or both the above mentioned +% licenses along with the PPL, write to the Free Software Foundation, +% Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. +% % For the most up-to-date information see the Parma Polyhedra Library % site: http://bugseng.com/products/ppl/ . @@ -138,6 +142,10 @@ ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. +If you have not received a copy of one or both the above mentioned +licenses along with the PPL, write to the Free Software Foundation, +Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. + For the most up-to-date information see the Parma Polyhedra Library site: \begin{center} diff --git a/doc/user-language-interface.tex b/doc/user-language-interface.tex index 266de75..aca90f8 100644 --- a/doc/user-language-interface.tex +++ b/doc/user-language-interface.tex @@ -22,6 +22,10 @@ % FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License % for more details. % +% If you have not received a copy of one or both the above mentioned +% licenses along with the PPL, write to the Free Software Foundation, +% Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. +% % For the most up-to-date information see the Parma Polyhedra Library % site: http://bugseng.com/products/ppl/ . @@ -139,6 +143,10 @@ ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. +If you have not received a copy of one or both the above mentioned +licenses along with the PPL, write to the Free Software Foundation, +Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. + For the most up-to-date information see the Parma Polyhedra Library site: \begin{center} diff --git a/doc/user.tex b/doc/user.tex index 43d21fb..dcbc53f 100644 --- a/doc/user.tex +++ b/doc/user.tex @@ -22,6 +22,10 @@ % FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License % for more details. % +% If you have not received a copy of one or both the above mentioned +% licenses along with the PPL, write to the Free Software Foundation, +% Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. +% % For the most up-to-date information see the Parma Polyhedra Library % site: http://bugseng.com/products/ppl/ . @@ -138,6 +142,10 @@ ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. +If you have not received a copy of one or both the above mentioned +licenses along with the PPL, write to the Free Software Foundation, +Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. + For the most up-to-date information see the Parma Polyhedra Library site: \begin{center}

1 0

[GIT] ppl/ppl(master): Made uniform as far as the copyright message and licensing conditions are concerned .
by Roberto Bagnara 17 Mar '12

17 Mar '12

Module: ppl/ppl Branch: master Commit: ede1a395a32c24154c42c02f2cf72ca7c4f02265 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ede1a395a32c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 17 15:26:01 2012 +0100 Made uniform as far as the copyright message and licensing conditions are concerned. --- README.alpha | 52 +++++++++++++++++++++++++++++++-------- README.arm | 72 +++++++++++++++++++++++++++++++++++++++---------------- README.solaris | 54 ++++++++++++++++++++++++++++++++--------- 3 files changed, 134 insertions(+), 44 deletions(-) diff --git a/README.alpha b/README.alpha index ffeb4fc..64f9985 100644 --- a/README.alpha +++ b/README.alpha @@ -1,14 +1,10 @@ -# Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> -# Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) -# -# This file is free software; as a special exception the author gives -# unlimited permission to copy and/or distribute it, with or without -# modifications, as long as this notice is preserved. -# -# This program is distributed in the hope that it will be useful, but -# WITHOUT ANY WARRANTY, to the extent permitted by law; without even the -# implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR -# PURPOSE. +Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> +Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) +See below for the copying conditions. + + +Configuration of the Parma Polyhedra Library on the Alpha +========================================================= There appears to be a bug in GCC (all versions up to and including 4.3.x) concerning exception handling on the Alpha. This may be @@ -27,3 +23,37 @@ In other words, under this hypothesis (which we have no way to check), users that are not interested in catching exceptions thrown by the PPL (in response to invalid arguments, heap exhaustion, overflows, ...) should probably not worry. Your mileage may vary... + + +-------- + +Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> +Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + +This file is part of the Parma Polyhedra Library (PPL). + +Permission is granted to copy, distribute and/or modify this document +under the terms of the GNU Free Documentation License, Version 1.2 or +any later version published by the Free Software Foundation; with no +Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. +The license is included, in various formats, in the `doc' subdirectory +of each distribution of the PPL in files called `fdl.*'. + +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 +Free Software Foundation; either version 3 of the License, or (at your +option) any later version. The license is included, in various +formats, in the `doc' subdirectory of each distribution of the PPL in +files called `gpl.*'. + +The PPL is distributed in the hope that it will be useful, but WITHOUT +ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or +FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +for more details. + +If you have not received a copy of one or both the above mentioned +licenses along with the PPL, write to the Free Software Foundation, +Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. + +For the most up-to-date information see the Parma Polyhedra Library +site: http://bugseng.com/products/ppl/ . diff --git a/README.arm b/README.arm index 191d3dc..ee5f8fa 100644 --- a/README.arm +++ b/README.arm @@ -1,24 +1,54 @@ -# Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> -# Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) -# -# This file is free software; as a special exception the author gives -# unlimited permission to copy and/or distribute it, with or without -# modifications, as long as this notice is preserved. -# -# This program is distributed in the hope that it will be useful, but -# WITHOUT ANY WARRANTY, to the extent permitted by law; without even the -# implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR -# PURPOSE. - -On the ARM, whether or not the rounding mode can be set in a way that allows -the PPL to work with floating point numbers, will depend on the actual -hardware. However, disabling the affected PPL code at run-time is -impractical. Thus, to ensure that the binary distributions of the PPL for the -ARM work as expected on any hardware, on the ARM, the affected code -is disabled at compile-time. It is still possible to build a binary -for the ARM that assumes the hardware can control the rounding mode; -for this, configure the PPL with `-DPPL_ARM_CAN_CONTROL_FPU=1' included in -CPPFLAGS. +Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> +Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) +See below for the copying conditions. + + +Configuration of the Parma Polyhedra Library on the ARM +======================================================= + +On the ARM, whether or not the rounding mode can be set in a way that +allows the PPL to work with floating point numbers, will depend on the +actual hardware. However, disabling the affected PPL code at run-time +is impractical. Thus, to ensure that the binary distributions of the +PPL for the ARM work as expected on any hardware, on the ARM, the +affected code is disabled at compile-time. It is still possible to +build a binary for the ARM that assumes the hardware can control the +rounding mode; for this, configure the PPL with +`-DPPL_ARM_CAN_CONTROL_FPU=1' included in CPPFLAGS. For example: CPPFLAGS="-DPPL_ARM_CAN_CONTROL_FPU=1" .../configure ... + + +-------- + +Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> +Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + +This file is part of the Parma Polyhedra Library (PPL). + +Permission is granted to copy, distribute and/or modify this document +under the terms of the GNU Free Documentation License, Version 1.2 or +any later version published by the Free Software Foundation; with no +Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. +The license is included, in various formats, in the `doc' subdirectory +of each distribution of the PPL in files called `fdl.*'. + +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 +Free Software Foundation; either version 3 of the License, or (at your +option) any later version. The license is included, in various +formats, in the `doc' subdirectory of each distribution of the PPL in +files called `gpl.*'. + +The PPL is distributed in the hope that it will be useful, but WITHOUT +ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or +FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +for more details. + +If you have not received a copy of one or both the above mentioned +licenses along with the PPL, write to the Free Software Foundation, +Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. + +For the most up-to-date information see the Parma Polyhedra Library +site: http://bugseng.com/products/ppl/ . diff --git a/README.solaris b/README.solaris index a680164..3e57785 100644 --- a/README.solaris +++ b/README.solaris @@ -1,14 +1,10 @@ -# Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> -# Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) -# -# This file is free software; as a special exception the author gives -# unlimited permission to copy and/or distribute it, with or without -# modifications, as long as this notice is preserved. -# -# This program is distributed in the hope that it will be useful, but -# WITHOUT ANY WARRANTY, to the extent permitted by law; without even the -# implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR -# PURPOSE. +Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> +Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) +See below for the copying conditions. + + +Configuration of the Parma Polyhedra Library on Solaris +======================================================= Build problems have been reported for Solaris 10, affecting the build of the (C, Java, ...) language interfaces, which are due to the use of an @@ -17,4 +13,38 @@ incompatible version of sed: https://www.cs.unipr.it/mantis/view.php?id=103 The solution is to install and use GNU sed. -This is recommended, even when only using the C++ language interface. +This is recommended, even if only the C++ language interface is used. + + +-------- + +Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> +Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + +This file is part of the Parma Polyhedra Library (PPL). + +Permission is granted to copy, distribute and/or modify this document +under the terms of the GNU Free Documentation License, Version 1.2 or +any later version published by the Free Software Foundation; with no +Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. +The license is included, in various formats, in the `doc' subdirectory +of each distribution of the PPL in files called `fdl.*'. + +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 +Free Software Foundation; either version 3 of the License, or (at your +option) any later version. The license is included, in various +formats, in the `doc' subdirectory of each distribution of the PPL in +files called `gpl.*'. + +The PPL is distributed in the hope that it will be useful, but WITHOUT +ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or +FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +for more details. + +If you have not received a copy of one or both the above mentioned +licenses along with the PPL, write to the Free Software Foundation, +Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. + +For the most up-to-date information see the Parma Polyhedra Library +site: http://bugseng.com/products/ppl/ .

1 0

[GIT] ppl/ppl(master): Updated: we no longer use CVS.
by Roberto Bagnara 17 Mar '12

17 Mar '12

Module: ppl/ppl Branch: master Commit: 487f91a9655fe5d7fec77b4d24475bd639fa7f75 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=487f91a9655f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 17 15:22:27 2012 +0100 Updated: we no longer use CVS. --- README.configure | 8 ++++---- 1 files changed, 4 insertions(+), 4 deletions(-) diff --git a/README.configure b/README.configure index f4f118e..6987360 100644 --- a/README.configure +++ b/README.configure @@ -17,7 +17,7 @@ Contents 6. Configuring for Optimized Performance 7. Configuring for Debugging 8. Programs that Come with the Library -9. Using the CVS Sources +9. Using the Git Sources 1. The Standard Thing (configure, make, make install) @@ -437,11 +437,11 @@ In exchange, you will give up an important opportunity to discover whether the version of PPL you have built has been miscompiled. -9. Using the CVS Sources +9. Using the Git Sources ------------------------ -If you use the CVS sources, then you need recent versions of Autoconf -Automake and Libtool installed. After a `cvs checkout' or `cvs update' +If you use the Git sources, then you need recent versions of Autoconf +Automake and Libtool installed. After a `git clone' or `git pull' you should run the `autoreconf' command. In case you have fiddled around with some of the configuration files, or if you have problems you cannot explain otherwise, use `autoreconf -f'.

1 0

[GIT] ppl/ppl(master): Ensure macro parameters in macro bodies are in parentheses.
by Patricia Hill 15 Mar '12

15 Mar '12

Module: ppl/ppl Branch: master Commit: f6e62b0264bbfd0fb9090621fe13ccabbd7ac928 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6e62b0264bb… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 15 07:39:52 2012 +0000 Ensure macro parameters in macro bodies are in parentheses. --- src/Checked_Number.defs.hh | 8 +++--- src/Checked_Number.inlines.hh | 54 ++++++++++++++++++++-------------------- src/checked.defs.hh | 24 +++++++++--------- src/meta_programming.hh | 6 ++-- 4 files changed, 46 insertions(+), 46 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=f6e62b02…

1 0

[GIT] ppl/ppl(master): Ensure parameters in bodies of macros are parenthesized.
by Patricia Hill 14 Mar '12

14 Mar '12

Module: ppl/ppl Branch: master Commit: 92d1229784b3c5b32ceafa1e83fd2cdb41ba6b08 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=92d1229784b3… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 14 16:04:27 2012 +0000 Ensure parameters in bodies of macros are parenthesized. --- src/checked.defs.hh | 252 ++++++++++++++++++++++------------------- src/checked_numeric_limits.hh | 10 +- src/globals.defs.hh | 16 ++-- 3 files changed, 148 insertions(+), 130 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=92d12297…

1 0

[GIT] ppl/ppl(master): Ensure parameters in macro bodies are parenthesized appropriately.
by Patricia Hill 14 Mar '12

14 Mar '12

Module: ppl/ppl Branch: master Commit: dc6864df1b2ca5636de717c179b562d2a104dacd URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc6864df1b2c… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 14 13:39:40 2012 +0000 Ensure parameters in macro bodies are parenthesized appropriately. Missing parentheses detected by ECLAIR service macrbody. --- src/Checked_Number.inlines.hh | 2 +- src/checked.defs.hh | 66 ++++++++++++++++++++-------------------- src/checked_numeric_limits.hh | 10 +++--- src/compiler.hh | 6 ++-- src/globals.defs.hh | 20 ++++++------ src/meta_programming.hh | 6 ++-- 6 files changed, 55 insertions(+), 55 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=dc6864df…

1 0

[GIT] ppl/ppl(master): Avoid needless macro complexity.
by Abramo Bagnara 14 Mar '12

14 Mar '12

Module: ppl/ppl Branch: master Commit: f3442f48f028d6e94df0246c9ad23d9c43feaf43 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f3442f48f028… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Wed Mar 14 11:34:58 2012 +0100 Avoid needless macro complexity. --- src/Checked_Number.inlines.hh | 21 +++++++++------------ 1 files changed, 9 insertions(+), 12 deletions(-) diff --git a/src/Checked_Number.inlines.hh b/src/Checked_Number.inlines.hh index 767b810..ba8b841 100644 --- a/src/Checked_Number.inlines.hh +++ b/src/Checked_Number.inlines.hh @@ -131,11 +131,6 @@ Checked_Number<T, Policy>::Checked_Number(const type x) { \ dir)); \ } -#define PPL_COND_0(...) -#define PPL_COND_1(...) __VA_ARGS__ -#define PPL_COND_(if, ...) PPL_COND_##if(__VA_ARGS__) -#define PPL_COND(if, ...) PPL_COND_(if, __VA_ARGS__) - PPL_DEFINE_CTOR(char) PPL_DEFINE_CTOR(signed char) PPL_DEFINE_CTOR(signed short) @@ -147,18 +142,20 @@ PPL_DEFINE_CTOR(unsigned short) PPL_DEFINE_CTOR(unsigned int) PPL_DEFINE_CTOR(unsigned long) PPL_DEFINE_CTOR(unsigned long long) -PPL_COND(PPL_SUPPORTED_FLOAT, PPL_DEFINE_CTOR(float)) -PPL_COND(PPL_SUPPORTED_DOUBLE, PPL_DEFINE_CTOR(double)) -PPL_COND(PPL_SUPPORTED_LONG_DOUBLE, PPL_DEFINE_CTOR(long double)) +#if PPL_SUPPORTED_FLOAT +PPL_DEFINE_CTOR(float) +#endif +#if PPL_SUPPORTED_DOUBLE +PPL_DEFINE_CTOR(double) +#endif +#if PPL_SUPPORTED_LONG_DOUBLE +PPL_DEFINE_CTOR(long double) +#endif PPL_DEFINE_CTOR(mpq_class&) PPL_DEFINE_CTOR(mpz_class&) #undef PPL_DEFINE_CTOR -#undef PPL_COND -#undef PPL_COND_ -#undef PPL_COND_1 -#undef PPL_COND_0 template <typename T, typename Policy> inline

1 0

[GIT] ppl/ppl(master): Fixed licenses text.
by Abramo Bagnara 13 Mar '12

13 Mar '12

Module: ppl/ppl Branch: master Commit: cca8637a572ebcf456d4b65268a2947d22e93dd9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cca8637a572e… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Mar 13 18:18:17 2012 +0100 Fixed licenses text. --- README.configure | 2 +- demos/ppl_lpsol/glpk_set_d_eps.c | 1 - .../ppl_interface_generator_java_test_java_code.m4 | 1 + interfaces/Prolog/Prolog_configured_interface.dox | 2 +- interfaces/Prolog/Prolog_interface.dox | 2 +- interfaces/Prolog/Prolog_interface_sysdep.dox | 2 +- interfaces/Prolog/Prolog_interface_sysindep.dox | 2 +- .../Prolog/Prolog_interface_sysindep_domains.dox | 2 +- .../Prolog/ppl_interface_generator_prolog_dox.m4 | 2 +- tests/Concrete_Expression/linearize.cc | 2 +- tests/Grid/Makefile.am | 5 ++--- tests/Partially_Reduced_Product/Makefile.am | 5 ++--- tests/Powerset/Makefile.am | 5 ++--- tests/README | 3 ++- 14 files changed, 17 insertions(+), 19 deletions(-) diff --git a/README.configure b/README.configure index f542911..f4f118e 100644 --- a/README.configure +++ b/README.configure @@ -466,7 +466,7 @@ under the terms of the GNU General Public License as published by the Free Software Foundation; either version 3 of the License, or (at your option) any later version. The license is included, in various formats, in the `doc' subdirectory of each distribution of the PPL in -files are called `gpl.*'. +files called `gpl.*'. The PPL is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or diff --git a/demos/ppl_lpsol/glpk_set_d_eps.c b/demos/ppl_lpsol/glpk_set_d_eps.c index fcf976f..638c8b7 100644 --- a/demos/ppl_lpsol/glpk_set_d_eps.c +++ b/demos/ppl_lpsol/glpk_set_d_eps.c @@ -7,7 +7,6 @@ Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) - This file is part of the Parma Polyhedra Library (PPL). The PPL is free software; you can redistribute it and/or modify it diff --git a/interfaces/Java/tests/ppl_interface_generator_java_test_java_code.m4 b/interfaces/Java/tests/ppl_interface_generator_java_test_java_code.m4 index 182ca24..dc71a8f 100644 --- a/interfaces/Java/tests/ppl_interface_generator_java_test_java_code.m4 +++ b/interfaces/Java/tests/ppl_interface_generator_java_test_java_code.m4 @@ -12,6 +12,7 @@ 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 Free Software Foundation; either version 3 of the License, or (at your option) any later version. + The PPL is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License diff --git a/interfaces/Prolog/Prolog_configured_interface.dox b/interfaces/Prolog/Prolog_configured_interface.dox index 79d7bf2..1480f17 100644 --- a/interfaces/Prolog/Prolog_configured_interface.dox +++ b/interfaces/Prolog/Prolog_configured_interface.dox @@ -19,7 +19,7 @@ along with this program; if not, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. For the most up-to-date information see the Parma Polyhedra Library -site: http://bugseng.com/ppl/ . */ +site: http://bugseng.com/products/ppl/ . */ /*! \defgroup PPL_Prolog_interface Prolog Language Interface diff --git a/interfaces/Prolog/Prolog_interface.dox b/interfaces/Prolog/Prolog_interface.dox index bbf350b..11aeaa4 100644 --- a/interfaces/Prolog/Prolog_interface.dox +++ b/interfaces/Prolog/Prolog_interface.dox @@ -19,7 +19,7 @@ along with this program; if not, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. For the most up-to-date information see the Parma Polyhedra Library -site: http://bugseng.com/ppl/ . */ +site: http://bugseng.com/products/ppl/ . */ /*! \defgroup PPL_Prolog_interface Prolog Language Interface diff --git a/interfaces/Prolog/Prolog_interface_sysdep.dox b/interfaces/Prolog/Prolog_interface_sysdep.dox index 417088e..2472e0a 100644 --- a/interfaces/Prolog/Prolog_interface_sysdep.dox +++ b/interfaces/Prolog/Prolog_interface_sysdep.dox @@ -19,7 +19,7 @@ along with this program; if not, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. For the most up-to-date information see the Parma Polyhedra Library -site: http://bugseng.com/ppl/ . */ +site: http://bugseng.com/products/ppl/ . */ /*! \page PI_SD_Features Prolog Interface System-Dependent Features diff --git a/interfaces/Prolog/Prolog_interface_sysindep.dox b/interfaces/Prolog/Prolog_interface_sysindep.dox index f90ef98..9d10d31 100644 --- a/interfaces/Prolog/Prolog_interface_sysindep.dox +++ b/interfaces/Prolog/Prolog_interface_sysindep.dox @@ -19,7 +19,7 @@ along with this program; if not, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. For the most up-to-date information see the Parma Polyhedra Library -site: http://bugseng.com/ppl/ . */ +site: http://bugseng.com/products/ppl/ . */ /*! \page PI_SI_Features System-Independent Features diff --git a/interfaces/Prolog/Prolog_interface_sysindep_domains.dox b/interfaces/Prolog/Prolog_interface_sysindep_domains.dox index cd85a24..a16eb14 100644 --- a/interfaces/Prolog/Prolog_interface_sysindep_domains.dox +++ b/interfaces/Prolog/Prolog_interface_sysindep_domains.dox @@ -19,7 +19,7 @@ along with this program; if not, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. For the most up-to-date information see the Parma Polyhedra Library -site: http://bugseng.com/ppl/ . */ +site: http://bugseng.com/products/ppl/ . */ /*! \page domains_predicates Domains Predicates diff --git a/interfaces/Prolog/ppl_interface_generator_prolog_dox.m4 b/interfaces/Prolog/ppl_interface_generator_prolog_dox.m4 index 174d27a..ca7f938 100644 --- a/interfaces/Prolog/ppl_interface_generator_prolog_dox.m4 +++ b/interfaces/Prolog/ppl_interface_generator_prolog_dox.m4 @@ -23,7 +23,7 @@ dnl along with this program; if not, write to the Free Software Foundation, dnl Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. dnl dnl For the most up-to-date information see the Parma Polyhedra Library -dnl site: http://bugseng.com/ppl/ . +dnl site: http://bugseng.com/products/ppl/ . dnl FIXME: This should be in the main m4 generator file. diff --git a/tests/Concrete_Expression/linearize.cc b/tests/Concrete_Expression/linearize.cc index 9d943e1..29dee84 100644 --- a/tests/Concrete_Expression/linearize.cc +++ b/tests/Concrete_Expression/linearize.cc @@ -4,7 +4,7 @@ This file is part of the Parma Polyhedra Library (PPL). -The PPL is free software; you can redistribute it and/or moDif_FP_Expressiony 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 Free Software Foundation; either version 3 of the License, or (at your option) any later version. diff --git a/tests/Grid/Makefile.am b/tests/Grid/Makefile.am index 8fc1ab1..acfb4d5 100644 --- a/tests/Grid/Makefile.am +++ b/tests/Grid/Makefile.am @@ -15,9 +15,8 @@ # for more details. # # You should have received a copy of the GNU General Public License -# along with this program; if not, write to the Free Software -# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, -# USA. +# along with this program; if not, write to the Free Software Foundation, +# Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. # # For the most up-to-date information see the Parma Polyhedra Library # site: http://bugseng.com/products/ppl/ . diff --git a/tests/Partially_Reduced_Product/Makefile.am b/tests/Partially_Reduced_Product/Makefile.am index 10a14f1..731141b 100644 --- a/tests/Partially_Reduced_Product/Makefile.am +++ b/tests/Partially_Reduced_Product/Makefile.am @@ -15,9 +15,8 @@ # for more details. # # You should have received a copy of the GNU General Public License -# along with this program; if not, write to the Free Software -# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, -# USA. +# along with this program; if not, write to the Free Software Foundation, +# Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. # # For the most up-to-date information see the Parma Polyhedra Library # site: http://bugseng.com/products/ppl/ . diff --git a/tests/Powerset/Makefile.am b/tests/Powerset/Makefile.am index df6075e..d750ccd 100644 --- a/tests/Powerset/Makefile.am +++ b/tests/Powerset/Makefile.am @@ -15,9 +15,8 @@ # for more details. # # You should have received a copy of the GNU General Public License -# along with this program; if not, write to the Free Software -# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, -# USA. +# along with this program; if not, write to the Free Software Foundation, +# Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. # # For the most up-to-date information see the Parma Polyhedra Library # site: http://bugseng.com/products/ppl/ . diff --git a/tests/README b/tests/README index 0870717..1f70cb0 100644 --- a/tests/README +++ b/tests/README @@ -86,6 +86,7 @@ f) Run `mytest' and enjoy! -------- Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> +Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). @@ -101,7 +102,7 @@ under the terms of the GNU General Public License as published by the Free Software Foundation; either version 3 of the License, or (at your option) any later version. The license is included, in various formats, in the `doc' subdirectory of each distribution of the PPL in -files are called `gpl.*'. +files called `gpl.*'. The PPL is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or

1 0

[GIT] ppl/ppl(master): Removed bogus use of EXTRA_DIST.
by Roberto Bagnara 13 Mar '12

13 Mar '12

Module: ppl/ppl Branch: master Commit: abfdcd61e39ddd20bdaaca51b9e3784c0a740db6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=abfdcd61e39d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 13 17:49:43 2012 +0100 Removed bogus use of EXTRA_DIST. --- tests/Concrete_Expression/Makefile.am | 1 - 1 files changed, 0 insertions(+), 1 deletions(-) diff --git a/tests/Concrete_Expression/Makefile.am b/tests/Concrete_Expression/Makefile.am index 54b1af8..428d71d 100644 --- a/tests/Concrete_Expression/Makefile.am +++ b/tests/Concrete_Expression/Makefile.am @@ -66,7 +66,6 @@ polyhedron2 BUGS = -EXTRA_DIST = $(ALL_TESTS) $(BUGS) # There are platforms where no floating-point type is supported. if SUPPORTED_SOME_FLOATING_POINT_TYPE

1 0