April 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/w3ppl(master): For Fedora 8, we only RPM packages for version 0. 10.
by Roberto Bagnara 18 Apr '09

18 Apr '09

Module: ppl/w3ppl Branch: master Commit: 40868a3f420013ab4f041567ed396a0e4bd527a1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=40868a3f42… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 18 14:02:33 2009 +0200 For Fedora 8, we only RPM packages for version 0.10. Added a directory for Fedora 12 packages. --- htdocs/Download/Download.raw | 4 +++- 1 files changed, 3 insertions(+), 1 deletions(-) diff --git a/htdocs/Download/Download.raw b/htdocs/Download/Download.raw index c82335b..738fc70 100644 --- a/htdocs/Download/Download.raw +++ b/htdocs/Download/Download.raw @@ -78,13 +78,15 @@ Below is a list of the available PPL binary distributions. <A HREF="http://packages.debian.org/source/sid/ppl">sid</A> </TD> <TD> - <A HREF="@BASE_DIR@Download/ftp/releases/@PPL_VERSION@/fedora/8/">8</A> + <A HREF="@BASE_DIR@Download/ftp/releases/0.10/fedora/8/">8</A> <BR> <A HREF="@BASE_DIR@Download/ftp/releases/@PPL_VERSION@/fedora/9/">9</A> <BR> <A HREF="@BASE_DIR@Download/ftp/releases/@PPL_VERSION@/fedora/10/">10</A> <BR> <A HREF="@BASE_DIR@Download/ftp/releases/@PPL_VERSION@/fedora/11/">11</A> + <BR> + <A HREF="@BASE_DIR@Download/ftp/releases/@PPL_VERSION@/fedora/12/">12</A> </TD> <TD> <A HREF="http://packages.gentoo.org/package/dev-libs/ppl">Gentoo</A>

1 0

Parma Polyhedra Library 0.10.2
by Roberto Bagnara 18 Apr '09

18 Apr '09

We announce the availability of PPL 0.10.2, a new release of the Parma Polyhedra Library fixing a few bugs affecting PPL 0.10.1. The precise list of user-visible changes is below. For more information, please come and visit the PPL web site at http://www.cs.unipr.it/ppl/ The core development team, Roberto Bagnara <bagnara(a)cs.unipr.it> Patricia M. Hill <hill(a)comp.leeds.ac.uk> Enea Zaffanella <zaffanella(a)cs.unipr.it> -------------------------------------------------------------------------- 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 Test program tests/Polyhedron/memory1 disabled on the zSeries s390x platform. o Makefiles fixed so as to avoid failure of `make -n check'. -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

[GIT] ppl/w3ppl(master): Avoid building everything just to update the web site.
by Roberto Bagnara 18 Apr '09

18 Apr '09

Module: ppl/w3ppl Branch: master Commit: 19118e2bf0c63dd65dda3a212f09671df283c7a3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=19118e2bf0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 18 07:41:54 2009 +0200 Avoid building everything just to update the web site. --- bin/update_web_site | 178 +++++++++++++++++++++++++++++++++------------------ 1 files changed, 115 insertions(+), 63 deletions(-) diff --git a/bin/update_web_site b/bin/update_web_site index 24e030b..e241dee 100755 --- a/bin/update_web_site +++ b/bin/update_web_site @@ -163,72 +163,124 @@ autoreconf cd $top_dir/build $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 +# Make the header file ppl-config.h (needed by ppl.hh). +cd $top_dir/build +make ppl-config.h >MAKELOG.ppl-config.h 2>&1 +if [ $? -ne 0 ] +then + echo "*** Cannot build ppl-config.h." >>$notification + echo "*** Build log follows:" >>$notification + cat MAKELOG.ppl-config.h >>$notification + maybe_notify_developers_and_exit +fi + +# Make the utility program build_header (needed by ppl.hh). +cd $top_dir/build/utils +make build_header >MAKELOG.build_header 2>&1 +if [ $? -ne 0 ] +then + echo "*** Cannot build build_header." >>$notification + echo "*** Build log follows:" >>$notification + cat MAKELOG.build_header >>$notification + maybe_notify_developers_and_exit +fi + +# Make the ppl.hh header file. +cd $top_dir/build/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 + +# Make the m4 source file needed by all language interfaces. +cd $top_dir/build/interfaces +make ppl_interface_instantiations.m4 >MAKELOG.ppl_interface_instantiations.m4 2>&1 +if [ $? -ne 0 ] +then + echo "*** Cannot build ppl_interface_instantiations.m4." >>$notification + echo "*** Build log follows:" >>$notification + cat MAKELOG.ppl_interface_instantiations.m4 >>$notification + maybe_notify_developers_and_exit +fi + +# C interface +cd $top_dir/build/interfaces/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 + +# Java interface +cd $top_dir/build/interfaces/Java/parma_polyhedra_library +make source_generation.stamp >MAKELOG.source_generation.stamp 2>&1 +if [ $? -ne 0 ] +then + echo "*** Cannot build source_generation.stamp." >>$notification + echo "*** Build log follows:" >>$notification + cat MAKELOG.source_generation.stamp >>$notification + maybe_notify_developers_and_exit +fi + +# OCaml interface +cd $top_dir/build/interfaces/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 + +# Prolog interface +cd $top_dir/build/interfaces/Prolog +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 +## FIXME: there currently is a dependency in doc/Makefile.ac of the +## Prolog manuals on the two targets below, but I fail to understand +## why this was required. +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 # Build the doxygen documentation. -#cd ../../doc -cd doc +cd $top_dir/build/doc make world >&MAKELOG.documentation +if [ $? -ne 0 ] +then + echo "*** Cannot make world." >>$notification + echo "*** Build log follows:" >>$notification + cat MAKELOG.documentation >>$notification + maybe_notify_developers_and_exit +fi # Install. cp -f *.pdf *.ps.gz *.tar.gz $dest_dir/Documentation/

1 0

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

18 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: 45e1e7e6e2f671988a8b6d6f4e1acc054f0d5653 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=45e1e7e6e2f6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 18 07:03:20 2009 +0200 Update version. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 090590c..7508cff 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.2pre1],[ppl-devel(a)cs.unipr.it],[ppl]) +AC_INIT([the Parma Polyhedra Library], [0.10.2], [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 18 Apr '09

18 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: 03010d53fc628655cd8464e5f6b5325bb295d6cb URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=03010d53fc62… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 18 07:03:20 2009 +0200 Mark ChangeLog. --- Watchdog/ChangeLog | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/Watchdog/ChangeLog b/Watchdog/ChangeLog index 123a6f8..c5a1efe 100644 --- a/Watchdog/ChangeLog +++ b/Watchdog/ChangeLog @@ -1,3 +1,7 @@ +2009-04-18 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * PPL 0.10.2 released. + 2009-04-16 Roberto Bagnara <bagnara(a)cs.unipr.it> * Watchdog/doc/Makefile.am, doc/Makefile.am: Added targets to have

1 0

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

18 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: 16e540d9a5fbdb4eb8106e63a2907f7913e49710 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16e540d9a5fb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 18 07:03:19 2009 +0200 Mark ChangeLog. --- ChangeLog | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index 9cc7bd9..8137bf8 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2009-04-18 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * PPL 0.10.2 released. + 2009-04-16 Roberto Bagnara <bagnara(a)cs.unipr.it> * fedora/ppl-0.10.1-Makefile.patch,

1 0

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

18 Apr '09

Module: ppl/w3ppl Branch: master Commit: ff3ebc74002570690d1bf2f685fe6bd3c8e61a0c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=ff3ebc7400… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 18 06:59:29 2009 +0200 Small improvements. --- bin/ppl_release | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/bin/ppl_release b/bin/ppl_release index 856d715..28a653b 100755 --- a/bin/ppl_release +++ b/bin/ppl_release @@ -106,9 +106,9 @@ build_sources() { error "Could not checkout ${BRANCH}" for x in `find ${SOURCE_DIRECTORY} -name ChangeLog`; do cat - ${x} > ${x}.new <<EOF -${LONG_DATE} Release Manager +${LONG_DATE} Roberto Bagnara <bagnara(a)cs.unipr.it> - * PPL ${RELEASE} Released. + * PPL ${RELEASE} released. EOF mv ${x}.new ${x} || \

1 0

[GIT] ppl/ppl(deprecated_0_11_removal): No longer use ppl_Polyhedron_add_constraints_and_minimize/2.
by Roberto Bagnara 17 Apr '09

17 Apr '09

Module: ppl/ppl Branch: deprecated_0_11_removal Commit: 089cc703e60fc5717f5651f7292d3b60f4f32918 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=089cc703e60f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 17 20:46:19 2009 +0200 No longer use ppl_Polyhedron_add_constraints_and_minimize/2. --- interfaces/Prolog/tests/clpq.pl | 6 ++++-- interfaces/Prolog/tests/clpq2.pl | 9 ++++++--- 2 files changed, 10 insertions(+), 5 deletions(-) diff --git a/interfaces/Prolog/tests/clpq.pl b/interfaces/Prolog/tests/clpq.pl index 5b6502a..0f5baa0 100644 --- a/interfaces/Prolog/tests/clpq.pl +++ b/interfaces/Prolog/tests/clpq.pl @@ -150,8 +150,10 @@ select_clause(Atom, Head, Body) :- % The constraints are solved by adding them into the polyhedron. solve_constraints(Constraints, Polyhedron) :- listize_constraints(Constraints, Constraints_List), - % Fails if `Polyhedron' becomes empty. - ppl_Polyhedron_add_constraints_and_minimize(Polyhedron, Constraints_List). + ppl_Polyhedron_add_constraints(Polyhedron, Constraints_List), + % Fail if `Polyhedron' became empty. + \+ ppl_Polyhedron_is_empty(Polyhedron). + listize_constraints(C, LC) :- listize_constraints(C, [], LC). diff --git a/interfaces/Prolog/tests/clpq2.pl b/interfaces/Prolog/tests/clpq2.pl index e506503..942c712 100644 --- a/interfaces/Prolog/tests/clpq2.pl +++ b/interfaces/Prolog/tests/clpq2.pl @@ -124,8 +124,10 @@ solve(_, { Constraints }, [Poly|Polys], [Poly|Polys]) :- % and check we do have constraints. constraints2list(Constraints, Constraints_List), - % Fails if `Poly' becomes empty. - ppl_Polyhedron_add_constraints_and_minimize(Poly, Constraints_List). + ppl_Polyhedron_add_constraints(Poly, Constraints_List), + + % Fail if `Poly' became empty. + \+ ppl_Polyhedron_is_empty(Poly). % Built-ins may be added here. @@ -167,7 +169,8 @@ solve(Topology, Atom, [Poly|Polys], Polys_Out) :- ppl_Polyhedron_add_space_dimensions_and_embed(Poly_Copy, Added_Dims), % First solve the parameter passing equations. - ppl_Polyhedron_add_constraints_and_minimize(Poly_Copy, Binding_Constraints), + ppl_Polyhedron_add_constraints(Poly_Copy, Binding_Constraints), + \+ ppl_Polyhedron_is_empty(Poly_Copy), % Then solve the body. solve(Topology, Body, [Poly_Copy, Poly|Polys], Polys_Soln_Out),

1 0

[GIT] ppl/ppl(deprecated_0_11_removal): More changes related to the removal of the *_and_minimize() methods.
by Roberto Bagnara 17 Apr '09

17 Apr '09

Module: ppl/ppl Branch: deprecated_0_11_removal Commit: ca295d6ed7b39cb13c96eff02786df923ab308dd URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca295d6ed7b3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 17 19:12:46 2009 +0200 More changes related to the removal of the *_and_minimize() methods. --- tests/BD_Shape/addconstraints1.cc | 10 ++-- tests/BD_Shape/concatenate1.cc | 4 +- tests/BD_Shape/congruences1.cc | 3 +- tests/BD_Shape/intersection1.cc | 6 +- tests/Octagonal_Shape/congruences1.cc | 52 +---------------------- tests/Octagonal_Shape/intersection1.cc | 72 +------------------------------- tests/Polyhedron/exceptions1.cc | 6 +- tests/Polyhedron/exceptions2.cc | 8 ++-- tests/Powerset/intersection1.cc | 2 +- 9 files changed, 23 insertions(+), 140 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=ca295d6e…

1 0

[GIT] ppl/ppl(deprecated_0_11_removal): Tests adapted to check the " non-and_minimize" versions.
by Roberto Bagnara 17 Apr '09

17 Apr '09

Module: ppl/ppl Branch: deprecated_0_11_removal Commit: 3a9b293e53d065d58c2f0d7e2fbb6469f93effca URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a9b293e53d0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 17 18:47:18 2009 +0200 Tests adapted to check the "non-and_minimize" versions. Several comments and one bug fixed in the process. --- tests/Polyhedron/addcongruence1.cc | 17 ++++++++------ tests/Polyhedron/addcongruences1.cc | 4 +- tests/Polyhedron/addconstraint1.cc | 5 +-- tests/Polyhedron/addconstraints1.cc | 33 ++++++++++++--------------- tests/Polyhedron/addconstraints2.cc | 6 ++-- tests/Polyhedron/addgenerator1.cc | 5 +-- tests/Polyhedron/addgenerators1.cc | 28 +++++++++++------------ tests/Polyhedron/addgenerators2.cc | 6 ++-- tests/Polyhedron/boundedaffineimage1.cc | 8 +++--- tests/Polyhedron/constrains1.cc | 2 +- tests/Polyhedron/constraints1.cc | 2 +- tests/Polyhedron/exceptions1.cc | 18 +++++++------- tests/Polyhedron/exceptions2.cc | 16 ++++++------ tests/Polyhedron/generators1.cc | 2 +- tests/Polyhedron/h79widening2.cc | 2 +- tests/Polyhedron/intersection1.cc | 37 +++++++++++++----------------- tests/Polyhedron/nncminimize1.cc | 6 ++-- tests/Polyhedron/randphull1.cc | 3 +- tests/Polyhedron/topclosed1.cc | 2 +- tests/Powerset/addconstraints1.cc | 14 ++--------- 20 files changed, 100 insertions(+), 116 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=3a9b293e…

1 0