- PPL-devel - BUGSENG Mailman

Parma Polyhedra Library 0.11.2
by Prof. Roberto Bagnara 27 Feb '11

27 Feb '11

We announce the availability of PPL 0.11.2, a new release of the Parma Polyhedra Library. This release fixes a few minor bugs in PPL 0.11.1. The precise list of user-visible changes is available at http://www.cs.unipr.it/ppl/Download/ftp/releases/0.11.2/NEWS For more information, please come and visit the PPL web site at http://www.cs.unipr.it/ppl/ On behalf of all the past and present developers listed at http://www.cs.unipr.it/ppl/Credits/ and in the file CREDITS, Abramo Bagnara Roberto Bagnara Patricia M. Hill Enea Zaffanella -- Prof. Roberto Bagnara CEO & CTO Applied Formal Methods Laboratory BUGSENG srl Department of Mathematics Parco Area delle Scienze 53/A University of Parma, Italy I-43124 Parma, Italy http://www.cs.unipr.it/~bagnara/ http://bugseng.com/ mailto:bagnara@cs.unipr.it mailto:roberto.bagnara@bugseng.com

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Update version.
by Roberto Bagnara 27 Feb '11

27 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 8de8bde2dd2cb7c0366ba0b4319b80d32afde53a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8de8bde2dd2c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 27 10:07:47 2011 +0100 Update version. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 661b0a3..72d2704 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,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.11.2pre1], [ppl-devel(a)cs.unipr.it] [ppl]) +AC_INIT([the Parma Polyhedra Library], [0.11.2], [ppl-devel(a)cs.unipr.it] [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Mark ChangeLog.
by Roberto Bagnara 27 Feb '11

27 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 9bb8b1dcb2b75c8be766e5ecffa39f2227b737b4 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9bb8b1dcb2b7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 27 10:07:47 2011 +0100 Mark ChangeLog. --- ChangeLog | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index 9556c33..fc10234 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,9 @@ 2011-02-27 Roberto Bagnara <bagnara(a)cs.unipr.it> + * PPL 0.11.2 released. + +2011-02-27 Roberto Bagnara <bagnara(a)cs.unipr.it> + * NEWS, README, Watchdog/src/Makefile.am, configure.ac, demos/ppl_lcdd/ppl_lcdd.1, demos/ppl_lpsol/ppl_lpsol.1, demos/ppl_pips/ppl_pips.1, doc/libppl.3, doc/libppl_c.3,

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Mark ChangeLog.
by Roberto Bagnara 27 Feb '11

27 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 5c5145dbd8bce110111ed64e9a324a91f2704b2d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c5145dbd8bc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 27 10:07:47 2011 +0100 Mark ChangeLog. --- Watchdog/ChangeLog | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/Watchdog/ChangeLog b/Watchdog/ChangeLog index da33606..fc5732e 100644 --- a/Watchdog/ChangeLog +++ b/Watchdog/ChangeLog @@ -1,5 +1,9 @@ 2011-02-27 Roberto Bagnara <bagnara(a)cs.unipr.it> + * PPL 0.11.2 released. + +2011-02-27 Roberto Bagnara <bagnara(a)cs.unipr.it> + * NEWS, README, Watchdog/src/Makefile.am, configure.ac, demos/ppl_lcdd/ppl_lcdd.1, demos/ppl_lpsol/ppl_lpsol.1, demos/ppl_pips/ppl_pips.1, doc/libppl.3, doc/libppl_c.3,

1 0

[GIT] ppl/w3ppl(master): Added links to the lzma tar archive.
by Roberto Bagnara 27 Feb '11

27 Feb '11

Module: ppl/w3ppl Branch: master Commit: a481c71d9ec8ed0294f48047d6d01217faa09646 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=a481c71d9e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 27 14:12:14 2011 +0100 Added links to the lzma tar archive. --- htdocs/Download/Download.raw | 10 ++++++++++ 1 files changed, 10 insertions(+), 0 deletions(-) diff --git a/htdocs/Download/Download.raw b/htdocs/Download/Download.raw index 51e2051..e9b05f5 100644 --- a/htdocs/Download/Download.raw +++ b/htdocs/Download/Download.raw @@ -158,6 +158,16 @@ PPL source distributions can be downloaded via </TR> <TR> + <TD ALIGN=LEFT>lzma tar archive</TD> + <TD ALIGN=CENTER> + <A HREF="ftp://ftp.cs.unipr.it/pub/ppl/releases/@PPL_VERSION@/ppl-@PPL_VERSION@.tar.lzma">ftp</A> + </TD> + <TD ALIGN=CENTER> + <A HREF="@BASE_DIR@Download/ftp/releases/@PPL_VERSION@/ppl-@PPL_VERSION@.tar.lzma">http</A> + </TD> +</TR> + +<TR> <TD ALIGN=LEFT>ZIP archive</TD> <TD ALIGN=CENTER> <A HREF="ftp://ftp.cs.unipr.it/pub/ppl/releases/@PPL_VERSION@/ppl-@PPL_VERSION@.zip">ftp</A>

1 0

[GIT] ppl/w3ppl(master): Added a --with-java option to the configuration command.
by Roberto Bagnara 27 Feb '11

27 Feb '11

Module: ppl/w3ppl Branch: master Commit: 2b979a5dbc414134c0e93fcd25df82bca3d3ceec URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=2b979a5dbc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 27 14:02:37 2011 +0100 Added a --with-java option to the configuration command. --- bin/update_web_site | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/bin/update_web_site b/bin/update_web_site index acc1b23..b2ebd2b 100755 --- a/bin/update_web_site +++ b/bin/update_web_site @@ -106,7 +106,7 @@ mkdir $top_dir/build cd $top_dir/ppl autoreconf cd $top_dir/build -$top_dir/ppl/configure --enable-interfaces=all --enable-instantiations=all +$top_dir/ppl/configure --with-java=/usr/lib/jvm/java-6-openjdk --enable-interfaces=all --enable-instantiations=all # Make the header file ppl-config.h (needed by ppl.hh). cd $top_dir/build

1 0

[GIT] ppl/w3ppl(master): Updated for PPL 0.11.2.
by Roberto Bagnara 27 Feb '11

27 Feb '11

Module: ppl/w3ppl Branch: master Commit: 95acce84887eb6c3ba9eba5133a29f1073348e60 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=95acce8488… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 27 12:24:52 2011 +0100 Updated for PPL 0.11.2. --- htdocs/FAQ.raw | 7 ++++--- htdocs/news.raw | 11 +++++++++++ htdocs/ppl.raw | 13 ++++++++++++- htdocs/templates/macros.tmpl | 2 +- 4 files changed, 28 insertions(+), 5 deletions(-) diff --git a/htdocs/FAQ.raw b/htdocs/FAQ.raw index 5baa36c..49bdb6f 100644 --- a/htdocs/FAQ.raw +++ b/htdocs/FAQ.raw @@ -443,7 +443,8 @@ they can choose among the C, C++, Java, OCaml and Prolog interfaces. A: -If all goes well, PPL 0.12 will be focused on facilities to support +If all goes well, PPL 0.12 will be focused on improvements of memory +utilization and facilities to support the analysis of floating point and machine integer computations. For the same release we hope to add serialization for all PPL objects. @@ -454,5 +455,5 @@ For the same release we hope to add serialization for all PPL objects. A: -It is difficult to say. We hope to release PPL 0.11.1 in January/February 2011 -and PPL 0.12 before the end of 2012. +It is difficult to say. We hope to release PPL 0.12 before the end of +2011. diff --git a/htdocs/news.raw b/htdocs/news.raw index 135597c..350a873 100644 --- a/htdocs/news.raw +++ b/htdocs/news.raw @@ -10,6 +10,17 @@ of the Parma Polyhedra Library. <TABLE> <TR> + <TD VALIGN=TOP><TT>Feb 27, 2011</TT></TD> + <TD> + PPL 0.11.2 has been released + + This release fixes a few minor bugs of PPL 0.11.1. See the + <A HREF="Download/ftp/releases/0.11.2/NEWS">release notes</A> + for more information. + </TD> +</TR> + +<TR> <TD VALIGN=TOP><TT>Feb 20, 2011</TT></TD> <TD> PPL 0.11.1 has been released diff --git a/htdocs/ppl.raw b/htdocs/ppl.raw index 1de2851..104a33a 100644 --- a/htdocs/ppl.raw +++ b/htdocs/ppl.raw @@ -51,6 +51,17 @@ version 3</A> or any later version). <TABLE> <TR> + <TD VALIGN=TOP><TT>Feb 27, 2011</TT></TD> + <TD> + PPL 0.11.2 has been released + + This release fixes a few minor bugs of PPL 0.11.1. See the + <A HREF="Download/ftp/releases/0.11.2/NEWS">release notes</A> + for more information. + </TD> +</TR> + +<TR> <TD VALIGN=TOP><TT>Feb 20, 2011</TT></TD> <TD> PPL 0.11.1 has been released @@ -65,7 +76,7 @@ version 3</A> or any later version). <TR> <TD VALIGN=TOP><TT>Jan 24, 2011</TT></TD> <TD> - BUGSENG is the new copyright holder + BUGSENG is the new copyright holder The copyright of the Parma Polyhedra Library has been transferred to <A HREF="http://bugseng.com/">BUGSENG</A> a newly established spin-off diff --git a/htdocs/templates/macros.tmpl b/htdocs/templates/macros.tmpl index c17f2bc..1c5dad7 100644 --- a/htdocs/templates/macros.tmpl +++ b/htdocs/templates/macros.tmpl @@ -1,4 +1,4 @@ -@PPL_VERSION=0.11.1@ +@PPL_VERSION=0.11.2@ @CHINA=CHINA@

1 0

[GIT] ppl/w3ppl(master): Make sure the Java SDK is found on the machine used for producing the releases .
by Roberto Bagnara 27 Feb '11

27 Feb '11

Module: ppl/w3ppl Branch: master Commit: d8ca74504b43e5244795ffe866dd3c839eb589c1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=d8ca74504b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 21 12:06:36 2011 +0100 Make sure the Java SDK is found on the machine used for producing the releases. --- bin/ppl_release | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/bin/ppl_release b/bin/ppl_release index 9289f54..5e5d0e4 100755 --- a/bin/ppl_release +++ b/bin/ppl_release @@ -163,7 +163,7 @@ EOF # Build the autoconf/automake machinery. autoreconf - ./configure + ./configure --with-java=/usr/lib/jvm/java-6-openjdk } # Build the source tarfiles for the release.

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Updated.
by Roberto Bagnara 27 Feb '11

27 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: f606c2cef5d49c111d95378bec6df7535459db36 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f606c2cef5d4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 27 09:45:26 2011 +0100 Updated. --- ChangeLog | 114 ++++++++++++++++++++++++++++++++++++++++++++++++++++ Watchdog/ChangeLog | 28 +++++++++++++ 2 files changed, 142 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index b305044..9556c33 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,9 +1,123 @@ +2011-02-27 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * NEWS, README, Watchdog/src/Makefile.am, configure.ac, + demos/ppl_lcdd/ppl_lcdd.1, demos/ppl_lpsol/ppl_lpsol.1, + demos/ppl_pips/ppl_pips.1, doc/libppl.3, doc/libppl_c.3, + doc/ppl-config.1, doc/ppl-config_extra_man_text, src/Makefile.am: + Preparation for the release of PPL 0.11.2. + +2011-02-25 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/Row.defs.hh: Fixed a documentation problem in a \ref Doxygen + command. + +2011-02-23 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/Checked_Number.defs.hh, src/Checked_Number.inlines.hh: Avoid + (again) using the same macro name for different purposes. Doing it + confuses both the reader and Doxygen. + +2011-02-23 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * doc/devref-language-interface.tex, doc/devref.tex, + doc/user-language-interface.tex, doc/user.tex: Get rid of LaTeX + warnings related to package fancyhdr. + +2011-02-23 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * doc/Makefile.am, doc/devref-language-interface.doxyconf.in, + doc/user-language-interface.doxyconf.in, + interfaces/C/C_interface.dox: Avoid duplicate PDF labels in the + configured C interface manuals. + +2011-02-23 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * doc/devref-language-interface.tex, doc/devref.tex, + doc/user-language-interface.tex, doc/user.tex: Fixed a duplicate + hypertarget error in the generated PDF documentation. + +2011-02-23 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/Checked_Number.defs.hh, src/Checked_Number.inlines.hh: Avoid + using the same macro name for different purposes. Doing it confuses + both the reader and Doxygen. + +2011-02-23 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * NEWS: Two items added. + +2011-02-23 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * m4/ac_check_gmp.m4: When cross-compiling, assume that GMP has been + compiled with support for propagating exceptions. + +2011-02-23 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * src/fpu-ia32.cc: Work around a bug showing up under mingw-w64. + +2011-02-23 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * Watchdog/doc/devref.doxyconf-latex.in, + doc/devref-language-interface.doxyconf.in, + doc/devref.doxyconf-latex.in: Set INLINE_SOURCES = NO when producing + LaTeX documentation. This change is a workaround to a pdftex + hyperref issue that may + result in the following error \pdfendlink ended up in different nesting level than + \pdfstartlink when using some versions of Doxygen (e.g., 1.7.3). According to http://tug.org/errors.html the error is triggered when + a hyperlink is split across page boundaries and it can be generated + even by valid LaTeX code. Disabling source inlining is a way to + greatly decrease its likelihood. + +2011-02-22 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/meta_programming.hh: Fixed a couple of Doxygen related + problems. + +2011-02-22 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * NEWS: Updated. + +2011-02-22 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * src/fpu-ia32.cc: No longer overwrite the SIGILL handler. + +2011-02-21 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * + interfaces/Java/parma_polyhedra_library/Parma_Polyhedra_Library.jav + a: Never use `\c'; use <CODE></CODE> instead (yes, uppercase). + +2011-02-21 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * NEWS, README.configure, configure.ac, m4/ac_check_fpu_control.m4: + The `--disable-fpmath' configure option now disables all floating + point computations. + 2011-02-20 Roberto Bagnara <bagnara(a)cs.unipr.it> * PPL 0.11.1 released. 2011-02-20 Roberto Bagnara <bagnara(a)cs.unipr.it> + * configure.ac: Update version. + +2011-02-20 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * ChangeLog: Mark ChangeLog. + +2011-02-20 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * Watchdog/ChangeLog: Mark ChangeLog. + +2011-02-20 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * ChangeLog: Updated. + +2011-02-20 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * NEWS: Added missing news items. + +2011-02-20 Roberto Bagnara <bagnara(a)cs.unipr.it> + * NEWS: Added missing news items. 2010-10-19 Enea Zaffanella <zaffanella(a)cs.unipr.it> diff --git a/Watchdog/ChangeLog b/Watchdog/ChangeLog index 1b78f74..da33606 100644 --- a/Watchdog/ChangeLog +++ b/Watchdog/ChangeLog @@ -1,7 +1,35 @@ +2011-02-27 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * NEWS, README, Watchdog/src/Makefile.am, configure.ac, + demos/ppl_lcdd/ppl_lcdd.1, demos/ppl_lpsol/ppl_lpsol.1, + demos/ppl_pips/ppl_pips.1, doc/libppl.3, doc/libppl_c.3, + doc/ppl-config.1, doc/ppl-config_extra_man_text, src/Makefile.am: + Preparation for the release of PPL 0.11.2. + +2011-02-23 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * Watchdog/doc/devref.doxyconf-latex.in, + doc/devref-language-interface.doxyconf.in, + doc/devref.doxyconf-latex.in: Set INLINE_SOURCES = NO when producing + LaTeX documentation. This change is a workaround to a pdftex + hyperref issue that may + result in the following error \pdfendlink ended up in different nesting level than + \pdfstartlink when using some versions of Doxygen (e.g., 1.7.3). According to http://tug.org/errors.html the error is triggered when + a hyperlink is split across page boundaries and it can be generated + even by valid LaTeX code. Disabling source inlining is a way to + greatly decrease its likelihood. + 2011-02-20 Roberto Bagnara <bagnara(a)cs.unipr.it> * PPL 0.11.1 released. +2011-02-20 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * Watchdog/ChangeLog: Mark ChangeLog. + +2011-02-19 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * ChangeLog, Watchdog/ChangeLog: Updated. + 2011-02-19 Roberto Bagnara <bagnara(a)cs.unipr.it> * NEWS, README, Watchdog/config.guess, Watchdog/config.sub,

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Preparation for the release of PPL 0.11.2.
by Roberto Bagnara 27 Feb '11

27 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 1be72907093b05ed84e8009de1aed13c37f3b729 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1be72907093b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 27 09:29:19 2011 +0100 Preparation for the release of PPL 0.11.2. --- NEWS | 2 +- README | 38 +++++++++++++++++++------------------- Watchdog/src/Makefile.am | 1 + configure.ac | 2 +- demos/ppl_lcdd/ppl_lcdd.1 | 2 +- demos/ppl_lpsol/ppl_lpsol.1 | 2 +- demos/ppl_pips/ppl_pips.1 | 2 +- doc/libppl.3 | 8 ++++---- doc/libppl_c.3 | 16 ++++++++-------- doc/ppl-config.1 | 12 ++++++------ doc/ppl-config_extra_man_text | 10 +++++----- src/Makefile.am | 1 + 12 files changed, 49 insertions(+), 47 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=1be72907…

1 0