Module: ppl/ppl Branch: master Commit: cca8637a572ebcf456d4b65268a2947d22e93dd9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cca8637a572eb...

Author: Abramo Bagnara abramo.bagnara@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@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@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