February 2011 - PPL-devel - BUGSENG Mailman

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

20 Feb '11

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d595301786bc… Merge: 2ecc4a9389baf2d0ff5b637ba67dd29ab967b6b5 086927949fd92366d26e8b3fc8c93b63cc661b11 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 20 14:59:43 2011 +0100 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=086927949fd9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 20 08:57:04 2011 +0100 All known bugs have been fixed for PPL 0.11.1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a989820a1590… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 19 17:49:07 2011 +0100 Updated to minimize risks when the time of releasing PPL 0.12 will come. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f53ed666287c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 19 17:17:49 2011 +0100 Updated the entry for Marco Poletti. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b956c5822426… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 13:02:00 2011 +0100 PIP_Solution_Node: avoid repeated lookup of Sparse_Row's coefficients, in solve(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96804c70b4db… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 12:07:39 2011 +0100 PIP_Solution_Node: improve the performance of solve(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67198c5e25b8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 16 16:16:53 2011 +0100 Disabled the `memory1' test (at least for the time being). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa59cbeb2a6d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 16 09:14:24 2011 +0100 test06 no longer overflows when using 8-bit coefficients.

1 0

[GIT] ppl/w3ppl(master): Updated.
by Roberto Bagnara 20 Feb '11

20 Feb '11

Module: ppl/w3ppl Branch: master Commit: a7cde6c37d0364228688f7ac622091ce474c375b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=a7cde6c37d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 20 14:57:00 2011 +0100 Updated. --- bin/update_web_site | 94 ++++++++++---------------------------------------- 1 files changed, 19 insertions(+), 75 deletions(-) diff --git a/bin/update_web_site b/bin/update_web_site index d8268b6..5b1b4d6 100755 --- a/bin/update_web_site +++ b/bin/update_web_site @@ -9,15 +9,8 @@ BRANCH=ppl-0_11-branch export PATH=/usr/local/bin:$PATH -# Where the repository is on cvs.cs.unipr.it. -local_repository=/git/ppl - -# Where the repository is for remote developers. -#remote_repository=$USER@cvs.cs.unipr.it:$local_repository -remote_repository=ssh://bagnara@git.cs.unipr.it$local_repository - -# The local machine. -machine=`uname -n` +# Where the repository is. +remote_repository=ssh://git@git.cs.unipr.it/ppl/ppl # The local directory used for building the documentation. top_dir=/tmp/w3ppl-update.$$ @@ -25,25 +18,10 @@ top_dir=/tmp/w3ppl-update.$$ # The destination directory in the web area. dest_dir=/var/www/html/local/ppl -# The email addresses of the developers. -case "$machine" in - zoltan.unisuv.it) - developers="roberto" - java_dir=/usr/java/default - ;; - charlie.cs.unipr.it) - developers="zaffanella" - java_dir=/usr/lib/jvm/java-openjdk - ;; - *) -# developers="roberto" - developers="bagnara(a)cs.unipr.it" -# java_dir=/usr/java/default -# developers="ppl-devel(a)cs.unipr.it" - ;; -esac - -# File where the notifications for developers are collected. +# The email addresses of the person(s) to be notified. +developers="bagnara(a)cs.unipr.it" + +# File where the notifications are collected. notification=$top_dir/notification # Lock file name. @@ -62,52 +40,18 @@ fetch_branch() { } obtain_sources() { - case "$machine" in - spartacus.cs.unipr.it) - fetch_branch $local_repository w3ppl master - if [ $? -ne 0 ] - then - echo "Cannot copy the PPL web pages." >>$notification - maybe_notify_developers_and_exit - fi - fetch_branch $local_repository ppl $BRANCH - if [ $? -ne 0 ] - then - echo "Cannot export the PPL sources." >>$notification - maybe_notify_developers_and_exit - fi - ;; - zoltan.unisuv.it) - cp -r $HOME/ppl/*ppl . - if [ $? -ne 0 ] - then - echo "Cannot copy the PPL sources or web pages." >>$notification - maybe_notify_developers_and_exit - fi - ;; - charlie.cs.unipr.it) - cp -r $HOME/cvs-stuff/*ppl . - if [ $? -ne 0 ] - then - echo "Cannot copy the PPL sources or web pages." >>$notification - maybe_notify_developers_and_exit - fi - ;; - *) - fetch_branch $remote_repository w3ppl master - if [ $? -ne 0 ] - then - echo "Cannot export the PPL web pages." >>$notification - maybe_notify_developers_and_exit - fi - fetch_branch $remote_repository ppl $BRANCH - if [ $? -ne 0 ] - then - echo "Cannot export the PPL sources." >>$notification - maybe_notify_developers_and_exit - fi - ;; - esac + fetch_branch $remote_repository w3ppl master + if [ $? -ne 0 ] + then + echo "Cannot export the PPL web pages." >>$notification + maybe_notify_developers_and_exit + fi + fetch_branch $remote_repository ppl $BRANCH + if [ $? -ne 0 ] + then + echo "Cannot export the PPL sources." >>$notification + maybe_notify_developers_and_exit + fi } maybe_notify_developers_and_exit() { @@ -153,7 +97,7 @@ obtain_sources # Make and install the w3ppl documentation. cd $top_dir/w3ppl/htdocs -make DESTDIR=$dest_dir +make -k DESTDIR=$dest_dir # Create a build directory. mkdir $top_dir/build

1 0

[GIT] ppl/w3ppl(master): First steps at annoucing the release of PPL 0.11.1 .
by Roberto Bagnara 20 Feb '11

20 Feb '11

Module: ppl/w3ppl Branch: master Commit: 7d193dc29aa82f3693b8e23e6d036b5382a96b08 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=7d193dc29a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 20 14:44:22 2011 +0100 First steps at annoucing the release of PPL 0.11.1. --- htdocs/news.raw | 12 ++++++++++++ htdocs/ppl.raw | 30 ++++++++++++------------------ htdocs/templates/macros.tmpl | 2 +- 3 files changed, 25 insertions(+), 19 deletions(-) diff --git a/htdocs/news.raw b/htdocs/news.raw index ca741bf..135597c 100644 --- a/htdocs/news.raw +++ b/htdocs/news.raw @@ -10,6 +10,18 @@ of the Parma Polyhedra Library. <TABLE> <TR> + <TD VALIGN=TOP><TT>Feb 20, 2011</TT></TD> + <TD> + PPL 0.11.1 has been released + + This release includes several important bug fixes and performance + improvements. See the + <A HREF="Download/ftp/releases/0.11.1/NEWS">release notes</A> + for more information. + </TD> +</TR> + +<TR> <TD VALIGN=TOP><TT>Jan 24, 2011</TT></TD> <TD> BUGSENG is the new copyright holder diff --git a/htdocs/ppl.raw b/htdocs/ppl.raw index d320a75..1de2851 100644 --- a/htdocs/ppl.raw +++ b/htdocs/ppl.raw @@ -51,6 +51,18 @@ version 3</A> or any later version). <TABLE> <TR> + <TD VALIGN=TOP><TT>Feb 20, 2011</TT></TD> + <TD> + PPL 0.11.1 has been released + + This release includes several important bug fixes and performance + improvements. See the + <A HREF="Download/ftp/releases/0.11.1/NEWS">release notes</A> + for more information. + </TD> +</TR> + +<TR> <TD VALIGN=TOP><TT>Jan 24, 2011</TT></TD> <TD> BUGSENG is the new copyright holder @@ -64,24 +76,6 @@ version 3</A> or any later version). </TD> </TR> -<TR> - <TD VALIGN=TOP><TT>Nov 17, 2010</TT></TD> - <TD> - Two in one shot! - - Fabio Bossi got a Master's degree in Computer Science, with full marks - and honours and a thesis about the extensions he made to the PPL and - to the ECLAIR analyzer in order to support the correct approximation of - floating-point computations. - - Marco Poletti got a Laurea degree in Computer Science, with full marks - and honours and a thesis about his work on the sparse matrices that - are used in the MIP and PIP solvers of the PPL. - - Congratulations, Dottor2 Bossi and Dottor Poletti! - </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 c76a037..c17f2bc 100644 --- a/htdocs/templates/macros.tmpl +++ b/htdocs/templates/macros.tmpl @@ -1,4 +1,4 @@ -@PPL_VERSION=0.11@ +@PPL_VERSION=0.11.1@ @CHINA=CHINA@

1 0

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

20 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: cbd212ba64a72eaa0401a7be07d41ca24ff3a035 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cbd212ba64a7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 20 11:13:37 2011 +0100 Update version. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 8ba9bda..baab52d 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.1pre8], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [0.11.1], [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 20 Feb '11

20 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: e5089616428bfc22d3921430929ae72727ba0e24 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5089616428b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 20 11:13:37 2011 +0100 Mark ChangeLog. --- ChangeLog | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index 351b74a..b305044 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,9 @@ 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> + * NEWS: Added missing news items. 2010-10-19 Enea Zaffanella <zaffanella(a)cs.unipr.it>

1 0

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

20 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: ab10f6c134e3a4c9cd84469bf62a626da07e97e8 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab10f6c134e3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 20 11:13:37 2011 +0100 Mark ChangeLog. --- Watchdog/ChangeLog | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/Watchdog/ChangeLog b/Watchdog/ChangeLog index 2ac6a76..1b78f74 100644 --- a/Watchdog/ChangeLog +++ b/Watchdog/ChangeLog @@ -1,3 +1,7 @@ +2011-02-20 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * PPL 0.11.1 released. + 2011-02-19 Roberto Bagnara <bagnara(a)cs.unipr.it> * NEWS, README, Watchdog/config.guess, Watchdog/config.sub,

1 0

[GIT] ppl/w3ppl(master): Updated.
by Roberto Bagnara 20 Feb '11

20 Feb '11

Module: ppl/w3ppl Branch: master Commit: 64515a421dfe114e74f7a93c71b8ea655aea56d9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=64515a421d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 20 10:33:24 2011 +0100 Updated. --- bin/ppl_release | 9 ++++----- 1 files changed, 4 insertions(+), 5 deletions(-) diff --git a/bin/ppl_release b/bin/ppl_release index d47acb1..9289f54 100755 --- a/bin/ppl_release +++ b/bin/ppl_release @@ -172,8 +172,7 @@ build_tarfiles() { changedir "${WORKING_DIRECTORY}" - # The GNU Coding Standards specify that all files should - # world readable. + # The GNU Coding Standards specify that all files should be world readable. chmod -R a+r ${SOURCE_DIRECTORY} # And that all directories have mode 777. find ${SOURCE_DIRECTORY} -type d -exec chmod 777 {} \; @@ -309,18 +308,18 @@ RFC_2822_DATE=`date --rfc-2822` #GIT_SERVER="localhost" GIT_SERVER="git.cs.unipr.it" # The path to the repository on that server. -GIT_REPOSITORY="/git/ppl/ppl.git" +GIT_REPOSITORY="/ppl/ppl" # The GIT protocol to use. GIT_PROTOCOL="ssh" # The username to use when connecting to the server. -GIT_USERNAME="${USER}" +GIT_USERNAME="git" # The machine to which files will be uploaded. PPL_HOSTNAME="ftp.cs.unipr.it" # The name of the account on the machine to which files are uploaded. PPL_USERNAME="root" # The directory in which the files will be placed. -FTP_PATH="/var/ftp/pub/ppl" +FTP_PATH="/srv/ftp/pub/ppl" # The major number for the release. For release `3.0.2' this would be # `3'

1 0

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

20 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: e89c5db4c4e5207b222d5c8b987363e2496d457e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e89c5db4c4e5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 20 09:00:27 2011 +0100 Updated. --- ChangeLog | 16 ++++++++++++++++ 1 files changed, 16 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index 5ebf786..351b74a 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,19 @@ +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> + + * src/Octagonal_Shape.templates.hh, + tests/Octagonal_Shape/affineimage1.cc: Improved precision of + Octagonal_Shape::affine_image(). The method was rather imprecise on + sign-symmetry affine transformations. Also noted that strong + reduction is preserved in that case. + +2011-02-19 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * ChangeLog, Watchdog/ChangeLog: Updated. + 2011-02-19 Roberto Bagnara <bagnara(a)cs.unipr.it> * doc/libppl.3, doc/libppl_c.3, doc/ppl-config_extra_man_text:

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Added missing news items.
by Roberto Bagnara 20 Feb '11

20 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: d15416304a0918debbd1c4b105c55bef039fe27e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d15416304a09… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 20 08:57:46 2011 +0100 Added missing news items. --- NEWS | 14 +++++++++++++- 1 files changed, 13 insertions(+), 1 deletions(-) diff --git a/NEWS b/NEWS index b908360..0adac77 100644 --- a/NEWS +++ b/NEWS @@ -10,12 +10,24 @@ Parma Polyhedra Library NEWS -- history of user-visible changes -------------------------------------------------------------------------- -NEWS for version 0.11.1 (release on February 20, 2011) +NEWS for version 0.11.1 (released on February 20, 2011) -------------------------------------------------------------------------- Bugfixes ======== +o Corrected a problem in the simplification of PIP_Problem solution trees + whereby, under specific conditions, the node merging process produced + decision nodes that did not satisfy their class invariant. + +o Corrected a precision bug in method + + Octagonal_Shape<T>::affine_image() + + whereby in the case of an invertible affine transformation implementing + a variable sign symmetry (and optional translation), the computed result + was correct but unnecessarily imprecise. + o Corrected a problem in the input method for checked integers whereby, under specific conditions, the input stream state bits were not updated. The bug was only affecting builds using checked integer coefficients.

1 0

[GIT] ppl/ppl(master): All known bugs have been fixed for PPL 0.11.1.
by Roberto Bagnara 20 Feb '11

20 Feb '11

Module: ppl/ppl Branch: master Commit: 086927949fd92366d26e8b3fc8c93b63cc661b11 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=086927949fd9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 20 08:57:04 2011 +0100 All known bugs have been fixed for PPL 0.11.1. --- NEWS | 12 ++++-------- 1 files changed, 4 insertions(+), 8 deletions(-) diff --git a/NEWS b/NEWS index fad8110..8979ab9 100644 --- a/NEWS +++ b/NEWS @@ -35,6 +35,10 @@ o The input routine for PPL numeric datatypes has been extended to accept the ISO9899 (C99) hexadecimal floating constant syntax. +-------------------------------------------------------------------------- +NEWS for version 0.11.1 (released on February 20, 2011) +-------------------------------------------------------------------------- + Bugfixes ======== @@ -50,14 +54,6 @@ o Corrected a precision bug in method a variable sign symmetry (and optional translation), the computed result was correct but unnecessarily imprecise. - --------------------------------------------------------------------------- -NEWS for version 0.11.1 (release on February 20, 2011) --------------------------------------------------------------------------- - -Bugfixes -======== - o Corrected a problem in the input method for checked integers whereby, under specific conditions, the input stream state bits were not updated. The bug was only affecting builds using checked integer coefficients.

1 0