February 2011 - PPL-devel - BUGSENG Mailman

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

28 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 814e3e076f4afa861ab166a4a9413f7b82f79eaf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=814e3e076f4a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 28 10:17:17 2011 +0100 Updated. --- fedora/ppl.spec | 24 ++++++++++++++++++++++-- 1 files changed, 22 insertions(+), 2 deletions(-) diff --git a/fedora/ppl.spec b/fedora/ppl.spec index cce9759..3c92a3d 100644 --- a/fedora/ppl.spec +++ b/fedora/ppl.spec @@ -2,13 +2,13 @@ Name: ppl Version: 0.10.2 -Release: 4%{?dist} +Release: 10%{?dist} Summary: The Parma Polyhedra Library: a library of numerical abstractions Group: Development/Libraries License: GPLv3+ URL: http://www.cs.unipr.it/ppl/ -Source0: ftp://ftp.cs.unipr.it/pub/ppl/releases/%{version}/%{name}-%{version}.tar.gz +Source0: ftp://ftp.cs.unipr.it/pub/ppl/releases/%{version}/%{name}-%{version}.tar.bz2 Source1: ppl.hh Source2: ppl_c.h Source3: pwl.hh @@ -210,6 +210,7 @@ CPPFLAGS="-I%{_includedir}/glpk" CPPFLAGS="$CPPFLAGS -I%{_libdir}/gprolog-`gprolog --version 2>&1 | head -1 | sed -e "s/.* $[^ ]*$$/\1/g"`/include" %endif %ifnarch sparc64 sparcv9 +CPPFLAGS="$CPPFLAGS -I`pl -dump-runtime-variables | grep PLBASE= | sed 's/PLBASE="$.*$";/\1/'`/include" CPPFLAGS="$CPPFLAGS -I%{_includedir}/Yap" %endif %configure --docdir=%{_datadir}/doc/%{name}-%{version} --enable-shared --disable-rpath --enable-interfaces="c++ c gnu_prolog swi_prolog yap_prolog java" CPPFLAGS="$CPPFLAGS" @@ -416,6 +417,25 @@ mv \ rm -rf %{buildroot} %changelog +* Fri Sep 11 2009 Caolán McNamara <caolanm(a)redhat.com> - 0.10.2-10 +- Resolves: rhbz#521588 stick pl include before Yap include to stop + configure-time misdetection to resolve FTBFS + +* Wed Aug 19 2009 Roberto Bagnara <bagnara(a)cs.unipr.it> - 0.10.2-9 +- Force rebuild. + +* Fri Aug 14 2009 Roberto Bagnara <bagnara(a)cs.unipr.it> - 0.10.2-8 +- Force rebuild. + +* Fri Aug 14 2009 Roberto Bagnara <bagnara(a)cs.unipr.it> - 0.10.2-7 +- Force rebuild. + +* Tue Aug 11 2009 Ville Skyttä <ville.skytta(a)iki.fi> - 0.10.2-6 +- Use bzipped upstream tarball. + +* Sun Jul 26 2009 Fedora Release Engineering <rel-eng(a)lists.fedoraproject.org> - 0.10.2-5 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild + * Sun Jul 12 2009 Roberto Bagnara <bagnara(a)cs.unipr.it> 0.10.2-4 - Force rebuild.

1 0

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 28 Feb '11

28 Feb '11

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c6004127e80b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 27 09:32:40 2011 +0100 Constraint_System: avoid being friend of Polyhedron. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=20720027ac14… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 27 09:20:24 2011 +0100 Generator_System: contain a Linear_System<Generator> instead of a Linear_System<Linear_Row>. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=817e99fb0043… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 27 09:16:23 2011 +0100 Linear_System: always compare rows as Linear_Row objects when sorting the system. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dfe7b0bdafe0… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 27 09:09:47 2011 +0100 Linear_Row: remove the iter_swap() function. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=04a7154ab58e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 27 09:09:14 2011 +0100 Generator: add some constructors/methods calling the corresponding Linear_Row constructors/methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2bb1e8d05fc8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 27 09:07:11 2011 +0100 Generator: inherit from Linear_Row with the 'public' specifier. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=476cfbb3b05c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Feb 25 22:01:51 2011 +0100 Congruence: contain a Dense_Row object instead of deriving from the Dense_Row class. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=730fb702b962… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Feb 26 09:05:52 2011 +0100 Grid: avoid calling Congruence::size(), in reduce_pc_with_pc().

1 0

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