April 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/w3ppl(master): Small improvements.
by Roberto Bagnara 16 Apr '09

16 Apr '09

Module: ppl/w3ppl Branch: master Commit: c87373d46aa1afa1593be93951779e0f16b2fc74 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=c87373d46a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 16 11:12:49 2009 +0200 Small improvements. --- htdocs/Bugs/archive.raw | 21 ++++++++++++--------- 1 files changed, 12 insertions(+), 9 deletions(-) diff --git a/htdocs/Bugs/archive.raw b/htdocs/Bugs/archive.raw index 38317cd..b7a7157 100644 --- a/htdocs/Bugs/archive.raw +++ b/htdocs/Bugs/archive.raw @@ -12,25 +12,28 @@ for various versions of the PPL. <DT>April 16, 2009</DT> <DD> -Fixed a bug whereby build commands <CODE>make -n</CODE> and -<CODE>make -n check</CODE> were not working as expected +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>). </DD> <DT>April 15, 2009</DT> <DD> Fixed a bug in the Libtool version information for the C language interface -library, which causes library <CODE>libppl_c</CODE> to be installed with -a wrong soname (<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18ff016b92d1…">18ff016b92d1564dc761a0a1dcc528d8c2c4915b</A>). +library, which caused the <CODE>libppl_c</CODE> library to be installed with +a wrong soname +(<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18ff016b92d1…">18ff016b92d1564dc761a0a1dcc528d8c2c4915b</A>). </DD> <DT>April 15, 2009</DT> <DD> -Modified the configuration script so as to correctly detect -version 4.3.0 of GMP (<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5596eca02f2d…">5596eca02f2dea09e57ea22a240c2f3eab8be9e5</A>). -Note: strictly speaking, this is not a PPL bug, since GMP 4.3.0 (released -a few hours after the release of PPL 0.10.1) includes a -backward-incompatible change to variable <CODE>gmp_version</CODE>. +Modified the configuration script so as to correctly detect version +4.3.0 of GMP +(<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5596eca02f2d…">5596eca02f2dea09e57ea22a240c2f3eab8be9e5</A>). +Note: strictly speaking, this is not a PPL bug, since GMP 4.3.0 +(released a few hours after the release of PPL 0.10.1) +includes a backward-incompatible change to variable +<CODE>gmp_version</CODE>. </DD> </DL>

1 0

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

16 Apr '09

Module: ppl/ppl Branch: master 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/w3ppl(master): Reported bugs (including a not-a-PPL-bug fix) affecting version 0.10.1.
by Enea Zaffanella 16 Apr '09

16 Apr '09

Module: ppl/w3ppl Branch: master Commit: 8b2ec60382218724a265136811a90c2c2f0e4364 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=8b2ec60382… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 16 10:55:31 2009 +0200 Reported bugs (including a not-a-PPL-bug fix) affecting version 0.10.1. --- htdocs/Bugs/archive.raw | 29 +++++++++++++++++++++++++++++ 1 files changed, 29 insertions(+), 0 deletions(-) diff --git a/htdocs/Bugs/archive.raw b/htdocs/Bugs/archive.raw index ae07a1d..38317cd 100644 --- a/htdocs/Bugs/archive.raw +++ b/htdocs/Bugs/archive.raw @@ -6,6 +6,35 @@ $Date: 2009/02/04 07:49:30 $ This is an archive of the bugs discovered for various versions of the PPL. +<H2>Known Bugs in PPL 0.10.1</H2> + +<DL> + +<DT>April 16, 2009</DT> +<DD> +Fixed a bug whereby build commands <CODE>make -n</CODE> and +<CODE>make -n check</CODE> were not working as expected +(<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d5c7c849dc49…">d5c7c849dc491e2057c5da89b777ab61377df240</A>). +</DD> + +<DT>April 15, 2009</DT> +<DD> +Fixed a bug in the Libtool version information for the C language interface +library, which causes library <CODE>libppl_c</CODE> to be installed with +a wrong soname (<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18ff016b92d1…">18ff016b92d1564dc761a0a1dcc528d8c2c4915b</A>). +</DD> + +<DT>April 15, 2009</DT> +<DD> +Modified the configuration script so as to correctly detect +version 4.3.0 of GMP (<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5596eca02f2d…">5596eca02f2dea09e57ea22a240c2f3eab8be9e5</A>). +Note: strictly speaking, this is not a PPL bug, since GMP 4.3.0 (released +a few hours after the release of PPL 0.10.1) includes a +backward-incompatible change to variable <CODE>gmp_version</CODE>. +</DD> + +</DL> + <H2>Known Bugs in PPL 0.10</H2> <DL>

1 0

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

16 Apr '09

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

16 Apr '09

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

[GIT] ppl/w3ppl(master): Updated BagnaraHZ09TRa.
by Roberto Bagnara 16 Apr '09

16 Apr '09

Module: ppl/w3ppl Branch: master Commit: da2b252a383e73828e5e484b41420e0c50a3c876 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=da2b252a38… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 16 07:43:49 2009 +0200 Updated BagnaraHZ09TRa. --- htdocs/Documentation/ppl.bib | 10 +++++++--- 1 files changed, 7 insertions(+), 3 deletions(-) diff --git a/htdocs/Documentation/ppl.bib b/htdocs/Documentation/ppl.bib index 76ebb2d..03d4d3e 100644 --- a/htdocs/Documentation/ppl.bib +++ b/htdocs/Documentation/ppl.bib @@ -931,13 +931,17 @@ domains with floating point numbers are also discussed.", } -@Misc{BagnaraHZ09TRa, +@Techreport{BagnaraHZ09TRa, Author = "R. Bagnara and P. M. Hill and E. Zaffanella", Title = "Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions", - Howpublished = "Report {\tt arXiv:cs.CG/0904.1783}", - Note = "Available from \url{http://arxiv.org/}.", + Number = 492, + Type = "Quaderno", + Institution = "Dipartimento di Matematica, Universit\`a di Parma, Italy", Year = 2009, + Note = "Available at \url{http://www.cs.unipr.it/Publications/}. + Also published as {\tt arXiv:cs.CG/0904.1783}, + available from \url{http://arxiv.org/}.", Abstract = "Deciding whether the union of two convex polyhedra is a convex polyhedron is a basic problem in polyhedral computation having important applications in the field

1 0

[GIT] ppl/ppl(master): Test program tests/Polyhedron/ memory1 disabled on the zSeries s390x platform.
by Roberto Bagnara 15 Apr '09

15 Apr '09

Module: ppl/ppl Branch: master Commit: 4302923d1a3d4fe2ba32f24108bd2b9484950d3a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4302923d1a3d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 15 22:56:56 2009 +0200 Test program tests/Polyhedron/memory1 disabled on the zSeries s390x platform. --- NEWS | 3 +++ tests/Polyhedron/memory1.cc | 6 +++++- 2 files changed, 8 insertions(+), 1 deletions(-) diff --git a/NEWS b/NEWS index 678bf2b..1a4e482 100644 --- a/NEWS +++ b/NEWS @@ -14,6 +14,9 @@ o Correctly detect GMP 4.3.0. o Fixed the C interface library version information. +o Test program tests/Polyhedron/memory1 disabled on the zSeries s390x + platform. + o Makefiles fixed so as to avoid failure of `make -n check'. diff --git a/tests/Polyhedron/memory1.cc b/tests/Polyhedron/memory1.cc index f1544d0..c1a3bf4 100644 --- a/tests/Polyhedron/memory1.cc +++ b/tests/Polyhedron/memory1.cc @@ -53,8 +53,12 @@ site: http://www.cs.unipr.it/ppl/ . */ // // On the Itanium the test fails because of the bug reported in // http://www.cs.unipr.it/pipermail/ppl-devel/2008-September/012943.html +// +// On s390x-linux the test fails, we do not know why (and without access +// 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(__ia64) || defined(__s390x) int main() TRY {

1 0

make check -n fails
by Ryan Hill 15 Apr '09

15 Apr '09

Hello. While packaging PPL for Gentoo I found that our package manager kept skipping running the testsuite. Basically, to determine if a package has a testsuite it first runs make in dry-run mode: + make -j1 check -n + make -j1 test -n ..and if successful it goes ahead and runs the tests. After a bit of poking, I discovered that the problem is that running `make check -n` in PPL fails with an error: make[3]: *** No rule to make target `../../tests/libppl_tests.a', needed by `addcongruences1'. Stop. Regular `make check` works fine of course, as does `make check -n` after `make check`. Full log attached. Please CC me on replies. -- gcc-porting, by design, by neglect treecleaner, for a fact or just for effect wxwidgets @ gentoo EFFD 380E 047A 4B51 D2BD C64F 8AA8 8346 F9A4 0662

2 1

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

15 Apr '09

Module: ppl/ppl Branch: master Commit: f4df86f705b1581500006ecdf29851919cf02968 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f4df86f705b1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 15 22:30:20 2009 +0200 Updated for PPL 0.10.2. --- NEWS | 14 ++++++++++++++ README | 36 ++++++++++++++++++------------------ TODO | 6 ------ configure.ac | 2 +- 4 files changed, 33 insertions(+), 25 deletions(-) diff --git a/NEWS b/NEWS index d185ac2..678bf2b 100644 --- a/NEWS +++ b/NEWS @@ -4,6 +4,20 @@ Parma Polyhedra Library NEWS -- history of user-visible changes -------------------------------------------------------------------------- +NEWS for version 0.10.2 (released on April 18, 2009) +-------------------------------------------------------------------------- + +Bugfixes +======== + +o Correctly detect GMP 4.3.0. + +o Fixed the C interface library version information. + +o Makefiles fixed so as to avoid failure of `make -n check'. + + +-------------------------------------------------------------------------- NEWS for version 0.10.1 (released on April 14, 2009) -------------------------------------------------------------------------- diff --git a/README b/README index a79c408..daefe30 100644 --- a/README +++ b/README @@ -2,10 +2,10 @@ Copyright (C) 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it> See below for the copying conditions. -Parma Polyhedra Library (Release 0.10.1) +Parma Polyhedra Library (Release 0.10.2) ======================================== -This is the release 0.10.1 of the Parma Polyhedra Library: +This is the release 0.10.2 of the Parma Polyhedra Library: a C++ library for (not necessarily closed) convex polyhedra and other numerical abstractions. @@ -66,7 +66,7 @@ write to ppl-devel(a)cs.unipr.it. Here is the contents of the PPL 0.10 source distribution (41 directories, 1446 files): -ppl-0.10.1 +ppl-0.10.2 |-- BUGS |-- COPYING |-- CREDITS @@ -394,21 +394,21 @@ ppl-0.10.1 | |-- libppl.3 | |-- libppl_c.3 | |-- ppl-config.1 -| |-- ppl-user-0.10.1-html.tar.gz -| |-- ppl-user-0.10.1.pdf -| |-- ppl-user-0.10.1.ps.gz -| |-- ppl-user-c-interface-0.10.1-html.tar.gz -| |-- ppl-user-c-interface-0.10.1.pdf -| |-- ppl-user-c-interface-0.10.1.ps.gz -| |-- ppl-user-java-interface-0.10.1-html.tar.gz -| |-- ppl-user-java-interface-0.10.1.pdf -| |-- ppl-user-java-interface-0.10.1.ps.gz -| |-- ppl-user-ocaml-interface-0.10.1-html.tar.gz -| |-- ppl-user-ocaml-interface-0.10.1.pdf -| |-- ppl-user-ocaml-interface-0.10.1.ps.gz -| |-- ppl-user-prolog-interface-0.10.1-html.tar.gz -| |-- ppl-user-prolog-interface-0.10.1.pdf -| |-- ppl-user-prolog-interface-0.10.1.ps.gz +| |-- ppl-user-0.10.2-html.tar.gz +| |-- ppl-user-0.10.2.pdf +| |-- ppl-user-0.10.2.ps.gz +| |-- ppl-user-c-interface-0.10.2-html.tar.gz +| |-- ppl-user-c-interface-0.10.2.pdf +| |-- ppl-user-c-interface-0.10.2.ps.gz +| |-- ppl-user-java-interface-0.10.2-html.tar.gz +| |-- ppl-user-java-interface-0.10.2.pdf +| |-- ppl-user-java-interface-0.10.2.ps.gz +| |-- ppl-user-ocaml-interface-0.10.2-html.tar.gz +| |-- ppl-user-ocaml-interface-0.10.2.pdf +| |-- ppl-user-ocaml-interface-0.10.2.ps.gz +| |-- ppl-user-prolog-interface-0.10.2-html.tar.gz +| |-- ppl-user-prolog-interface-0.10.2.pdf +| |-- ppl-user-prolog-interface-0.10.2.ps.gz | |-- ppl.sty | |-- user-language-interface.doxyconf.in | |-- user-language-interface.tex diff --git a/TODO b/TODO index a8c932c..cfbd3be 100644 --- a/TODO +++ b/TODO @@ -1,10 +1,4 @@ -Enhancements for PPL 0.10.1 or later versions -============================================= - -- Update the NEWS file. - - Enhancements for PPL 0.11 ========================= diff --git a/configure.ac b/configure.ac index eab19fc..090590c 100644 --- a/configure.ac +++ b/configure.ac @@ -23,7 +23,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library],[0.10.1pre13],[ppl-devel(a)cs.unipr.it],[ppl]) +AC_INIT([the Parma Polyhedra Library],[0.10.2pre1],[ppl-devel(a)cs.unipr.it],[ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(master): Libtool -version-info updated for PPL 0.10.2.
by Roberto Bagnara 15 Apr '09

15 Apr '09

Module: ppl/ppl Branch: master Commit: 18ff016b92d1564dc761a0a1dcc528d8c2c4915b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18ff016b92d1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 15 22:21:41 2009 +0200 Libtool -version-info updated for PPL 0.10.2. --- Watchdog/src/Makefile.am | 1 + interfaces/C/Makefile.am | 6 ++++-- src/Makefile.am | 1 + 3 files changed, 6 insertions(+), 2 deletions(-) diff --git a/Watchdog/src/Makefile.am b/Watchdog/src/Makefile.am index 0b94acc..04504c1 100644 --- a/Watchdog/src/Makefile.am +++ b/Watchdog/src/Makefile.am @@ -88,6 +88,7 @@ pwl_header.hh # 0.5 0.9 3:0:0 # 0.6 0.10 4:0:0 # 0.7 0.10.1 4:0:0 +# 0.7 0.10.2 4:0:0 LIBPWL_LT_CURRENT = 4 LIBPWL_LT_REVISION = 0 diff --git a/interfaces/C/Makefile.am b/interfaces/C/Makefile.am index ecc9f37..c2ee5ea 100644 --- a/interfaces/C/Makefile.am +++ b/interfaces/C/Makefile.am @@ -68,10 +68,12 @@ C_interface.dox # 0.8 1:0:1 # 0.9 1:0:1 # 0.10 2:0:0 +# 0.10.1 2:0:0 (was not updated by mistake) +# 0.10.2 3:0:1 -LIBPPL_C_LT_CURRENT = 2 +LIBPPL_C_LT_CURRENT = 3 LIBPPL_C_LT_REVISION = 0 -LIBPPL_C_LT_AGE = 0 +LIBPPL_C_LT_AGE = 1 ppl_c.h: ppl_c_header.h ppl_c_version.h ppl_c_domains.h Makefile $(top_builddir)/utils/build_header $(top_builddir)/utils/build_header \ diff --git a/src/Makefile.am b/src/Makefile.am index a066dab..46490b0 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -53,6 +53,7 @@ # 0.9 6:0:0 # 0.10 7:0:0 # 0.10.1 8:0:1 +# 0.10.2 8:0:1 LIBPPL_LT_CURRENT = 8 LIBPPL_LT_REVISION = 0

1 0