- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Wording fixed/improved.
by Roberto Bagnara 17 Mar '12

17 Mar '12

Module: ppl/ppl Branch: master Commit: fe5d848085853879f7cd1ea18f41715bd1496ff0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe5d84808585… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 17 18:57:49 2012 +0100 Wording fixed/improved. --- README | 4 ++-- README.alpha | 4 ++-- README.arm | 4 ++-- README.configure | 4 ++-- README.solaris | 4 ++-- STANDARDS | 4 ++-- doc/README.doc | 4 ++-- doc/devref-language-interface.tex | 4 ++-- doc/devref.tex | 4 ++-- doc/user-language-interface.tex | 4 ++-- doc/user.tex | 4 ++-- tests/README | 4 ++-- 12 files changed, 24 insertions(+), 24 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=fe5d8480…

1 0

[GIT] ppl/ppl(master): Blank line added.
by Roberto Bagnara 17 Mar '12

17 Mar '12

Module: ppl/ppl Branch: master Commit: ca4e7f70b1c242d8012926dc4445789522e1807c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca4e7f70b1c2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 17 18:45:30 2012 +0100 Blank line added. --- doc/README.doc | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/doc/README.doc b/doc/README.doc index cb62016..1faf506 100644 --- a/doc/README.doc +++ b/doc/README.doc @@ -2,6 +2,7 @@ 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. + How To Get (More) PPL Documentation ===================================

1 0

[GIT] ppl/ppl(master): Use consistent formatting for the FDL.
by Roberto Bagnara 17 Mar '12

17 Mar '12

Module: ppl/ppl Branch: master Commit: 0aaaf32d0d703a0a6744bc0b4dee276108d8ce1a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0aaaf32d0d70… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 17 18:23:27 2012 +0100 Use consistent formatting for the FDL. --- README | 4 ++-- README.alpha | 4 ++-- README.arm | 4 ++-- README.configure | 4 ++-- README.solaris | 4 ++-- STANDARDS | 4 ++-- doc/README.doc | 4 ++-- tests/README | 4 ++-- 8 files changed, 16 insertions(+), 16 deletions(-) diff --git a/README b/README index 079e65a..354fea1 100644 --- a/README +++ b/README @@ -1719,8 +1719,8 @@ 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. +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.*'. diff --git a/README.alpha b/README.alpha index 64f9985..8ba94f9 100644 --- a/README.alpha +++ b/README.alpha @@ -34,8 +34,8 @@ 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. +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.*'. diff --git a/README.arm b/README.arm index ee5f8fa..e50c230 100644 --- a/README.arm +++ b/README.arm @@ -29,8 +29,8 @@ 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. +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.*'. diff --git a/README.configure b/README.configure index 6987360..03bbc86 100644 --- a/README.configure +++ b/README.configure @@ -456,8 +456,8 @@ 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. +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.*'. diff --git a/README.solaris b/README.solaris index 3e57785..233517c 100644 --- a/README.solaris +++ b/README.solaris @@ -25,8 +25,8 @@ 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. +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.*'. diff --git a/STANDARDS b/STANDARDS index ead4b48..09a1262 100644 --- a/STANDARDS +++ b/STANDARDS @@ -714,8 +714,8 @@ 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. +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.*'. diff --git a/doc/README.doc b/doc/README.doc index 5e76f3d..cb62016 100644 --- a/doc/README.doc +++ b/doc/README.doc @@ -141,8 +141,8 @@ This document describes 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. +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.*'. diff --git a/tests/README b/tests/README index 1f70cb0..a2e7643 100644 --- a/tests/README +++ b/tests/README @@ -92,8 +92,8 @@ 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. +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.*'.

1 0

[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