April 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(deprecated_0_11_removal): Merge branch 'master' into deprecated_0_11_removal.
by Roberto Bagnara 17 Apr '09

17 Apr '09

Module: ppl/ppl Branch: deprecated_0_11_removal Commit: d6fcfd54c39f8b8932aa5f1f630bcea1bcf90473 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d6fcfd54c39f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 17 15:02:35 2009 +0200 Merge branch 'master' into deprecated_0_11_removal. Resolved conflicts: NEWS ---

1 0

[GIT] ppl/ppl(deprecated_0_11_removal): Changed `__s390x' to `__s390x__' in conditional exclusion of this test.
by Roberto Bagnara 17 Apr '09

17 Apr '09

Module: ppl/ppl Branch: deprecated_0_11_removal Commit: 205889d57ad9e727b202b560a69bab47a871e8a4 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=205889d57ad9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 16 19:53:32 2009 +0200 Changed `__s390x' to `__s390x__' in conditional exclusion of this test. --- tests/Polyhedron/memory1.cc | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/tests/Polyhedron/memory1.cc b/tests/Polyhedron/memory1.cc index c1a3bf4..b14c94d 100644 --- a/tests/Polyhedron/memory1.cc +++ b/tests/Polyhedron/memory1.cc @@ -58,7 +58,7 @@ site: http://www.cs.unipr.it/ppl/ . */ // to such a machine there is little we can do). // See http://www.cs.unipr.it/pipermail/ppl-devel/2009-April/014489.html #if !PPL_GMP_SUPPORTS_EXCEPTIONS || !PPL_CXX_SUPPORTS_LIMITING_MEMORY \ - || defined(__ia64) || defined(__s390x) + || defined(__ia64) || defined(__s390x__) int main() TRY {

1 0

[GIT] ppl/ppl(deprecated_0_11_removal): Updated.
by Roberto Bagnara 17 Apr '09

17 Apr '09

Module: ppl/ppl Branch: deprecated_0_11_removal Commit: b5cac12e98ccfe3ced20cb26c3a3d6be2d0a9459 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5cac12e98cc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 16 13:28:34 2009 +0200 Updated. --- ChangeLog | 87 ++++++++++++++++++++++++++++++++++++++++++++++++++++ Watchdog/ChangeLog | 42 +++++++++++++++++++++++++ 2 files changed, 129 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index 8425a43..2e34398 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,90 @@ +2009-04-16 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * fedora/ppl-0.10.1-Makefile.patch, + fedora/ppl-0.10.2-Makefile.patch, fedora/ppl.hh, fedora/ppl.spec, + fedora/ppl_c.h, fedora/pwl.hh: Updated for PPL 0.10.2. + +2009-04-16 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * doc/libppl.3, doc/libppl_c.3: Version numbers fixed. + +2009-04-16 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * demos/ppl_lcdd/ppl_lcdd.1, demos/ppl_lpsol/ppl_lpsol.1, + doc/libppl.3, doc/libppl_c.3, doc/ppl-config.1, + doc/ppl-config_extra_man_text: Updated for PPL 0.10.2. + +2009-04-16 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * Watchdog/doc/Makefile.am, doc/Makefile.am: Added targets to have + `make -n dist' work as expected. + +2009-04-16 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * demos/ppl_lcdd/ppl_lcdd.cc: Usage string fixed: ppl_lcdd accepts + at most one input file. + +2009-04-16 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * Watchdog/src/Makefile.am, Watchdog/tests/Makefile.am, + demos/ppl_lcdd/Makefile.am, demos/ppl_lpsol/Makefile.am, + interfaces/C/Makefile.am, interfaces/C/tests/Makefile.am, + interfaces/Java/Makefile.am, interfaces/Java/jni/Makefile.am, + interfaces/Java/parma_polyhedra_library/Makefile.am, + interfaces/Java/tests/Makefile.am, interfaces/OCaml/Makefile.am, + interfaces/OCaml/tests/Makefile.am, + interfaces/Prolog/Ciao/Makefile.am, + interfaces/Prolog/GNU/Makefile.am, interfaces/Prolog/Makefile.am, + interfaces/Prolog/SICStus/Makefile.am, + interfaces/Prolog/SWI/Makefile.am, + interfaces/Prolog/XSB/Makefile.am, + interfaces/Prolog/YAP/Makefile.am, + interfaces/Prolog/tests/Makefile.am, src/Makefile.am, + tests/BD_Shape/Makefile.am, tests/Box/Makefile.am, + tests/Grid/Makefile.am, tests/MIP_Problem/Makefile.am, + tests/Octagonal_Shape/Makefile.am, + tests/Partially_Reduced_Product/Makefile.am, + tests/Polyhedron/Makefile.am, tests/Powerset/Makefile.am: Added + rules so that `make -n' and `make -n check' work. + +2009-04-16 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * doc/definitions.dox: Updated BHZ09b. + +2009-04-15 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * NEWS, tests/Polyhedron/memory1.cc: Test program + tests/Polyhedron/memory1 disabled on the zSeries s390x platform. + +2009-04-15 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * NEWS, README, TODO, configure.ac: Updated for PPL 0.10.2. + +2009-04-15 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * Watchdog/src/Makefile.am, interfaces/C/Makefile.am, + src/Makefile.am: Libtool -version-info updated for PPL 0.10.2. + +2009-04-15 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * m4/ac_check_gmp.m4: Accommodate version 4.3.0 of GMP. Starting from GMP version 4.3.0 (released a few hours after PPL + 0.10.1), the gmp_version variable always contains three parts. In + previous versions the patchlevel was omitted if it was 0. This + change broke our GMP detection procedure. + +2009-04-14 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * doc/README.doc: Improved. + +2009-04-14 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * doc/README.doc: Updated to refer to git and to mention possible + names of TeX config files. + +2009-04-13 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * ChangeLog: Updated. + 2009-04-13 Roberto Bagnara <bagnara(a)cs.unipr.it> * tests/Octagonal_Shape/affineimage1.cc: Disabled test10() on the diff --git a/Watchdog/ChangeLog b/Watchdog/ChangeLog index 4b7f4b3..6d3ea53 100644 --- a/Watchdog/ChangeLog +++ b/Watchdog/ChangeLog @@ -1,3 +1,45 @@ +2009-04-16 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * Watchdog/doc/Makefile.am, doc/Makefile.am: Added targets to have + `make -n dist' work as expected. + +2009-04-16 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * Watchdog/src/Makefile.am, Watchdog/tests/Makefile.am, + demos/ppl_lcdd/Makefile.am, demos/ppl_lpsol/Makefile.am, + interfaces/C/Makefile.am, interfaces/C/tests/Makefile.am, + interfaces/Java/Makefile.am, interfaces/Java/jni/Makefile.am, + interfaces/Java/parma_polyhedra_library/Makefile.am, + interfaces/Java/tests/Makefile.am, interfaces/OCaml/Makefile.am, + interfaces/OCaml/tests/Makefile.am, + interfaces/Prolog/Ciao/Makefile.am, + interfaces/Prolog/GNU/Makefile.am, interfaces/Prolog/Makefile.am, + interfaces/Prolog/SICStus/Makefile.am, + interfaces/Prolog/SWI/Makefile.am, + interfaces/Prolog/XSB/Makefile.am, + interfaces/Prolog/YAP/Makefile.am, + interfaces/Prolog/tests/Makefile.am, src/Makefile.am, + tests/BD_Shape/Makefile.am, tests/Box/Makefile.am, + tests/Grid/Makefile.am, tests/MIP_Problem/Makefile.am, + tests/Octagonal_Shape/Makefile.am, + tests/Partially_Reduced_Product/Makefile.am, + tests/Polyhedron/Makefile.am, tests/Powerset/Makefile.am: Added + rules so that `make -n' and `make -n check' work. + +2009-04-15 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * Watchdog/src/Makefile.am, interfaces/C/Makefile.am, + src/Makefile.am: Libtool -version-info updated for PPL 0.10.2. + +2009-04-11 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * .gitignore, Watchdog/doc/.gitignore, doc/.gitignore, + interfaces/Prolog/XSB/.gitignore: Added missing patterns. + +2009-04-11 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * ChangeLog, Watchdog/ChangeLog: Updated. + 2009-04-06 Roberto Bagnara <bagnara(a)cs.unipr.it> * ChangeLog, Watchdog/ChangeLog: Updated.

1 0

[GIT] ppl/ppl(deprecated_0_11_removal): Updated for PPL 0.10.2.
by Roberto Bagnara 17 Apr '09

17 Apr '09

Module: ppl/ppl Branch: deprecated_0_11_removal Commit: 74c1907444a19b1756711623d779b7eea9bb3be3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74c1907444a1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 16 13:15:49 2009 +0200 Updated for PPL 0.10.2. --- ....1-Makefile.patch => ppl-0.10.2-Makefile.patch} | 0 fedora/ppl.hh | 6 ++++++ fedora/ppl.spec | 13 ++++++++++--- fedora/ppl_c.h | 6 ++++++ fedora/pwl.hh | 6 ++++++ 5 files changed, 28 insertions(+), 3 deletions(-) diff --git a/fedora/ppl-0.10.1-Makefile.patch b/fedora/ppl-0.10.2-Makefile.patch similarity index 100% rename from fedora/ppl-0.10.1-Makefile.patch rename to fedora/ppl-0.10.2-Makefile.patch diff --git a/fedora/ppl.hh b/fedora/ppl.hh index cab2c54..53d4d13 100644 --- a/fedora/ppl.hh +++ b/fedora/ppl.hh @@ -38,6 +38,12 @@ site: http://www.cs.unipr.it/ppl/ . */ #include "ppl-s390x.hh" #elif defined(__s390__) #include "ppl-s390.hh" +#elif defined(__sh__) +#include "ppl-sh.hh" +#elif defined(__sparc__) && defined(__arch64__) +#include "ppl-sparc64.hh" +#elif defined(__sparc__) +#include "ppl-sparc.hh" #else #error "This architecture is not supported by the currently installed ppl-devel packages." #endif diff --git a/fedora/ppl.spec b/fedora/ppl.spec index 6d7e855..1f6b48a 100644 --- a/fedora/ppl.spec +++ b/fedora/ppl.spec @@ -1,7 +1,7 @@ #%define opt %(test -x %{_bindir}/ocamlopt && echo 1 || echo 0) Name: ppl -Version: 0.10.1 +Version: 0.10.2 Release: 1%{?dist} Summary: The Parma Polyhedra Library: a library of numerical abstractions @@ -12,7 +12,7 @@ Source0: ftp://ftp.cs.unipr.it/pub/ppl/releases/%{version}/%{name}-%{vers Source1: ppl.hh Source2: ppl_c.h Source3: pwl.hh -Patch0: ppl-0.10.1-Makefile.patch +Patch0: ppl-0.10.2-Makefile.patch #Patch1: #Icon: #Requires: @@ -226,7 +226,8 @@ rm -f %{buildroot}%{_libdir}/*.la %{buildroot}%{_libdir}/%{name}/*.la # the architecture for which the compiler is compiling. # Since our header files only depend on the sizeof things, we smash -# ix86 onto i386 and arm* onto arm. +# ix86 onto i386 and arm* onto arm. For the SuperH RISC engine family, +# we smash sh3 and sh4 onto sh. normalized_arch=%{_arch} %ifarch %{ix86} normalized_arch=i386 @@ -234,6 +235,9 @@ normalized_arch=i386 %ifarch %{arm} normalized_arch=arm %endif +%ifarch sh3 sh4 +normalized_arch=sh +%endif mv %{buildroot}/%{_includedir}/ppl.hh %{buildroot}/%{_includedir}/ppl-${normalized_arch}.hh install -m644 %{SOURCE1} %{buildroot}/%{_includedir}/ppl.hh @@ -405,6 +409,9 @@ mv \ rm -rf %{buildroot} %changelog +* Sat Apr 18 2009 Roberto Bagnara <bagnara(a)cs.unipr.it> 0.10.2-1 +- Updated for PPL 0.10.2. + * Tue Apr 14 2009 Roberto Bagnara <bagnara(a)cs.unipr.it> 0.10.1-1 - Updated for PPL 0.10.1. diff --git a/fedora/ppl_c.h b/fedora/ppl_c.h index 4c579da..dc62d50 100644 --- a/fedora/ppl_c.h +++ b/fedora/ppl_c.h @@ -38,6 +38,12 @@ site: http://www.cs.unipr.it/ppl/ . */ #include "ppl_c-s390x.h" #elif defined(__s390__) #include "ppl_c-s390.h" +#elif defined(__sh__) +#include "ppl_c-sh.h" +#elif defined(__sparc__) && defined(__arch64__) +#include "ppl_c-sparc64.h" +#elif defined(__sparc__) +#include "ppl_c-sparc.h" #else #error "This architecture is not supported by the currently installed ppl-devel packages." #endif diff --git a/fedora/pwl.hh b/fedora/pwl.hh index c51a858..a89f27d 100644 --- a/fedora/pwl.hh +++ b/fedora/pwl.hh @@ -38,6 +38,12 @@ site: http://www.cs.unipr.it/Software/ . */ #include "pwl-s390x.hh" #elif defined(__s390__) #include "pwl-s390.hh" +#elif defined(__sh__) +#include "pwl-sh.hh" +#elif defined(__sparc__) && defined(__arch64__) +#include "pwl-sparc64.hh" +#elif defined(__sparc__) +#include "pwl-sparc.hh" #else #error "This architecture is not supported by the currently installed ppl-pwl-devel packages." #endif

1 0

[GIT] ppl/ppl(deprecated_0_11_removal): Version numbers fixed.
by Roberto Bagnara 17 Apr '09

17 Apr '09

Module: ppl/ppl Branch: deprecated_0_11_removal Commit: 1bd0dba00f786220d773edba1b9a09c591056aab URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1bd0dba00f78… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 16 12:10:11 2009 +0200 Version numbers fixed. --- doc/libppl.3 | 6 +++--- doc/libppl_c.3 | 14 +++++++------- 2 files changed, 10 insertions(+), 10 deletions(-) diff --git a/doc/libppl.3 b/doc/libppl.3 index ee86159..c997935 100644 --- a/doc/libppl.3 +++ b/doc/libppl.3 @@ -15,7 +15,7 @@ Note that the PPL has interfaces also for C, Java, OCaml and a number of Prolog systems: look elsewhere for documentation on those. Note also that the present document does not describe the library functionality, its classes or its methods and functions: see -.IR "The Parma Polyhedra Library User's Manual (version 0.10)" +.IR "The Parma Polyhedra Library User's Manual (version 0.10.2)" for this kind of information. .SH "INCLUDING THE HEADER FILE" @@ -61,7 +61,7 @@ when you are done with the library. .SH "USING THE LIBRARY" Keeping in mind that there is no substitute for a careful reading of -.IR "The Parma Polyhedra Library User's Manual (version 0.10)", +.IR "The Parma Polyhedra Library User's Manual (version 0.10.2)", you can find many examples of use in the directories .B tests (see the @@ -196,7 +196,7 @@ before invoking any PPL interface related to such abstractions. .BR ppl-config(1) .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library User's Manual (version 0.10)", +.IR "The Parma Polyhedra Library User's Manual (version 0.10.2)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR . .sp diff --git a/doc/libppl_c.3 b/doc/libppl_c.3 index 2013695..9d6b7e1 100644 --- a/doc/libppl_c.3 +++ b/doc/libppl_c.3 @@ -15,9 +15,9 @@ Note that the PPL has interfaces also for C++, Java, OCaml and a number of Prolog systems: look elsewhere for documentation on those. Note also that the present document does not describe the library functionality, its classes or its methods and functions: see -.IR "The Parma Polyhedra Library User's Manual (version 0.10)" +.IR "The Parma Polyhedra Library User's Manual (version 0.10.2)" and -.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.10)" +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.10.2)" for this kind of information. .SH "INCLUDING THE HEADER FILE" @@ -48,9 +48,9 @@ when you are done with the library. .SH "USING THE LIBRARY" Keeping in mind that there is no substitute for a careful reading of -.IR "The Parma Polyhedra Library User's Manual (version 0.10)" +.IR "The Parma Polyhedra Library User's Manual (version 0.10.2)" and -.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.10)" +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.10.2)" you can find examples of use in the directories .B interfaces/C/tests and @@ -81,7 +81,7 @@ is especially valuable for GNU/Linux users). .SH "RETURN VALUES" All the PPL C interface functions return an int: a negative value means that an error occurred. See -.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.10)" +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.10.2)" for the error codes. .SH "IMPLEMENTING MEMORY-GUARDED COMPUTATIONS" @@ -127,12 +127,12 @@ before invoking any PPL interface related to such abstractions. .BR libppl(3) .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library User's Manual (version 0.10)", +.IR "The Parma Polyhedra Library User's Manual (version 0.10.2)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.10)", +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.10.2)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR . .sp

1 0

[GIT] ppl/ppl(deprecated_0_11_removal): Updated for PPL 0.10.2.
by Roberto Bagnara 17 Apr '09

17 Apr '09

Module: ppl/ppl Branch: deprecated_0_11_removal Commit: 8a5a53ecbeb4eecf23682cb98bbdea1d42dd286b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a5a53ecbeb4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 16 12:02:03 2009 +0200 Updated for PPL 0.10.2. --- demos/ppl_lcdd/ppl_lcdd.1 | 4 ++-- demos/ppl_lpsol/ppl_lpsol.1 | 4 +--- doc/libppl.3 | 2 +- doc/libppl_c.3 | 2 +- doc/ppl-config.1 | 12 ++++++------ doc/ppl-config_extra_man_text | 10 +++++----- 6 files changed, 16 insertions(+), 18 deletions(-) diff --git a/demos/ppl_lcdd/ppl_lcdd.1 b/demos/ppl_lcdd/ppl_lcdd.1 index f460191..461c540 100644 --- a/demos/ppl_lcdd/ppl_lcdd.1 +++ b/demos/ppl_lcdd/ppl_lcdd.1 @@ -1,10 +1,10 @@ .\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.36. -.TH PPL_LCDD "1" "April 2009" "ppl_lcdd 0.10.1" "User Commands" +.TH PPL_LCDD "1" "April 2009" "ppl_lcdd 0.10.2" "User Commands" .SH NAME ppl_lcdd \- a PPL-based program for vertex/facet enumeration of convex polyhedra .SH SYNOPSIS .B ppl_lcdd -[\fIOPTION\fR]... [\fIFILE\fR]... +[\fIOPTION\fR]... [\fIFILE\fR] .SH DESCRIPTION Reads an H\-representation (resp., a V\-representation) of a polyhedron and generates a V\-representation (resp., an H\-representation) of diff --git a/demos/ppl_lpsol/ppl_lpsol.1 b/demos/ppl_lpsol/ppl_lpsol.1 index d00ea15..5374c6e 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" "April 2009" "ppl_lpsol 0.10.1" "User Commands" +.TH PPL_LPSOL "1" "April 2009" "ppl_lpsol 0.10.2" "User Commands" .SH NAME ppl_lpsol \- a PPL-based mixed integer programming problem solver .SH SYNOPSIS @@ -83,8 +83,6 @@ The options \fB\-CSECS\fR (\fB\-\-max\-cpu\fR=\fISECS\fR) and .SH AUTHOR See the file \fBCREDITS\fR in the source distribution or use the command \fBppl\-config \-\-credits\fR for a list of contributors. -.SH "REPORTING BUGS" -Report bugs to <ppl\-devel(a)cs.unipr.it>. .SH COPYRIGHT Copyright (C) 2001\-2009 Roberto Bagnara <bagnara(a)cs.unipr.it> .br diff --git a/doc/libppl.3 b/doc/libppl.3 index 401c817..ee86159 100644 --- a/doc/libppl.3 +++ b/doc/libppl.3 @@ -1,4 +1,4 @@ -.TH libppl "3" "November 2008" "PPL 0.10.1" "libppl overview" +.TH libppl "3" "April 2009" "PPL 0.10.2" "libppl overview" .SH NAME libppl \- the C++ interface of the Parma Polyhedra Library diff --git a/doc/libppl_c.3 b/doc/libppl_c.3 index 91c8633..2013695 100644 --- a/doc/libppl_c.3 +++ b/doc/libppl_c.3 @@ -1,4 +1,4 @@ -.TH libppl_c "3" "November 2008" "PPL 0.10.1" "libppl_c overview" +.TH libppl_c "3" "April 2009" "PPL 0.10.2" "libppl_c overview" .SH NAME libppl_c \- the C interface of the Parma Polyhedra Library diff --git a/doc/ppl-config.1 b/doc/ppl-config.1 index ef18a8e..b4633ea 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" "April 2009" "ppl-config 0.10.1" "User Commands" +.TH PPL-CONFIG "1" "April 2009" "ppl-config 0.10.2" "User Commands" .SH NAME ppl-config \- obtain information about an installation of the Parma Polyhedra Library .SH SYNOPSIS @@ -116,26 +116,26 @@ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. .BR libppl_c(3) .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library User's Manual (version 0.10)", +.IR "The Parma Polyhedra Library User's Manual (version 0.10.2)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.10)", +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.10.2)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library Java Language Interface User's Manual (version 0.10)", +.IR "The Parma Polyhedra Library Java Language Interface User's Manual (version 0.10.2)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library OCaml Language Interface User's Manual (version 0.10)", +.IR "The Parma Polyhedra Library OCaml Language Interface User's Manual (version 0.10.2)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library Prolog Language Interface User's Manual (version 0.10)", +.IR "The Parma Polyhedra Library Prolog Language Interface User's Manual (version 0.10.2)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR . diff --git a/doc/ppl-config_extra_man_text b/doc/ppl-config_extra_man_text index cad654d..52a6e56 100644 --- a/doc/ppl-config_extra_man_text +++ b/doc/ppl-config_extra_man_text @@ -4,27 +4,27 @@ .BR libppl_c(3) .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library User's Manual (version 0.10)", +.IR "The Parma Polyhedra Library User's Manual (version 0.10.2)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.10)", +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.10.2)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library Java Language Interface User's Manual (version 0.10)", +.IR "The Parma Polyhedra Library Java Language Interface User's Manual (version 0.10.2)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library OCaml Language Interface User's Manual (version 0.10)", +.IR "The Parma Polyhedra Library OCaml Language Interface User's Manual (version 0.10.2)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library Prolog Language Interface User's Manual (version 0.10)", +.IR "The Parma Polyhedra Library Prolog Language Interface User's Manual (version 0.10.2)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR .

1 0

[GIT] ppl/ppl(deprecated_0_11_removal): Added targets to have `make -n dist ' work as expected.
by Roberto Bagnara 17 Apr '09

17 Apr '09

Module: ppl/ppl Branch: deprecated_0_11_removal Commit: 196f2de7fe79d67450109628d144b9b8f4ec2e3e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=196f2de7fe79… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 16 11:15:41 2009 +0200 Added targets to have `make -n dist' work as expected. --- Watchdog/doc/Makefile.am | 3 +++ doc/Makefile.am | 3 +++ 2 files changed, 6 insertions(+), 0 deletions(-) diff --git a/Watchdog/doc/Makefile.am b/Watchdog/doc/Makefile.am index 891b0ed..7357eb0 100644 --- a/Watchdog/doc/Makefile.am +++ b/Watchdog/doc/Makefile.am @@ -276,3 +276,6 @@ mostlyclean-local: CLEANFILES = \ $(USER_CORE_HTML_DIR).tag \ $(DEVREF_CORE_HTML_DIR).tag + +../src/pwl_include_files.hh: + $(MAKE) $(AM_MAKEFLAGS) -C ../src pwl_include_files.hh diff --git a/doc/Makefile.am b/doc/Makefile.am index ac2ab5e..ab02148 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -1632,3 +1632,6 @@ mostlyclean-local: CLEANFILES = \ $(USER_CORE_HTML_DIR).tag \ $(DEVREF_CORE_HTML_DIR).tag + +../src/ppl_include_files.hh: + $(MAKE) $(AM_MAKEFLAGS) -C ../src ppl_include_files.hh

1 0

[GIT] ppl/ppl(deprecated_0_11_removal): Usage string fixed: ppl_lcdd accepts at most one input file.
by Roberto Bagnara 17 Apr '09

17 Apr '09

Module: ppl/ppl Branch: deprecated_0_11_removal Commit: d8a9cfe7cf1e6ddeaf08b4647a3f29d88f9f924b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d8a9cfe7cf1e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 16 10:57:35 2009 +0200 Usage string fixed: ppl_lcdd accepts at most one input file. --- demos/ppl_lcdd/ppl_lcdd.cc | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/demos/ppl_lcdd/ppl_lcdd.cc b/demos/ppl_lcdd/ppl_lcdd.cc index e174030..b0d33d5 100644 --- a/demos/ppl_lcdd/ppl_lcdd.cc +++ b/demos/ppl_lcdd/ppl_lcdd.cc @@ -162,7 +162,7 @@ struct option long_options[] = { #endif static const char* usage_string -= "Usage: %s [OPTION]... [FILE]...\n" += "Usage: %s [OPTION]... [FILE]\n" "Reads an H-representation (resp., a V-representation) of a polyhedron\n" "and generates a V-representation (resp., an H-representation) of\n" "the same polyhedron.\n\n"

1 0

[GIT] ppl/ppl(deprecated_0_11_removal): Added rules so that `make -n' and `make -n check' work.
by Roberto Bagnara 17 Apr '09

17 Apr '09

Module: ppl/ppl Branch: deprecated_0_11_removal Commit: d5c7c849dc491e2057c5da89b777ab61377df240 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d5c7c849dc49… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 16 08:37:12 2009 +0200 Added rules so that `make -n' and `make -n check' work. --- Watchdog/src/Makefile.am | 6 +++++ Watchdog/tests/Makefile.am | 3 ++ demos/ppl_lcdd/Makefile.am | 6 +++++ demos/ppl_lpsol/Makefile.am | 3 ++ interfaces/C/Makefile.am | 10 ++++++++ interfaces/C/tests/Makefile.am | 3 ++ interfaces/Java/Makefile.am | 3 ++ interfaces/Java/jni/Makefile.am | 7 ++++++ .../Java/parma_polyhedra_library/Makefile.am | 3 ++ interfaces/Java/tests/Makefile.am | 3 ++ interfaces/OCaml/Makefile.am | 7 ++++++ interfaces/OCaml/tests/Makefile.am | 10 ++++++++ interfaces/Prolog/Ciao/Makefile.am | 13 +++++++++++ interfaces/Prolog/GNU/Makefile.am | 9 +++++++ interfaces/Prolog/Makefile.am | 3 ++ interfaces/Prolog/SICStus/Makefile.am | 23 ++++++++++++++++++++ interfaces/Prolog/SWI/Makefile.am | 9 +++++++ interfaces/Prolog/XSB/Makefile.am | 9 +++++++ interfaces/Prolog/YAP/Makefile.am | 9 +++++++ interfaces/Prolog/tests/Makefile.am | 3 ++ src/Makefile.am | 9 +++++++ tests/BD_Shape/Makefile.am | 10 ++++++++ tests/Box/Makefile.am | 12 ++++++++++ tests/Grid/Makefile.am | 9 +++++++ tests/MIP_Problem/Makefile.am | 12 ++++++++++ tests/Octagonal_Shape/Makefile.am | 9 +++++++ tests/Partially_Reduced_Product/Makefile.am | 9 +++++++ tests/Polyhedron/Makefile.am | 12 ++++++++++ tests/Powerset/Makefile.am | 9 +++++++ 29 files changed, 233 insertions(+), 0 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=d5c7c849…

1 0

[GIT] ppl/ppl(deprecated_0_11_removal): Updated BHZ09b.
by Roberto Bagnara 17 Apr '09

17 Apr '09

Module: ppl/ppl Branch: deprecated_0_11_removal Commit: d77b6ad1c7ddac3a8ff4168114975e2c894caeb3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d77b6ad1c7dd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 16 07:47:21 2009 +0200 Updated BHZ09b. --- doc/definitions.dox | 7 +++++-- 1 files changed, 5 insertions(+), 2 deletions(-) diff --git a/doc/definitions.dox b/doc/definitions.dox index 123bb92..e493e03 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -3160,8 +3160,11 @@ R. Bagnara, P. M. Hill, and E. Zaffanella. R. Bagnara, P. M. Hill, and E. Zaffanella. Exact join detection for convex polyhedra and other numerical abstractions. - Report <tt>arXiv:cs.CG/0904.1783</tt>, 2009. - Available from <a href="http://arxiv.org/">http://arxiv.org/</a>. + Quaderno 492, Dipartimento di Matematica, Università di Parma, + Italy, 2009. + Available at <a href="http://www.cs.unipr.it/Publications/">http://www.cs.unipr.it/Publications/</a>. Also + published as <tt>arXiv:cs.CG/0904.1783</tt>, available from + <a href="http://arxiv.org/">http://arxiv.org/</a>. </DD>

1 0