April 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(ppl-0_10-branch): Updated to refer to git and to mention possible names of TeX config files.
by Enea Zaffanella 17 Apr '09

17 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: b0a1463d9ba42c938bbaf8fb6c88f3078581c4ea URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b0a1463d9ba4… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Apr 14 14:03:33 2009 +0200 Updated to refer to git and to mention possible names of TeX config files. --- doc/README.doc | 25 +++++++++++++++---------- 1 files changed, 15 insertions(+), 10 deletions(-) diff --git a/doc/README.doc b/doc/README.doc index 57c60ad..3fd2c80 100644 --- a/doc/README.doc +++ b/doc/README.doc @@ -56,7 +56,7 @@ The Documentation You May Build Yourself ======================================== When all else fails (which is the case, for example, when you are -using a CVS version [1]) then you may build the documentation by +using a git version [1]) then you may build the documentation by yourself. In order to do that, you should have a recent version of Doxygen [2] and, if you want to build the HTML documentation, a recent version of Graphviz [3]. When you have all the tools installed and @@ -97,17 +97,22 @@ For example, the command will build both kinds of manuals in a PDF format. Alternatively, the command `make world' will build all the available documentation in all -of the above formats. It is possible that, while compiling some -PostScript or PDF documentation, LaTeX dies with a "TeX capacity -exceeded" error message. The error should contain the indication of -the TeX buffer whose capacity has been exceeded, e.g.: +of the above formats. + +It is possible that, while compiling some PostScript or PDF +documentation, LaTeX dies with a "TeX capacity exceeded" error +message. The error should contain the indication of the TeX buffer +whose capacity has been exceeded, e.g.: ! TeX capacity exceeded, sorry [save size=5000]. -You than need to edit the file that defines the buffer sizes -(texmf.cnf on teTeX, 20sizes.cnf on TeX Live) increasing the value of -the corresponding buffer. Continuing our example, we can double -save_size by editing texmf.cfg so that the relevant line becomes +You then need to edit the LaTeX configuration file that defines the +buffer sizes so as to increase the value of the relevant buffer. +Note: the actual name and location of the configuration file will vary +depending on the available LaTeX distribution: possible names include +texmf.cnf, texmf.cfg and 20sizes.cnf. Continuing our example, we can +double save_size by editing the configuration file so that the +relevant line becomes save_size = 10000 % for saving values outside current group @@ -120,7 +125,7 @@ for the change to become effective. -------- -[1] http://www.cs.unipr.it/ppl/Download/cvs +[1] http://www.cs.unipr.it/ppl/Download/Git [2] http://www.doxygen.org/ [3] http://www.research.att.com/sw/tools/graphviz/

1 0

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

16 Apr '09

Module: ppl/ppl Branch: master 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(master): Updated.
by Roberto Bagnara 16 Apr '09

16 Apr '09

Module: ppl/ppl Branch: master 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(master): Updated for PPL 0.10.2.
by Roberto Bagnara 16 Apr '09

16 Apr '09

Module: ppl/ppl Branch: master 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(master): Version numbers fixed.
by Roberto Bagnara 16 Apr '09

16 Apr '09

Module: ppl/ppl Branch: master 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(master): Updated for PPL 0.10.2.
by Roberto Bagnara 16 Apr '09

16 Apr '09

Module: ppl/ppl Branch: master 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/w3ppl(master): Completed commit information for bug correction.
by Enea Zaffanella 16 Apr '09

16 Apr '09

Module: ppl/w3ppl Branch: master Commit: 13fcef745317c92faf70685c0a8e83ced421bd88 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=13fcef7453… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 16 11:40:03 2009 +0200 Completed commit information for bug correction. --- htdocs/Bugs/archive.raw | 7 +++++-- 1 files changed, 5 insertions(+), 2 deletions(-) diff --git a/htdocs/Bugs/archive.raw b/htdocs/Bugs/archive.raw index b7a7157..759097f 100644 --- a/htdocs/Bugs/archive.raw +++ b/htdocs/Bugs/archive.raw @@ -13,8 +13,11 @@ for various versions of the PPL. <DT>April 16, 2009</DT> <DD> Fixed a bug whereby <CODE>make -n</CODE> (possibly followed by -one or more make targets) was not working as expected -(<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d5c7c849dc49…">d5c7c849dc491e2057c5da89b777ab61377df240</A>). +one or more make targets) was not working as expected. +Relevant commits are +<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d5c7c849dc49…">d5c7c849dc491e2057c5da89b777ab61377df240</A> +and +<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=196f2de7fe79…">196f2de7fe79d67450109628d144b9b8f4ec2e3e</A>. </DD> <DT>April 15, 2009</DT>

1 0

[GIT] ppl/w3ppl(master): Added release of 0.10.2 to the news.
by Enea Zaffanella 16 Apr '09

16 Apr '09

Module: ppl/w3ppl Branch: master Commit: 9c7c36f2cbbdf94cb61117098dc3725620a1b3a9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=9c7c36f2cb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 16 11:19:16 2009 +0200 Added release of 0.10.2 to the news. --- htdocs/news.raw | 11 +++++++++++ htdocs/ppl.raw | 11 +++++++++++ 2 files changed, 22 insertions(+), 0 deletions(-) diff --git a/htdocs/news.raw b/htdocs/news.raw index c70e4f8..f126193 100644 --- a/htdocs/news.raw +++ b/htdocs/news.raw @@ -10,6 +10,17 @@ of the Parma Polyhedra Library. <TABLE> <TR> + <TD VALIGN=TOP><TT>Apr 18, 2009</TT></TD> + <TD> + PPL 0.10.2 has been released + + This is a bugfix release. See the + <A HREF="Download/ftp/releases/0.10.2/NEWS">release notes</A> + for more information. + </TD> +</TR> + +<TR> <TD VALIGN=TOP><TT>Apr 14, 2009</TT></TD> <TD> PPL 0.10.1 has been released diff --git a/htdocs/ppl.raw b/htdocs/ppl.raw index 7de4f2a..112bb12 100644 --- a/htdocs/ppl.raw +++ b/htdocs/ppl.raw @@ -48,6 +48,17 @@ version 3</A> or any later version). <TABLE> <TR> + <TD VALIGN=TOP><TT>Apr 18, 2009</TT></TD> + <TD> + PPL 0.10.2 has been released + + This is a bugfix release. See the + <A HREF="Download/ftp/releases/0.10.2/NEWS">release notes</A> + for more information. + </TD> +</TR> + +<TR> <TD VALIGN=TOP><TT>Apr 14, 2009</TT></TD> <TD> PPL 0.10.1 has been released

1 0

[GIT] ppl/w3ppl(master): Version number bumped.
by Roberto Bagnara 16 Apr '09

16 Apr '09

Module: ppl/w3ppl Branch: master Commit: 064a45561637af1dd577339cb86234b8e2d08168 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=064a455616… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 16 11:18:11 2009 +0200 Version number bumped. --- htdocs/templates/macros.tmpl | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/htdocs/templates/macros.tmpl b/htdocs/templates/macros.tmpl index 3fbbd45..f8a8260 100644 --- a/htdocs/templates/macros.tmpl +++ b/htdocs/templates/macros.tmpl @@ -1,4 +1,4 @@ -@PPL_VERSION=0.10.1@ +@PPL_VERSION=0.10.2@ @CHINA=CHINA@

1 0

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

16 Apr '09

Module: ppl/ppl Branch: master 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