- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(ppl-0_12-branch): Documented the enumerated values of enum Floating_Point_Format.
by Roberto Bagnara 27 Feb '12

27 Feb '12

Module: ppl/ppl Branch: ppl-0_12-branch Commit: d0e8e448a39aa80a48464825317d8c0b2142371f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d0e8e448a39a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 27 15:51:03 2012 +0100 Documented the enumerated values of enum Floating_Point_Format. --- src/globals.types.hh | 18 ++++++++++++++++-- 1 files changed, 16 insertions(+), 2 deletions(-) diff --git a/src/globals.types.hh b/src/globals.types.hh index 91cb692..e99cd23 100644 --- a/src/globals.types.hh +++ b/src/globals.types.hh @@ -161,12 +161,26 @@ enum Bounded_Integer_Type_Overflow { "Analysis of floating point computations" for more information. */ enum Floating_Point_Format { + //! IEEE 754 half precision, 16 bits (5 exponent, 10 mantissa). IEEE754_HALF, + + //! IEEE 754 single precision, 32 bits (8 exponent, 23 mantissa). IEEE754_SINGLE, + + //! IEEE 754 double precision, 64 bits (11 exponent, 52 mantissa). IEEE754_DOUBLE, - IBM_SINGLE, + + //! IEEE 754 quad precision, 128 bits (15 exponent, 112 mantissa). IEEE754_QUAD, - INTEL_DOUBLE_EXTENDED + + //! Intel double extended precision, 80 bits (15 exponent, 64 mantissa) + INTEL_DOUBLE_EXTENDED, + + //! IBM single precision, 32 bits (7 exponent, 24 mantissa). + IBM_SINGLE, + + //! IBM double precision, 64 bits (7 exponent, 56 mantissa). + IBM_DOUBLE }; struct Weightwatch_Traits;

1 0

[GIT] ppl/ppl(master): Documented the enumerated values of enum Floating_Point_Format.
by Roberto Bagnara 27 Feb '12

27 Feb '12

Module: ppl/ppl Branch: master Commit: d0e8e448a39aa80a48464825317d8c0b2142371f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d0e8e448a39a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 27 15:51:03 2012 +0100 Documented the enumerated values of enum Floating_Point_Format. --- src/globals.types.hh | 18 ++++++++++++++++-- 1 files changed, 16 insertions(+), 2 deletions(-) diff --git a/src/globals.types.hh b/src/globals.types.hh index 91cb692..e99cd23 100644 --- a/src/globals.types.hh +++ b/src/globals.types.hh @@ -161,12 +161,26 @@ enum Bounded_Integer_Type_Overflow { "Analysis of floating point computations" for more information. */ enum Floating_Point_Format { + //! IEEE 754 half precision, 16 bits (5 exponent, 10 mantissa). IEEE754_HALF, + + //! IEEE 754 single precision, 32 bits (8 exponent, 23 mantissa). IEEE754_SINGLE, + + //! IEEE 754 double precision, 64 bits (11 exponent, 52 mantissa). IEEE754_DOUBLE, - IBM_SINGLE, + + //! IEEE 754 quad precision, 128 bits (15 exponent, 112 mantissa). IEEE754_QUAD, - INTEL_DOUBLE_EXTENDED + + //! Intel double extended precision, 80 bits (15 exponent, 64 mantissa) + INTEL_DOUBLE_EXTENDED, + + //! IBM single precision, 32 bits (7 exponent, 24 mantissa). + IBM_SINGLE, + + //! IBM double precision, 64 bits (7 exponent, 56 mantissa). + IBM_DOUBLE }; struct Weightwatch_Traits;

1 0

[GIT] ppl/ppl(ppl-0_12-branch): Let the docs for the I_Result enum appear on the devref manual only.
by Enea Zaffanella 27 Feb '12

27 Feb '12

Module: ppl/ppl Branch: ppl-0_12-branch Commit: 2ee55850a6d4eb0457d89600c7e65f76c1daa626 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ee55850a6d4… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 27 14:32:57 2012 +0100 Let the docs for the I_Result enum appear on the devref manual only. --- src/intervals.defs.hh | 28 ++++++++++++++++++++++++++++ 1 files changed, 28 insertions(+), 0 deletions(-) diff --git a/src/intervals.defs.hh b/src/intervals.defs.hh index 50993d8..4649f1e 100644 --- a/src/intervals.defs.hh +++ b/src/intervals.defs.hh @@ -31,36 +31,64 @@ site: http://bugseng.com/products/ppl/ . */ namespace Parma_Polyhedra_Library { +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! The result of an operation on intervals. /*! \ingroup PPL_CXX_interface */ +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) enum I_Result { +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result may be empty. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_EMPTY = 1U, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result may have only one value. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_SINGLETON = 2U, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS /*! \brief \hideinitializer Result may have more than one value, but it is not the domain universe. */ +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_SOME = 4U, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result may be the domain universe. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_UNIVERSE = 8U, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result is not empty. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_NOT_EMPTY = I_SINGLETON | I_SOME | I_UNIVERSE, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result may be empty or not empty. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_ANY = I_EMPTY | I_NOT_EMPTY, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result may be empty or not empty. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_NOT_UNIVERSE = I_EMPTY | I_SINGLETON | I_SOME, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result is neither empty nor the domain universe. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_NOT_DEGENERATE = I_SINGLETON | I_SOME, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result is definitely exact. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_EXACT = 16, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result is definitely inexact. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_INEXACT = 32, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Operation has definitely changed the set. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_CHANGED = 64, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Operation has left the set definitely unchanged. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_UNCHANGED = 128, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Operation is undefined for some combination of values. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_SINGULARITIES = 256 };

1 0

[GIT] ppl/ppl(master): Let the docs for the I_Result enum appear on the devref manual only.
by Enea Zaffanella 27 Feb '12

27 Feb '12

Module: ppl/ppl Branch: master Commit: 2ee55850a6d4eb0457d89600c7e65f76c1daa626 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ee55850a6d4… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 27 14:32:57 2012 +0100 Let the docs for the I_Result enum appear on the devref manual only. --- src/intervals.defs.hh | 28 ++++++++++++++++++++++++++++ 1 files changed, 28 insertions(+), 0 deletions(-) diff --git a/src/intervals.defs.hh b/src/intervals.defs.hh index 50993d8..4649f1e 100644 --- a/src/intervals.defs.hh +++ b/src/intervals.defs.hh @@ -31,36 +31,64 @@ site: http://bugseng.com/products/ppl/ . */ namespace Parma_Polyhedra_Library { +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! The result of an operation on intervals. /*! \ingroup PPL_CXX_interface */ +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) enum I_Result { +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result may be empty. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_EMPTY = 1U, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result may have only one value. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_SINGLETON = 2U, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS /*! \brief \hideinitializer Result may have more than one value, but it is not the domain universe. */ +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_SOME = 4U, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result may be the domain universe. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_UNIVERSE = 8U, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result is not empty. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_NOT_EMPTY = I_SINGLETON | I_SOME | I_UNIVERSE, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result may be empty or not empty. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_ANY = I_EMPTY | I_NOT_EMPTY, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result may be empty or not empty. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_NOT_UNIVERSE = I_EMPTY | I_SINGLETON | I_SOME, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result is neither empty nor the domain universe. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_NOT_DEGENERATE = I_SINGLETON | I_SOME, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result is definitely exact. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_EXACT = 16, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result is definitely inexact. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_INEXACT = 32, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Operation has definitely changed the set. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_CHANGED = 64, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Operation has left the set definitely unchanged. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_UNCHANGED = 128, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Operation is undefined for some combination of values. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_SINGULARITIES = 256 };

1 0

[GIT] ppl/ppl(master): Mark some docs for the devref manual only.
by Enea Zaffanella 27 Feb '12

27 Feb '12

Module: ppl/ppl Branch: master Commit: 763276a346dee715359c1e4a61ca43c1b4868922 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=763276a346de… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 27 10:49:17 2012 +0100 Mark some docs for the devref manual only. --- src/OR_Matrix.inlines.hh | 2 ++ src/globals.defs.hh | 2 ++ 2 files changed, 4 insertions(+), 0 deletions(-) diff --git a/src/OR_Matrix.inlines.hh b/src/OR_Matrix.inlines.hh index a138c01..5dfa3df 100644 --- a/src/OR_Matrix.inlines.hh +++ b/src/OR_Matrix.inlines.hh @@ -441,7 +441,9 @@ OR_Matrix<T>::m_swap(OR_Matrix& y) { swap(vec_capacity, y.vec_capacity); } +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! Returns the integer square root of \p x. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) inline dimension_type isqrt(dimension_type x) { dimension_type r = 0; diff --git a/src/globals.defs.hh b/src/globals.defs.hh index 33acce4..dc447e5 100644 --- a/src/globals.defs.hh +++ b/src/globals.defs.hh @@ -42,7 +42,9 @@ namespace Parma_Polyhedra_Library { dimension_type not_a_dimension(); +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! Returns the hash code for space dimension \p dim. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) int32_t hash_code_from_dimension(dimension_type dim);

1 0

[GIT] ppl/ppl(master): Group together documentation of functions controlling FPU.
by Enea Zaffanella 27 Feb '12

27 Feb '12

Module: ppl/ppl Branch: master Commit: 7fdb4199db20f7eb06cb25dff3c374f6092dccb9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7fdb4199db20… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 27 10:37:41 2012 +0100 Group together documentation of functions controlling FPU. --- src/fpu.defs.hh | 5 +++++ 1 files changed, 5 insertions(+), 0 deletions(-) diff --git a/src/fpu.defs.hh b/src/fpu.defs.hh index d2a4e12..a3acf1a 100644 --- a/src/fpu.defs.hh +++ b/src/fpu.defs.hh @@ -29,6 +29,9 @@ site: http://bugseng.com/products/ppl/ . */ namespace Parma_Polyhedra_Library { +//! \name Functions Controlling Floating Point Unit +//@{ + //! Initializes the FPU control functions. void fpu_initialize_control_functions(); @@ -73,6 +76,8 @@ fpu_reset_inexact(); int fpu_check_inexact(); +//@} // Functions Controlling Floating Point Unit + } // namespace Parma_Polyhedra_Library #if PPL_CAN_CONTROL_FPU

1 0

[GIT] ppl/ppl(master): Fixed documentation for linearize and added \relates directive.
by Enea Zaffanella 27 Feb '12

27 Feb '12

Module: ppl/ppl Branch: master Commit: 521ce21afd82500e219f795ee8acd0c5a87cc2d8 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=521ce21afd82… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 27 10:25:56 2012 +0100 Fixed documentation for linearize and added \relates directive. --- src/linearize.hh | 4 +++- 1 files changed, 3 insertions(+), 1 deletions(-) diff --git a/src/linearize.hh b/src/linearize.hh index e5ac48a..ec24bb5 100644 --- a/src/linearize.hh +++ b/src/linearize.hh @@ -643,8 +643,10 @@ cast_linearize(const Cast_Operator<Target>& cast_expr, return !result.overflows(); } -//! Linearizes a floating point expression. /*! \brief + 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.

1 0

[GIT] ppl/ppl(master): Grouped together docs for the linear-ranking functions.
by Enea Zaffanella 27 Feb '12

27 Feb '12

Module: ppl/ppl Branch: master Commit: 5ef9269b43b18f0b49dfe647cc5457ed93bea9e0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5ef9269b43b1… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 27 10:24:43 2012 +0100 Grouped together docs for the linear-ranking functions. --- src/termination.defs.hh | 5 +++++ 1 files changed, 5 insertions(+), 0 deletions(-) diff --git a/src/termination.defs.hh b/src/termination.defs.hh index 08e6985..937f7e2 100644 --- a/src/termination.defs.hh +++ b/src/termination.defs.hh @@ -30,6 +30,9 @@ site: http://bugseng.com/products/ppl/ . */ namespace Parma_Polyhedra_Library { +//! \name Functions for the Synthesis of Linear Rankings +//@{ + /*! \brief \ingroup PPL_CXX_interface Termination test using an improvement of the method by Mesnard and Serebrenik \ref BMPZ10 "[BMPZ10]". @@ -463,6 +466,8 @@ all_affine_ranking_functions_PR_2(const PSET& pset_before, const PSET& pset_after, NNC_Polyhedron& mu_space); +//@} // Functions for the Synthesis of Linear Rankings + } // namespace Parma_Polyhedra_Library #include "termination.templates.hh"

1 0

[GIT] ppl/ppl(master): CO_Tree and Sparse_Row should only appear in the devref manual.
by Enea Zaffanella 27 Feb '12

27 Feb '12

Module: ppl/ppl Branch: master Commit: a9f93b1ac29223079b9d894b3081cabf43cf407f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a9f93b1ac292… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 27 10:07:48 2012 +0100 CO_Tree and Sparse_Row should only appear in the devref manual. --- src/CO_Tree.defs.hh | 2 ++ src/Sparse_Row.defs.hh | 2 ++ 2 files changed, 4 insertions(+), 0 deletions(-) diff --git a/src/CO_Tree.defs.hh b/src/CO_Tree.defs.hh index cba1e10..8482273 100644 --- a/src/CO_Tree.defs.hh +++ b/src/CO_Tree.defs.hh @@ -51,6 +51,7 @@ site: http://bugseng.com/products/ppl/ . */ namespace Parma_Polyhedra_Library { +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! A cache-oblivious binary search tree of pairs. /*! \ingroup PPL_CXX_interface This class implements a binary search tree with keys of dimension_type type @@ -97,6 +98,7 @@ namespace Parma_Polyhedra_Library { The tree can store up to \f$(-(dimension_type)1)/100\f$ elements. This limit allows faster density computations, but can be removed if needed. */ +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) class CO_Tree { public: diff --git a/src/Sparse_Row.defs.hh b/src/Sparse_Row.defs.hh index 180a2d1..376907b 100644 --- a/src/Sparse_Row.defs.hh +++ b/src/Sparse_Row.defs.hh @@ -33,6 +33,7 @@ site: http://bugseng.com/products/ppl/ . */ namespace Parma_Polyhedra_Library { +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! A finite sparse sequence of coefficients. /*! \ingroup PPL_CXX_interface This class is implemented using a CO_Tree. See the documentation of CO_Tree @@ -56,6 +57,7 @@ namespace Parma_Polyhedra_Library { \see Sparse_Matrix \see CO_Tree */ +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) class Sparse_Row { public:

1 0

[GIT] ppl/ppl(master): Fixed missing namespace.
by Abramo Bagnara 26 Feb '12

26 Feb '12

Module: ppl/ppl Branch: master Commit: eeb8c755e6c6092967511944881d24120a89fd93 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eeb8c755e6c6… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Feb 26 20:17:36 2012 +0100 Fixed missing namespace. --- src/Row_Flags.cc | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/Row_Flags.cc b/src/Row_Flags.cc index 60063a4..cb4d758 100644 --- a/src/Row_Flags.cc +++ b/src/Row_Flags.cc @@ -35,7 +35,7 @@ PPL::Row_Flags::ascii_dump(std::ostream& s) const { std::ios::basefield); const std::streamsize new_sz = static_cast<std::streamsize>(2 * sizeof(Row_Flags::base_type)); - s << std::setw(new_sz) << setfill('0') << bits; + s << std::setw(new_sz) << std::setfill('0') << bits; s.flags(old_flags); }

1 0