April 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/w3ppl(master): Unwanted question removed.
by Roberto Bagnara 14 Apr '09

14 Apr '09

Module: ppl/w3ppl Branch: master Commit: bb1c1325b0bc1afceaaa1b8beb91808ac1c17a12 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=bb1c1325b0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 14 09:50:21 2009 +0200 Unwanted question removed. --- htdocs/FAQ.raw | 3 +-- 1 files changed, 1 insertions(+), 2 deletions(-) diff --git a/htdocs/FAQ.raw b/htdocs/FAQ.raw index e9fd6d0..71b6eb9 100644 --- a/htdocs/FAQ.raw +++ b/htdocs/FAQ.raw @@ -63,8 +63,7 @@ our answers are unclear or not to the point. <A HREF="#Development">Development</A> <UL> <LI> - <A HREF="#Why_Using_Cplusplus">Why are you developing the PPL in C++? - Isn't language XYZZY better?</A> + <A HREF="#Why_Using_Cplusplus">Why are you developing the PPL in C++?</A> </LI> <LI> <A HREF="#New_Features">What's next? What are you working on?</A>

1 0

[GIT] ppl/w3ppl(master): Several issues fixed.
by Roberto Bagnara 14 Apr '09

14 Apr '09

Module: ppl/w3ppl Branch: master Commit: 8617ef8ecd9cfd460a82fbecfd19648fa492aed2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=8617ef8ecd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 14 09:21:52 2009 +0200 Several issues fixed. --- bin/update_web_site | 140 ++++++++++++++++++++++++++------------------------- 1 files changed, 72 insertions(+), 68 deletions(-) diff --git a/bin/update_web_site b/bin/update_web_site index 8ac559f..802a55a 100755 --- a/bin/update_web_site +++ b/bin/update_web_site @@ -2,7 +2,7 @@ # Build the PPL documentation and publish it on the web. # -# Copyright (C) 2001-2008 Roberto Bagnara <bagnara(a)cs.unipr.it> +# Copyright (C) 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it> BRANCH=ppl-0_10-branch @@ -22,7 +22,7 @@ machine=`uname -n` top_dir=/tmp/w3ppl-update.$$ # The destination directory in the web area. -dest_dir=/var/www/html/ppl/new +dest_dir=/var/www/html/local/ppl # The email addresses of the developers. case "$machine" in @@ -37,7 +37,7 @@ case "$machine" in *) # developers="roberto" developers="bagnara(a)cs.unipr.it" - java_dir=/usr/java/default +# java_dir=/usr/java/default # developers="ppl-devel(a)cs.unipr.it" ;; esac @@ -157,76 +157,80 @@ make DESTDIR=$dest_dir # Create a build directory. mkdir $top_dir/build -# Configure +# Configure. cd $top_dir/ppl autoreconf cd $top_dir/build -$top_dir/ppl/configure --with-java=$java_dir --enable-interfaces=all --enable-instantiations=all - -# Build the ppl.hh include file. -cd utils -make -cd ../src -make ppl.hh >MAKELOG.ppl.hh 2>&1 -if [ $? -ne 0 ] -then - echo "*** Cannot build ppl.hh." >>$notification - echo "*** Build log follows:" >>$notification - cat MAKELOG.ppl.hh >>$notification - maybe_notify_developers_and_exit -fi -cd ../interfaces -make ppl_interface_instantiations.m4 -cd C -make ppl_c.h >MAKELOG.ppl_c.h 2>&1 -if [ $? -ne 0 ] -then - echo "*** Cannot build ppl_c.h." >>$notification - echo "*** Build log follows:" >>$notification - cat MAKELOG.ppl_c.h >>$notification - maybe_notify_developers_and_exit -fi -cd ../OCaml -make ppl_ocaml.mli >MAKELOG.ppl_ocaml.mli 2>&1 -if [ $? -ne 0 ] -then - echo "*** Cannot build ppl_ocaml.mli." >>$notification - echo "*** Build log follows:" >>$notification - cat MAKELOG.ppl_ocaml.mli >>$notification - maybe_notify_developers_and_exit -fi -cd ../Prolog -make ppl_prolog_domains.hh >MAKELOG.ppl_prolog_domains.hh 2>&1 -if [ $? -ne 0 ] -then - echo "*** Cannot build ppl_prolog_domains.hh." >>$notification - echo "*** Build log follows:" >>$notification - cat MAKELOG.ppl_prolog_domains.hh >>$notification - maybe_notify_developers_and_exit -fi -make ppl_prolog_domains.cc.stamp >MAKELOG.ppl_prolog_domains.cc.stamp 2>&1 -if [ $? -ne 0 ] -then - echo "*** Cannot build ppl_prolog_domains.cc.stamp." >>$notification - echo "*** Build log follows:" >>$notification - cat MAKELOG.ppl_prolog_domains.cc.stamp >>$notification - maybe_notify_developers_and_exit -fi -make Prolog_configured_interface.dox \ - >MAKELOG.Prolog_configured_interface.dox 2>&1 -if [ $? -ne 0 ] -then - echo "*** Cannot build Prolog_configured_interface.dox." >>$notification - echo "*** Build log follows:" >>$notification - cat MAKELOG.Prolog_configured_interface.dox >>$notification - maybe_notify_developers_and_exit -fi - -# Build the doxygen documentation +$top_dir/ppl/configure --enable-interfaces=all --enable-instantiations=all + +# Make the library. +make -j 8 >&MAKELOG.library + +# # Build the ppl.hh include file. +# cd utils +# make +# cd ../src +# make ppl.hh >MAKELOG.ppl.hh 2>&1 +# if [ $? -ne 0 ] +# then +# echo "*** Cannot build ppl.hh." >>$notification +# echo "*** Build log follows:" >>$notification +# cat MAKELOG.ppl.hh >>$notification +# maybe_notify_developers_and_exit +# fi +# cd ../interfaces +# make ppl_interface_instantiations.m4 +# cd C +# make ppl_c.h >MAKELOG.ppl_c.h 2>&1 +# if [ $? -ne 0 ] +# then +# echo "*** Cannot build ppl_c.h." >>$notification +# echo "*** Build log follows:" >>$notification +# cat MAKELOG.ppl_c.h >>$notification +# maybe_notify_developers_and_exit +# fi +# cd ../OCaml +# make ppl_ocaml.mli >MAKELOG.ppl_ocaml.mli 2>&1 +# if [ $? -ne 0 ] +# then +# echo "*** Cannot build ppl_ocaml.mli." >>$notification +# echo "*** Build log follows:" >>$notification +# cat MAKELOG.ppl_ocaml.mli >>$notification +# maybe_notify_developers_and_exit +# fi +# cd ../Prolog +# make ppl_prolog_domains.hh >MAKELOG.ppl_prolog_domains.hh 2>&1 +# if [ $? -ne 0 ] +# then +# echo "*** Cannot build ppl_prolog_domains.hh." >>$notification +# echo "*** Build log follows:" >>$notification +# cat MAKELOG.ppl_prolog_domains.hh >>$notification +# maybe_notify_developers_and_exit +# fi +# make ppl_prolog_domains.cc.stamp >MAKELOG.ppl_prolog_domains.cc.stamp 2>&1 +# if [ $? -ne 0 ] +# then +# echo "*** Cannot build ppl_prolog_domains.cc.stamp." >>$notification +# echo "*** Build log follows:" >>$notification +# cat MAKELOG.ppl_prolog_domains.cc.stamp >>$notification +# maybe_notify_developers_and_exit +# fi +# make Prolog_configured_interface.dox \ +# >MAKELOG.Prolog_configured_interface.dox 2>&1 +# if [ $? -ne 0 ] +# then +# echo "*** Cannot build Prolog_configured_interface.dox." >>$notification +# echo "*** Build log follows:" >>$notification +# cat MAKELOG.Prolog_configured_interface.dox >>$notification +# maybe_notify_developers_and_exit +# fi + +# Build the doxygen documentation. cd ../../doc -make world +cd doc +make world >&MAKELOG.documentation -# Install +# Install. cp -f *.pdf *.ps.gz *.tar.gz $dest_dir/Documentation/ rm -rf $dest_dir/Documentation/user*/ mkdir $dest_dir/Documentation/user

1 0

[GIT] ppl/ppl(ppl-0_10-branch): Update version.
by Roberto Bagnara 14 Apr '09

14 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: 083f3ea586048ba416ce6bea34a9d702d1d57989 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=083f3ea58604… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 14 07:08:18 2009 +0200 Update version. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index eab19fc..a63a907 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.1], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(ppl-0_10-branch): Mark ChangeLog.
by Roberto Bagnara 14 Apr '09

14 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: 9a84a159282df8aeaefb90e298f128e2ec8abd96 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a84a159282d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 14 07:08:18 2009 +0200 Mark ChangeLog. --- Watchdog/ChangeLog | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/Watchdog/ChangeLog b/Watchdog/ChangeLog index 4b7f4b3..76c1cfe 100644 --- a/Watchdog/ChangeLog +++ b/Watchdog/ChangeLog @@ -1,3 +1,7 @@ +2009-04-14 Release Manager + + * PPL 0.10.1 Released. + 2009-04-06 Roberto Bagnara <bagnara(a)cs.unipr.it> * ChangeLog, Watchdog/ChangeLog: Updated.

1 0

[GIT] ppl/ppl(ppl-0_10-branch): Mark ChangeLog.
by Roberto Bagnara 14 Apr '09

14 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: 7b33daac43d366b73df51e7f49264e819caba136 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7b33daac43d3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 14 07:08:18 2009 +0200 Mark ChangeLog. --- ChangeLog | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index 8425a43..1765e46 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2009-04-14 Release Manager + + * PPL 0.10.1 Released. + 2009-04-13 Roberto Bagnara <bagnara(a)cs.unipr.it> * tests/Octagonal_Shape/affineimage1.cc: Disabled test10() on the

1 0

[GIT] ppl/w3ppl(master): Updated for PPL 0.10.1.
by Roberto Bagnara 13 Apr '09

13 Apr '09

Module: ppl/w3ppl Branch: master Commit: cef44e1697e17ef34f61fa08b7b93c2a65e8e41d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=cef44e1697… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 13 21:39:30 2009 +0200 Updated for PPL 0.10.1. --- htdocs/Bugs/Bugs.raw | 106 +----------------------------------------- htdocs/FAQ.raw | 22 ++++----- htdocs/news.raw | 12 +++++ htdocs/portability.raw | 6 ++- htdocs/ppl.raw | 26 +++++------ htdocs/templates/macros.tmpl | 3 +- 6 files changed, 41 insertions(+), 134 deletions(-) diff --git a/htdocs/Bugs/Bugs.raw b/htdocs/Bugs/Bugs.raw index e01447f..4fc4823 100644 --- a/htdocs/Bugs/Bugs.raw +++ b/htdocs/Bugs/Bugs.raw @@ -32,14 +32,12 @@ to Report Bugs Effectively</A>, by Simon Tatham. <H2>Known Bugs in PPL @PPL_VERSION@</H2> - + diff --git a/htdocs/FAQ.raw b/htdocs/FAQ.raw index 6c9499f..e9fd6d0 100644 --- a/htdocs/FAQ.raw +++ b/htdocs/FAQ.raw @@ -63,8 +63,8 @@ our answers are unclear or not to the point. <A HREF="#Development">Development</A> <UL> <LI> - <A HREF="#Still_Using_CVS">You are still using CVS. - Do you plan to switch to SVN?</A> + <A HREF="#Why_Using_Cplusplus">Why are you developing the PPL in C++? + Isn't language XYZZY better?</A> </LI> <LI> <A HREF="#New_Features">What's next? What are you working on?</A> @@ -410,14 +410,15 @@ this is the most expensive polyhedra manipulation primitive. <H2>Development</H2> -<A NAME="Still_Using_CVS"> +<A NAME="Why_Using_Cplusplus"> Q: -You are still using CVS. -Do you plan to switch to SVN? +Why are you developing the PPL in C++? A: -No, we switched to <A HREF="http://git-scm.com/">Git</A>. +Because everyone must use the programming language he/she deserves. +And we deserve C++. This does not limit the freedom of the PPL users: +they can choose among the C, C++, Java, OCaml and Prolog interfaces. <A NAME="New_Features"> @@ -426,11 +427,11 @@ No, we switched to <A HREF="http://git-scm.com/">Git</A>. A: -For PPL 0.11 we plan to add new operations and numerical abstractions +For PPL 0.11 we are adding new operations and numerical abstractions that allow to approximate the result of bounded integer computations. -For the same release we hope to add serialization for all PPL objects. If all goes well, PPL 0.12 will be focused on facilities to support the analysis of floating point computations. +For the same release we hope to add serialization for all PPL objects. <A NAME="Next_Release"> @@ -439,7 +440,4 @@ the analysis of floating point computations. A: -It is difficult to say. -We will try hard to avoid the mistake we did by delaying the release -of PPL 0.10 so much: putting it out of the door was a tremendous work... -too many new features to get right for just one release. +It is difficult to say. We hope to release PPL 0.11 in May/June 2009. diff --git a/htdocs/news.raw b/htdocs/news.raw index c68c8c0..6b592cb 100644 --- a/htdocs/news.raw +++ b/htdocs/news.raw @@ -10,6 +10,18 @@ of the Parma Polyhedra Library. <TABLE> <TR> + <TD VALIGN=TOP><TT>Apr 14, 2009</TT></TD> + <TD> + PPL 0.10.1 has been released + + This release includes several important improvements to PPL 0.10, + among which is better portability (including the support for + cross-compilation, increased robustness, better packaging and + several bug fixes. + </TD> +</TR> + +<TR> <TD VALIGN=TOP><TT>Apr 11, 2009</TT></TD> <TD> New paper on exact join detection diff --git a/htdocs/portability.raw b/htdocs/portability.raw index 8dcd6d6..b68018f 100644 --- a/htdocs/portability.raw +++ b/htdocs/portability.raw @@ -36,11 +36,13 @@ the problems that may arise. PowerPC, IA-32 and x86-64 running Mac OS X; </LI> <LI> + IA-32 running <A HREF="http://www.freebsd.org/">FreeBSD</A>; + </LI> + <LI> IA-32 running <A HREF="http://www.cygwin.com/">Cygwin</A>; </LI> <LI> - IA-32 running <A HREF="http://www.freebsd.org/">FreeBSD</A> 4.3 - (last tested on March 2002); + IA-32 running Windows, via <A HREF="http://www.mingw.org/">MinGW</A>; </LI> <LI> SPARC running SunOS 5.8 (Solaris, last tested on March 2002); diff --git a/htdocs/ppl.raw b/htdocs/ppl.raw index 874c45f..881dc42 100644 --- a/htdocs/ppl.raw +++ b/htdocs/ppl.raw @@ -48,6 +48,18 @@ version 3</A> or any later version). <TABLE> <TR> + <TD VALIGN=TOP><TT>Apr 14, 2009</TT></TD> + <TD> + PPL 0.10.1 has been released + + This release includes several important improvements to PPL 0.10, + among which is better portability (including the support for + cross-compilation, increased robustness, better packaging and + several bug fixes. + </TD> +</TR> + +<TR> <TD VALIGN=TOP><TT>Apr 11, 2009</TT></TD> <TD> New paper on exact join detection @@ -74,20 +86,6 @@ version 3</A> or any later version). </TD> </TR> -<TR> - <TD VALIGN=TOP><TT>Feb 10, 2008</TT></TD> - <TD> - New server hosts PPL development - - AMD Developer Central has donated a bi-quad core machine with - the latest AMD Opteron 2384 "Shanghai" processors and 16GB of RAM. - The transition of all the PPL data and services from the old - (and faulty!) server to the new one has been done mainly thanks - to the work of Abramo Bagnara, supported by INRIA. We are extremely - grateful to AMD and INRIA for their support. - </TD> -</TR> - </TABLE> For older news items, see the <A HREF="news">complete news archive</A>. diff --git a/htdocs/templates/macros.tmpl b/htdocs/templates/macros.tmpl index 9757bfb..3fbbd45 100644 --- a/htdocs/templates/macros.tmpl +++ b/htdocs/templates/macros.tmpl @@ -1,7 +1,6 @@ -@PPL_VERSION=0.10@ +@PPL_VERSION=0.10.1@ @CHINA=CHINA@ -@JANA=JANA@ @MACRO UNDER_CONSTRUCTION()@

1 0

[GIT] ppl/ppl(ppl-0_10-branch): Merge branch 'master' into ppl-0_10-branch
by Roberto Bagnara 13 Apr '09

13 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: 53fa697c6edf5c123d8c3603159ca92a14e46300 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=53fa697c6edf… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 13 16:43:09 2009 +0200 Merge branch 'master' into ppl-0_10-branch ---

1 0

[GIT] ppl/ppl(ppl-0_10-branch): Updated.
by Roberto Bagnara 13 Apr '09

13 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: d3f29a9c56e680f46428916490d4ec2c00210c66 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3f29a9c56e6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 13 16:41:28 2009 +0200 Updated. --- ChangeLog | 9 +++++++++ 1 files changed, 9 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index a123876..8425a43 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,12 @@ +2009-04-13 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * tests/Octagonal_Shape/affineimage1.cc: Disabled test10() on the + Alpha. + +2009-04-12 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * ChangeLog: Updated. + 2009-04-12 Roberto Bagnara <bagnara(a)cs.unipr.it> * devtools/generate_dox_biblio.sed, doc/definitions.dox:

1 0

[GIT] ppl/ppl(ppl-0_10-branch): Disabled test10() on the Alpha.
by Roberto Bagnara 13 Apr '09

13 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: 4c4abf8f114e92a2cd8867f40b51568fa2444703 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c4abf8f114e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 13 13:10:55 2009 +0000 Disabled test10() on the Alpha. --- tests/Octagonal_Shape/affineimage1.cc | 3 +++ 1 files changed, 3 insertions(+), 0 deletions(-) diff --git a/tests/Octagonal_Shape/affineimage1.cc b/tests/Octagonal_Shape/affineimage1.cc index 5f13405..4d3cf65 100644 --- a/tests/Octagonal_Shape/affineimage1.cc +++ b/tests/Octagonal_Shape/affineimage1.cc @@ -505,7 +505,10 @@ BEGIN_MAIN DO_TEST(test07); DO_TEST(test08); DO_TEST(test09); +#ifndef __alpha__ + // Exception handling is broken in GCC on the Alpha. DO_TEST(test10); +#endif DO_TEST(test11); DO_TEST(test12); DO_TEST(test13);

1 0

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

13 Apr '09

Module: ppl/ppl Branch: master Commit: d3f29a9c56e680f46428916490d4ec2c00210c66 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3f29a9c56e6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 13 16:41:28 2009 +0200 Updated. --- ChangeLog | 9 +++++++++ 1 files changed, 9 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index a123876..8425a43 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,12 @@ +2009-04-13 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * tests/Octagonal_Shape/affineimage1.cc: Disabled test10() on the + Alpha. + +2009-04-12 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * ChangeLog: Updated. + 2009-04-12 Roberto Bagnara <bagnara(a)cs.unipr.it> * devtools/generate_dox_biblio.sed, doc/definitions.dox:

1 0