- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Sentence revised.
by Roberto Bagnara 19 Mar '12

19 Mar '12

Module: ppl/ppl Branch: master Commit: 5ccbc9497bf3e51bd726a1bbe828311c7b7fe931 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5ccbc9497bf3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 19 12:05:33 2012 +0100 Sentence revised. --- README.configure | 12 +++++++----- 1 files changed, 7 insertions(+), 5 deletions(-) diff --git a/README.configure b/README.configure index 0db4546..24dfea5 100644 --- a/README.configure +++ b/README.configure @@ -24,11 +24,13 @@ Contents ----------------------------------------------------- In an ideal situation (i.e., on a more or less standard Un*x -environment, with the right compilers, the GMP library installed in a -standard place and provided the user is satisfied with all the options -we chose as defaults), a source distribution of the Parma Polyhedra -Library (PPL) can be unpacked, configured, built and installed with -the following, well-known procedure: +environment, with the right C++ compiler to compile the core library +as well as the right compilers to compile all the enabled language +interfaces, with the GMP library installed in a standard place and +provided the user is satisfied with all the options we chose as +defaults), a source distribution of the Parma Polyhedra Library (PPL) +can be unpacked, configured, built and installed with the following, +well-known procedure: $ tar jxf ppl-x.y.tar.bz2 $ ./configure

1 0

[GIT] ppl/ppl(master): Man pages updated.
by Roberto Bagnara 18 Mar '12

18 Mar '12

Module: ppl/ppl Branch: master Commit: f0a533690561d711ff634804e7870856e5c1f1a0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f0a533690561… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 18 11:36:58 2012 +0100 Man pages updated. --- demos/ppl_lcdd/ppl_lcdd.1 | 4 ++-- demos/ppl_lpsol/ppl_lpsol.1 | 4 ++-- demos/ppl_pips/ppl_pips.1 | 4 ++-- doc/libppl.3 | 2 +- doc/libppl_c.3 | 2 +- doc/ppl-config.1 | 20 ++++++++++---------- doc/ppl-config_extra_man_text | 2 +- 7 files changed, 19 insertions(+), 19 deletions(-) diff --git a/demos/ppl_lcdd/ppl_lcdd.1 b/demos/ppl_lcdd/ppl_lcdd.1 index 77d7ecc..dff3fe7 100644 --- a/demos/ppl_lcdd/ppl_lcdd.1 +++ b/demos/ppl_lcdd/ppl_lcdd.1 @@ -1,5 +1,5 @@ -.\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.36. -.TH PPL_LCDD "1" "August 2010" "ppl_lcdd 0.11" "User Commands" +.\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.40.4. +.TH PPL_LCDD "1" "February 2012" "ppl_lcdd 0.12" "User Commands" .SH NAME ppl_lcdd \- a PPL-based program for vertex/facet enumeration of convex polyhedra .SH SYNOPSIS diff --git a/demos/ppl_lpsol/ppl_lpsol.1 b/demos/ppl_lpsol/ppl_lpsol.1 index 66d26ba..2228faf 100644 --- a/demos/ppl_lpsol/ppl_lpsol.1 +++ b/demos/ppl_lpsol/ppl_lpsol.1 @@ -1,5 +1,5 @@ -.\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.36. -.TH PPL_LPSOL "1" "August 2010" "ppl_lpsol 0.11" "User Commands" +.\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.40.4. +.TH PPL_LPSOL "1" "February 2012" "ppl_lpsol 0.12" "User Commands" .SH NAME ppl_lpsol \- a PPL-based mixed integer programming problem solver .SH SYNOPSIS diff --git a/demos/ppl_pips/ppl_pips.1 b/demos/ppl_pips/ppl_pips.1 index 13aa5a6..19258d9 100644 --- a/demos/ppl_pips/ppl_pips.1 +++ b/demos/ppl_pips/ppl_pips.1 @@ -1,5 +1,5 @@ -.\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.36. -.TH PPL_PIPS "1" "August 2010" "ppl_pips 0.11" "User Commands" +.\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.40.4. +.TH PPL_PIPS "1" "February 2012" "ppl_pips 0.12" "User Commands" .SH NAME ppl_pips \- a PPL-based parametric integer programming problem solver .SH SYNOPSIS diff --git a/doc/libppl.3 b/doc/libppl.3 index 4b3f55d..0e5ab1f 100644 --- a/doc/libppl.3 +++ b/doc/libppl.3 @@ -216,7 +216,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 +.SH "COPYRIGHT AND NO WARRANTY" Copyright (C) 2001\-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> Copyright (C) 2010\-2012 BUGSENG srl (http://bugseng.com) .br diff --git a/doc/libppl_c.3 b/doc/libppl_c.3 index ef6dd2d..1d8a37a 100644 --- a/doc/libppl_c.3 +++ b/doc/libppl_c.3 @@ -152,7 +152,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 +.SH "COPYRIGHT AND NO WARRANTY" Copyright (C) 2001\-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> Copyright (C) 2010\-2012 BUGSENG srl (http://bugseng.com) .br diff --git a/doc/ppl-config.1 b/doc/ppl-config.1 index 86a6d5b..9e5a2ed 100644 --- a/doc/ppl-config.1 +++ b/doc/ppl-config.1 @@ -1,5 +1,5 @@ -.\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.36. -.TH PPL-CONFIG "1" "August 2010" "ppl-config 0.11.1pre1" "User Commands" +.\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.40.4. +.TH PPL-CONFIG "1" "February 2012" "ppl-config 0.12" "User Commands" .SH NAME ppl-config \- obtain information about an installation of the Parma Polyhedra Library .SH SYNOPSIS @@ -101,9 +101,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 "REPORTING BUGS" -Report bugs to <ppl\-devel(a)cs.unipr.it>. -.SH COPYRIGHT +.SH "COPYRIGHT AND NO WARRANTY" Copyright (C) 2001\-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> Copyright (C) 2010\-2012 BUGSENG srl (http://bugseng.com) .br @@ -111,32 +109,34 @@ This is free software; see the file \fBCOPYING\fR in the source distribution or use the command \fBppl\-config \-\-copying\fR to obtain the copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. +.SH "REPORTING BUGS" +Report bugs to <ppl\-devel(a)cs.unipr.it>. .SH "SEE ALSO" .BR libppl(3) .sp .BR libppl_c(3) .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library User's Manual (version 0.11)", +.IR "The Parma Polyhedra Library User's Manual (version 0.12)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.11)", +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.12)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library Java Language Interface User's Manual (version 0.11)", +.IR "The Parma Polyhedra Library Java Language Interface User's Manual (version 0.12)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library OCaml Language Interface User's Manual (version 0.11)", +.IR "The Parma Polyhedra Library OCaml Language Interface User's Manual (version 0.12)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library Prolog Language Interface User's Manual (version 0.11)", +.IR "The Parma Polyhedra Library Prolog Language Interface User's Manual (version 0.12)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/\fR . diff --git a/doc/ppl-config_extra_man_text b/doc/ppl-config_extra_man_text index b137ea7..8561dd4 100644 --- a/doc/ppl-config_extra_man_text +++ b/doc/ppl-config_extra_man_text @@ -39,7 +39,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>. -[COPYRIGHT] +[COPYRIGHT AND NO WARRANTY] Copyright (C) 2001\-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> Copyright (C) 2010\-2012 BUGSENG srl (http://bugseng.com) .br

1 0

[GIT] ppl/ppl(master): Use a canonical FDL text.
by Roberto Bagnara 18 Mar '12

18 Mar '12

Module: ppl/ppl Branch: master Commit: ea15ab4635ca74ff9f77f3a5fcb10a9b92938bc1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea15ab4635ca… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 18 09:44:42 2012 +0100 Use a canonical FDL text. --- doc/definitions.dox | 46 +++++++++++--------- interfaces/Prolog/Prolog_interface_compilation.dox | 46 +++++++++++--------- 2 files changed, 50 insertions(+), 42 deletions(-) diff --git a/doc/definitions.dox b/doc/definitions.dox index 8aa3379..d0c2da4 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -1,30 +1,34 @@ -// Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> -// Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) +// Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> +// Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) // -// This document describes the Parma Polyhedra Library (PPL). +// 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, with no Front-Cover Texts, and with no Back-Cover -// Texts. +// 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 named `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 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 named `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. +// 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. +// 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/ . +// For the most up-to-date information see the Parma Polyhedra Library +// site: http://bugseng.com/products/ppl/ . + /*! \defgroup PPL_CXX_interface C++ Language Interface diff --git a/interfaces/Prolog/Prolog_interface_compilation.dox b/interfaces/Prolog/Prolog_interface_compilation.dox index df1e591..d8a2dd5 100644 --- a/interfaces/Prolog/Prolog_interface_compilation.dox +++ b/interfaces/Prolog/Prolog_interface_compilation.dox @@ -1,30 +1,34 @@ -// Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> -// Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) +// Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> +// Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) // -// This document describes the Parma Polyhedra Library (PPL). +// 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, with no Front-Cover Texts, and with no Back-Cover -// Texts. +// 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 named `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 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 named `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. +// 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. +// 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/ . +// For the most up-to-date information see the Parma Polyhedra Library +// site: http://bugseng.com/products/ppl/ . + /*! \page PI_Compilation Compilation and Installation

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 18 Mar '12

18 Mar '12

Module: ppl/ppl Branch: master Commit: 8df2fd42dd3c1fac0bd9d19b08c617d536c62545 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8df2fd42dd3c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 18 09:38:52 2012 +0100 Updated. --- src/version.cc | 24 +++++++++++++----------- 1 files changed, 13 insertions(+), 11 deletions(-) diff --git a/src/version.cc b/src/version.cc index 8a82688..fbfc395 100644 --- a/src/version.cc +++ b/src/version.cc @@ -33,6 +33,7 @@ const char version_string[] = PPL_PACKAGE_VERSION; const char banner_string[] = "This is "PPL_PACKAGE_NAME" (PPL) version "PPL_PACKAGE_VERSION".\n" "Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>\n" +"Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com)\n" "\n" "The PPL is free software; see the source for copying conditions.\n" "There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A\n" @@ -57,21 +58,22 @@ const char banner_string[] = "see the Parma Polyhedra Library site: http://bugseng.com/products/ppl/ .\n" "\n" "Contributors:\n" -"Roberto Bagnara, Patricia M. Hill, Enea Zaffanella, Elisa Ricci,\n" -"Abramo Bagnara, Andrea Cimino, Katy Dobson, Elena Mazzi,\n" -"Matthew Mundell, Barbara Quartieri, Enric Rodriguez Carbonell,\n" -"Alessandro Zaccagnini,\n" -"Irene Bacchi, Danilo Bonardi, Sara Bonini, Giordano Fracasso,\n" -"Maximiliano Marchesi, David Merchat, Andrea Pescetti, Angela Stazzone,\n" -"Fabio Trabucchi, Claudio Trento, Tatiana Zolo.\n" +"Roberto Bagnara, Patricia M. Hill, Enea Zaffanella, Abramo Bagnara,\n" +"Elisa Ricci, Andrea Cimino, Marco Poletti, Alessandro Zaccagnini,\n" +"Roberto Amadini, Irene Bacchi, Fabio Biselli, Fabio Bossi,\n" +"Danilo Bonardi, Sara Bonini, Katy Dobson, Giordano Fracasso,\n" +"Francois Galea, Maximiliano Marchesi, Elena Mazzi, David Merchat,\n" +"Matthew Mundell, Andrea Pescetti, Barbara Quartieri,\n" +"Enric Rodriguez Carbonell, Angela Stazzone, Fabio Trabucchi,\n" +"Claudio Trento, Tatiana Zolo.\n" "\n" "Special thanks to:\n" "Lucia Alessandrini, Frederic Besson, Tevfik Bultan, Manuel Carro,\n" "Marco Comini, Goran Frehse, Denis Gopan, Martin Guy, Bruno Haible,\n" -"Bertrand Jeannet, Herve Le Verge, Francesco Logozzo, Costantino Medori,\n" -"Fred Mesnard, Ken Mixter, Jose Morales, Sebastian Pop, Thomas Reps,\n" -"Mooly Sagiv, Sriram Sankaranarayanan, Axel Simon, Fausto Spoto,\n" -"Basile Starynkevitch, Pedro Vasconcelos, Ralf Wildenhues."; +"Bertrand Jeannet, Herve Le Verge, Francesco Logozzo, Kenneth MacKenzie,\n" +"Costantino Medori, Fred Mesnard, Ken Mixter, Jose Morales, Sebastian Pop,\n" +"Thomas Reps, Mooly Sagiv, Sriram Sankaranarayanan, Axel Simon,\n" +"Fausto Spoto, Basile Starynkevitch, Pedro Vasconcelos, Ralf Wildenhues."; } // namespace

1 0

[GIT] ppl/ppl(master): URL fixed.
by Roberto Bagnara 18 Mar '12

18 Mar '12

Module: ppl/ppl Branch: master Commit: 0b865bbd536bfa982521884c328130821a4acd03 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0b865bbd536b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 18 09:23:18 2012 +0100 URL fixed. --- doc/definitions.dox | 2 +- interfaces/Prolog/Prolog_interface_compilation.dox | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/definitions.dox b/doc/definitions.dox index dd49475..8aa3379 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -24,7 +24,7 @@ // 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/ +// site: http://bugseng.com/products/ppl/ . /*! \defgroup PPL_CXX_interface C++ Language Interface diff --git a/interfaces/Prolog/Prolog_interface_compilation.dox b/interfaces/Prolog/Prolog_interface_compilation.dox index 0448175..df1e591 100644 --- a/interfaces/Prolog/Prolog_interface_compilation.dox +++ b/interfaces/Prolog/Prolog_interface_compilation.dox @@ -24,7 +24,7 @@ // 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_Compilation Compilation and Installation

1 0

[GIT] ppl/ppl(master): Indentation fixed.
by Roberto Bagnara 18 Mar '12

18 Mar '12

Module: ppl/ppl Branch: master Commit: 04b8e3abd9df81633f50fef5c8dfa2b625916379 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=04b8e3abd9df… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 18 09:18:56 2012 +0100 Indentation fixed. --- doc/definitions.dox | 6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/definitions.dox b/doc/definitions.dox index ace0fb4..dd49475 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -19,9 +19,9 @@ // 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. +// 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): Cleaned.
by Roberto Bagnara 18 Mar '12

18 Mar '12

Module: ppl/ppl Branch: master Commit: d15a56a55b9aeb58ac25c7559f5218fcd892a138 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d15a56a55b9a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 18 08:35:10 2012 +0100 Cleaned. --- interfaces/Prolog/tests/clpq2.pl | 8 ++------ 1 files changed, 2 insertions(+), 6 deletions(-) diff --git a/interfaces/Prolog/tests/clpq2.pl b/interfaces/Prolog/tests/clpq2.pl index bdc3e13..2a7ae82 100644 --- a/interfaces/Prolog/tests/clpq2.pl +++ b/interfaces/Prolog/tests/clpq2.pl @@ -375,13 +375,9 @@ list_program :- list_program. pp(Head, Body) :- - % write(Head), (Body == true -> - % write('.') portray_clause(Head) ; - % write(' :- '), - % write(Body) portray_clause((Head :- Body)) ), nl. @@ -499,8 +495,6 @@ write_expr('$VAR'(N), Var_List, VN) :- write('_'), write('$VAR'(N)) ). -%write_expr('$VAR'(N), Variable_Names) :- -% write_var('$VAR'(N), Variable_Names). write_expr(Num*Var, Variable_Names, VN) :- (Num =:= 1 -> true @@ -692,10 +686,12 @@ constraints_to_list(C, Rest, Rest1) :- Rest1 = [0 = 1] ). + % term_to_PPL_term(?Term, +In_N, ?Out_N) % % Unifies each of the variables in Term with the special terms % '$VAR'(k), where k ranges from In_N to Out_N-1. + term_to_PPL_term('$VAR'(In_N), In_N, Out_N) :- !, Out_N is In_N + 1.

1 0

[GIT] ppl/ppl(master): Copyright wording fixed.
by Roberto Bagnara 18 Mar '12

18 Mar '12

Module: ppl/ppl Branch: master Commit: c381f0e1e261eda0de1f6b23fd9ec86579891ea0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c381f0e1e261… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 18 08:23:08 2012 +0100 Copyright wording fixed. --- README | 2 +- README.alpha | 2 +- README.arm | 2 +- README.configure | 2 +- README.solaris | 2 +- STANDARDS | 2 +- tests/README | 2 +- 7 files changed, 7 insertions(+), 7 deletions(-) diff --git a/README b/README index f727bd0..46d349d 100644 --- a/README +++ b/README @@ -1715,7 +1715,7 @@ ppl-0.12 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). +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 diff --git a/README.alpha b/README.alpha index d0af55e..5e9e6fa 100644 --- a/README.alpha +++ b/README.alpha @@ -30,7 +30,7 @@ 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). +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 diff --git a/README.arm b/README.arm index 47b0d1e..18e2bad 100644 --- a/README.arm +++ b/README.arm @@ -25,7 +25,7 @@ For example: 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). +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 diff --git a/README.configure b/README.configure index 9cd4eb4..0db4546 100644 --- a/README.configure +++ b/README.configure @@ -452,7 +452,7 @@ you cannot explain otherwise, use `autoreconf -f'. 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). +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 diff --git a/README.solaris b/README.solaris index 9e1aafb..ead4a76 100644 --- a/README.solaris +++ b/README.solaris @@ -21,7 +21,7 @@ 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). +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 diff --git a/STANDARDS b/STANDARDS index 285e835..ea09010 100644 --- a/STANDARDS +++ b/STANDARDS @@ -710,7 +710,7 @@ o Ideally the tests should exercise every line of code in the library. 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). +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 diff --git a/tests/README b/tests/README index 9a81a45..c26fdc9 100644 --- a/tests/README +++ b/tests/README @@ -88,7 +88,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). +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

1 0

[GIT] ppl/ppl(master): Updated two spurious references to FDL 1.1.
by Roberto Bagnara 18 Mar '12

18 Mar '12

Module: ppl/ppl Branch: master Commit: a0cae23e138a1371ad757f8db2c2dce5c7a79911 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a0cae23e138a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 18 08:12:19 2012 +0100 Updated two spurious references to FDL 1.1. --- doc/definitions.dox | 2 +- interfaces/Prolog/Prolog_interface_compilation.dox | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/definitions.dox b/doc/definitions.dox index 05d11ef..ace0fb4 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -4,7 +4,7 @@ // 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.1 or +// 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, with no Front-Cover Texts, and with no Back-Cover // Texts. diff --git a/interfaces/Prolog/Prolog_interface_compilation.dox b/interfaces/Prolog/Prolog_interface_compilation.dox index ba49851..0448175 100644 --- a/interfaces/Prolog/Prolog_interface_compilation.dox +++ b/interfaces/Prolog/Prolog_interface_compilation.dox @@ -4,7 +4,7 @@ // 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.1 or +// 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, with no Front-Cover Texts, and with no Back-Cover // Texts.

1 0

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

17 Mar '12

Module: ppl/ppl Branch: master Commit: de17663ee4f66cdc356bc097aa15067ed5d9724e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de17663ee4f6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 17 19:04:01 2012 +0100 Use a consistent formatting. --- 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 3998eda..f727bd0 100644 --- a/README +++ b/README @@ -1718,8 +1718,8 @@ 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; +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 named `fdl.*'. diff --git a/README.alpha b/README.alpha index 90c5b3a..d0af55e 100644 --- a/README.alpha +++ b/README.alpha @@ -33,8 +33,8 @@ 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; +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 named `fdl.*'. diff --git a/README.arm b/README.arm index 4030416..47b0d1e 100644 --- a/README.arm +++ b/README.arm @@ -28,8 +28,8 @@ 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; +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 named `fdl.*'. diff --git a/README.configure b/README.configure index a1cb730..9cd4eb4 100644 --- a/README.configure +++ b/README.configure @@ -455,8 +455,8 @@ 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; +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 named `fdl.*'. diff --git a/README.solaris b/README.solaris index b5ee079..9e1aafb 100644 --- a/README.solaris +++ b/README.solaris @@ -24,8 +24,8 @@ 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; +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 named `fdl.*'. diff --git a/STANDARDS b/STANDARDS index ec218ed..285e835 100644 --- a/STANDARDS +++ b/STANDARDS @@ -713,8 +713,8 @@ 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; +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 named `fdl.*'. diff --git a/doc/README.doc b/doc/README.doc index 8340cff..9799abf 100644 --- a/doc/README.doc +++ b/doc/README.doc @@ -141,8 +141,8 @@ Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) 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; +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 named `fdl.*'. diff --git a/tests/README b/tests/README index 7702cf6..9a81a45 100644 --- a/tests/README +++ b/tests/README @@ -91,8 +91,8 @@ 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; +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 named `fdl.*'.

1 0