- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Use Doxygen command \class for declared-but-undefined class templates.
by Enea Zaffanella 31 Mar '12

31 Mar '12

Module: ppl/ppl Branch: master Commit: 1d37ea40c80791ea38ac3223bc800da6487e7330 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1d37ea40c807… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 31 10:08:05 2012 +0200 Use Doxygen command \class for declared-but-undefined class templates. --- src/Concrete_Expression.types.hh | 34 +++++++++++++++++++++++++++------- 1 files changed, 27 insertions(+), 7 deletions(-) diff --git a/src/Concrete_Expression.types.hh b/src/Concrete_Expression.types.hh index 999ff41..ecf9fde 100644 --- a/src/Concrete_Expression.types.hh +++ b/src/Concrete_Expression.types.hh @@ -15,31 +15,51 @@ PURPOSE. */ namespace Parma_Polyhedra_Library { -//! The base class of all concrete expressions. +/* + NOTE: Doxygen seems to ignore documentation blocks attached to + template class declarations that are not provided with a definition. + This justifies (here below) the explicit use of Doxygen command \class. +*/ + +/*! \brief \class Parma_Polyhedra_Library::Concrete_Expression + The base class of all concrete expressions. +*/ template <typename Target> class Concrete_Expression; -//! A binary operator applied to two concrete expressions. +/*! \brief \class Parma_Polyhedra_Library::Binary_Operator + A binary operator applied to two concrete expressions. +*/ template <typename Target> class Binary_Operator; -//! A unary operator applied to one concrete expression. +/*! \brief \class Parma_Polyhedra_Library::Unary_Operator + A unary operator applied to one concrete expression. +*/ template <typename Target> class Unary_Operator; -//! A cast operator converting one concrete expression to some type. +/*! \brief \class Parma_Polyhedra_Library::Cast_Operator + A cast operator converting one concrete expression to some type. +*/ template <typename Target> class Cast_Operator; -//! An integer constant concrete expression. +/*! \brief \class Parma_Polyhedra_Library::Integer_Constant + An integer constant concrete expression. +*/ template <typename Target> class Integer_Constant; -//! A floating-point constant concrete expression. +/*! \brief \class Parma_Polyhedra_Library::Floating_Point_Constant + A floating-point constant concrete expression. +*/ template <typename Target> class Floating_Point_Constant; -//! A concrete expression representing a reference to some approximable. +/*! \brief \class Parma_Polyhedra_Library::Approximable_Reference + A concrete expression representing a reference to some approximable. +*/ template <typename Target> class Approximable_Reference;

1 0

[GIT] ppl/ppl(master): Improved documentation formatting using Doxygen command \tparam.
by Enea Zaffanella 31 Mar '12

31 Mar '12

Module: ppl/ppl Branch: master Commit: ad78ee45b1a55b0be516c2b0f00af68dc76cabf9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ad78ee45b1a5… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 31 10:06:55 2012 +0200 Improved documentation formatting using Doxygen command \tparam. --- src/linearize.hh | 38 ++++++++++++++++++++++---------------- 1 files changed, 22 insertions(+), 16 deletions(-) diff --git a/src/linearize.hh b/src/linearize.hh index 9e8de89..6bd75d8 100644 --- a/src/linearize.hh +++ b/src/linearize.hh @@ -643,29 +643,35 @@ cast_linearize(const Cast_Operator<Target>& cast_expr, return !result.overflows(); } -/*! \brief - Linearizes a floating point expression. - - \relates Concrete_Expression +//! Linearizes a floating point expression. +/*! \relates Concrete_Expression Makes \p result become a linear form that correctly approximates the value of \p expr in the given composite abstract store. - \par Template type parameters - - - The class template parameter \p Target specifies the implementation - of Concrete_Expression to be used. - - The class template parameter \p FP_Interval_Type represents the type - of the intervals used in the abstract domain. The interval bounds - should have a floating point type. + \tparam Target + A type template parameter specifying the instantiation of + Concrete_Expression to be used. - \param expr The concrete expression to linearize. - \param oracle The FP_Oracle to be queried. - \param lf_store The linear form abstract store. - \param result Becomes the linearized expression. + \tparam FP_Interval_Type + A type template parameter for the intervals used in the abstract domain. + The interval bounds should have a floating point type. - \return <CODE>true</CODE> if the linearization succeeded, + \return + <CODE>true</CODE> if the linearization succeeded, <CODE>false</CODE> otherwise. + \param expr + The concrete expression to linearize. + + \param oracle + The FP_Oracle to be queried. + + \param lf_store + The linear form abstract store. + + \param result + Becomes the linearized expression. + Formally, if \p expr represents the expression \f$e\f$ and \p lf_store represents the linear form abstract store \f$\rho^{\#}_l\f$, then \p result will become \f$\linexprenv{e}{\rho^{\#}}{\rho^{\#}_l}\f$

1 0

[GIT] ppl/ppl(master): Fixed typo in documentation ( causing a Doxygen warning).
by Enea Zaffanella 31 Mar '12

31 Mar '12

Module: ppl/ppl Branch: master Commit: e99a61bf48261d684c0e85affc43dbd4befb8519 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e99a61bf4826… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 31 09:57:42 2012 +0200 Fixed typo in documentation (causing a Doxygen warning). --- src/Congruence_System.defs.hh | 6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/Congruence_System.defs.hh b/src/Congruence_System.defs.hh index 0c60192..d4281d0 100644 --- a/src/Congruence_System.defs.hh +++ b/src/Congruence_System.defs.hh @@ -365,15 +365,15 @@ private: explicit Congruence_System(dimension_type d); /*! \brief - Concatenates copies of the congruences from \p cgs onto \p *this. + Concatenates copies of the congruences from \p y onto \p *this. - \param cgs + \param y The congruence system to append to \p this. The number of rows in \p y must be strictly positive. The matrix for the new system of congruences is obtained by leaving the old system in the upper left-hand side and placing the - congruences of \p cgs in the lower right-hand side, and padding + congruences of \p y in the lower right-hand side, and padding with zeroes. */ void concatenate(const Congruence_System& y);

1 0

PPL 1 test (linearize) failed
by Enric Caussa Morales 31 Mar '12

31 Mar '12

Good day. I am compiling PPL 0.12 on our Arch Linux port for PowerPCs. We just prepared GCC 4.7.0 and started building packages with it. However, PPL fails the checks. I have attached the log. Hope it can be of help. Can we just omit the error, or can it be important? Cheers, -- Enric Caussa Morales <me(a)enric.me>

2 1

[GIT] ppl/ppl(master): Corrected name of Doxygen documentation group.
by Enea Zaffanella 31 Mar '12

31 Mar '12

Module: ppl/ppl Branch: master Commit: 7925c67208562b294858d79d1c6063df40627fbe URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7925c6720856… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 31 08:46:58 2012 +0200 Corrected name of Doxygen documentation group. --- interfaces/C/ppl_c_header.h | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/interfaces/C/ppl_c_header.h b/interfaces/C/ppl_c_header.h index faf4645..237e35f 100644 --- a/interfaces/C/ppl_c_header.h +++ b/interfaces/C/ppl_c_header.h @@ -358,7 +358,7 @@ ppl_set_error_handler PPL_PROTO((void (*h)(enum ppl_enum_error_code code, /*@}*/ /* Error */ -/*! \defgroup Timeout Handling +/*! \defgroup Timeout Timeout Handling Functions for setting and resetting timeouts. */ /*@{*/ @@ -428,7 +428,7 @@ ppl_set_deterministic_timeout PPL_PROTO((unsigned weight)); int ppl_reset_deterministic_timeout PPL_PROTO((void)); -/*@}*/ /* Timeout Handling */ +/*@}*/ /* Timeout */ /*! \defgroup Datatypes Library Datatypes \brief

1 0

PPL v0.11.2 test failure
by Anil Sahukar 31 Mar '12

31 Mar '12

Hello, I experienced a failure in the memory2 test this afternoon during my build of GCC v4.6.1. Per your instructions, I am reporting this failure. Build Environment: Windows7 x64 Pro (SP1), MinGW-w64 v2.0.1, AMD Phenom 4-core CPU Build Configuration: static libraries, GMP v5.0.2 have attached my config.log, a trap of stdout in test.log and gmp_config.log If I can provide further information, please let me know. I have set aside the build directory of ppl for this purpose. Best Regards, Anil E. Sahukar

3 3

[GIT] ppl/ppl(ppl-0_12-branch): Version number bumped.
by Roberto Bagnara 30 Mar '12

30 Mar '12

Module: ppl/ppl Branch: ppl-0_12-branch Commit: 251980a48bbcde1bde9744d7fb94fcd5f53906ec URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=251980a48bbc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 30 18:18:53 2012 +0200 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 66fe9f1..2ba8c1f 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.12.1pre2], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [0.12.1pre3], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(ppl-0_12-branch): On machines where float is supported and double is not supported, test01() can yield results that are significantly less precise.
by Roberto Bagnara 30 Mar '12

30 Mar '12

Module: ppl/ppl Branch: ppl-0_12-branch Commit: a5b3f909fc3ce93bbc1db028868c68f7c0c48c00 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a5b3f909fc3c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 30 18:14:55 2012 +0200 On machines where float is supported and double is not supported, test01() can yield results that are significantly less precise. (Thanks to Sean McGovern.) --- tests/Box/propagateconstraints2.cc | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/tests/Box/propagateconstraints2.cc b/tests/Box/propagateconstraints2.cc index 4c34110..a17acb8 100644 --- a/tests/Box/propagateconstraints2.cc +++ b/tests/Box/propagateconstraints2.cc @@ -386,7 +386,11 @@ bool test01() { print_constraints(tbox, "*** tbox.propagate_edges() ***"); +#if PPL_SUPPORTED_DOUBLE bool ok = check_result(tbox, qbox2, "18.36", "2.83", "2.79"); +#else + bool ok = check_result(tbox, qbox2, "30.96", "2.83", "2.79"); +#endif return ok; }

1 0

[GIT] ppl/ppl(master): On machines where float is supported and double is not supported, test01() can yield results that are significantly less precise.
by Roberto Bagnara 30 Mar '12

30 Mar '12

Module: ppl/ppl Branch: master Commit: fdf149dd64f624400075f75abd934553bfe7c9fc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fdf149dd64f6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 30 18:14:55 2012 +0200 On machines where float is supported and double is not supported, test01() can yield results that are significantly less precise. (Thanks to Sean McGovern.) --- tests/Box/propagateconstraints2.cc | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/tests/Box/propagateconstraints2.cc b/tests/Box/propagateconstraints2.cc index 4c34110..a17acb8 100644 --- a/tests/Box/propagateconstraints2.cc +++ b/tests/Box/propagateconstraints2.cc @@ -386,7 +386,11 @@ bool test01() { print_constraints(tbox, "*** tbox.propagate_edges() ***"); +#if PPL_SUPPORTED_DOUBLE bool ok = check_result(tbox, qbox2, "18.36", "2.83", "2.79"); +#else + bool ok = check_result(tbox, qbox2, "30.96", "2.83", "2.79"); +#endif return ok; }

1 0

[GIT] ppl/ppl(sparse_matrices): Use macro PPL_USED.
by Enea Zaffanella 30 Mar '12

30 Mar '12

Module: ppl/ppl Branch: sparse_matrices Commit: 440744bf1b2936648e2468acc37b025522a30566 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=440744bf1b29… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Mar 30 09:29:03 2012 +0200 Use macro PPL_USED. --- src/Grid_Generator.inlines.hh | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Grid_Generator.inlines.hh b/src/Grid_Generator.inlines.hh index cea40fe..c5c77cd 100644 --- a/src/Grid_Generator.inlines.hh +++ b/src/Grid_Generator.inlines.hh @@ -63,7 +63,7 @@ Grid_Generator::set_is_ray_or_point_or_inequality() { inline void Grid_Generator::set_topology(Topology x) { - used(x); + PPL_USED(x); PPL_ASSERT(x == NECESSARILY_CLOSED); } @@ -121,7 +121,7 @@ Grid_Generator::Grid_Generator(dimension_type space_dim, Kind kind, semi_wrapped_expr(expr), wrapped_expr(semi_wrapped_expr, true), kind_(kind) { - used(topology); + PPL_USED(topology); PPL_ASSERT(topology == NECESSARILY_CLOSED); expr.set_space_dimension(space_dim + 1); PPL_ASSERT(space_dimension() == space_dim);

1 0