February 2012 - PPL-devel - BUGSENG Mailman

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(master): Added missing parentheses around a macro arguments.
by Roberto Bagnara 29 Feb '12

29 Feb '12

Module: ppl/ppl Branch: master Commit: ae02418951a247595a8f8ade2090e3401bd8520c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae02418951a2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 29 21:41:34 2012 +0100 Added missing parentheses around a macro arguments. Detected by ECLAIR service macrbody. --- src/checked_numeric_limits.hh | 74 ++++++++++++++++++++-------------------- 1 files changed, 37 insertions(+), 37 deletions(-) diff --git a/src/checked_numeric_limits.hh b/src/checked_numeric_limits.hh index ba49fcd..caa3e1d 100644 --- a/src/checked_numeric_limits.hh +++ b/src/checked_numeric_limits.hh @@ -33,43 +33,43 @@ namespace std { using namespace Parma_Polyhedra_Library; #define PPL_SPECIALIZE_LIMITS_INT(T) \ -/*! \brief Partial specialization of std::numeric_limits. */ \ -template <typename Policy> \ - class numeric_limits<Checked_Number<T, Policy> > \ - : public numeric_limits<T> { \ - private: \ - typedef Checked_Number<T, Policy> Type; \ - \ - public: \ - static const bool has_infinity = Policy::has_infinity; \ - static const bool has_quiet_NaN = Policy::has_nan; \ + /*! \brief Partial specialization of std::numeric_limits. */ \ + template <typename Policy> \ + class numeric_limits<Checked_Number<PPL_U(T), Policy> > \ + : public numeric_limits<PPL_U(T)> { \ + private: \ + typedef Checked_Number<PPL_U(T), Policy> Type; \ + \ + public: \ + static const bool has_infinity = Policy::has_infinity; \ + static const bool has_quiet_NaN = Policy::has_nan; \ \ - static Type min() { \ - Type v; \ - v.raw_value() = Checked::Extended_Int<Policy, T>::min; \ - return v; \ - } \ + static Type min() { \ + Type v; \ + v.raw_value() = Checked::Extended_Int<Policy, PPL_U(T)>::min; \ + return v; \ + } \ \ - static Type max() { \ - Type v; \ - v.raw_value() = Checked::Extended_Int<Policy, T>::max; \ - return v; \ - } \ + static Type max() { \ + Type v; \ + v.raw_value() = Checked::Extended_Int<Policy, PPL_U(T)>::max; \ + return v; \ + } \ \ - static Type infinity() { \ - Type v; \ - Checked::assign_special<Policy>(v.raw_value(), VC_PLUS_INFINITY, \ - ROUND_IGNORE); \ - return v; \ - } \ + static Type infinity() { \ + Type v; \ + Checked::assign_special<Policy>(v.raw_value(), VC_PLUS_INFINITY, \ + ROUND_IGNORE); \ + return v; \ + } \ \ - static Type quiet_NaN() { \ - Type v; \ - Checked::assign_special<Policy>(v.raw_value(), VC_NAN, \ - ROUND_IGNORE); \ - return v; \ - } \ -}; + static Type quiet_NaN() { \ + Type v; \ + Checked::assign_special<Policy>(v.raw_value(), VC_NAN, \ + ROUND_IGNORE); \ + return v; \ + } \ + }; PPL_SPECIALIZE_LIMITS_INT(char) @@ -88,10 +88,10 @@ PPL_SPECIALIZE_LIMITS_INT(unsigned long long) #undef PPL_SPECIALIZE_LIMITS_INT #define PPL_SPECIALIZE_LIMITS_FLOAT(T) \ -/*! \brief Partial specialization of std::numeric_limits. */ \ -template <typename Policy> \ -struct numeric_limits<Checked_Number<T, Policy> > \ - : public numeric_limits<T> { \ + /*! \brief Partial specialization of std::numeric_limits. */ \ + template <typename Policy> \ + struct numeric_limits<Checked_Number<PPL_U(T), Policy> > \ + : public numeric_limits<PPL_U(T)> { \ }; #if PPL_SUPPORTED_FLOAT

1 0

[GIT] ppl/ppl(master): Avoid mixing plain character data with numeric data.
by Roberto Bagnara 29 Feb '12

29 Feb '12

Module: ppl/ppl Branch: master Commit: e7c06758ef7dfcbf8139b1158e702dcc56ce7ce8 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7c06758ef7d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 29 20:55:37 2012 +0100 Avoid mixing plain character data with numeric data. Detected by ECLAIR service utypflag. --- src/ppl-config.cc.in | 6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/ppl-config.cc.in b/src/ppl-config.cc.in index 19518fe..6691fd5 100644 --- a/src/ppl-config.cc.in +++ b/src/ppl-config.cc.in @@ -174,13 +174,13 @@ to_lower(char c) { bool strcaseeq(const char* s1, const char* s2) { - while (*s1 != 0) { - if (*s2 == 0 || to_lower(*s1) != to_lower(*s2)) + while (*s1 != '\0') { + if (*s2 == '\0' || to_lower(*s1) != to_lower(*s2)) return false; ++s1; ++s2; } - return *s2 == 0; + return *s2 == '\0'; } void

1 0

[GIT] ppl/ppl(master): Code layout fixed.
by Roberto Bagnara 29 Feb '12

29 Feb '12

Module: ppl/ppl Branch: master Commit: 37adcae2f9399565ab4052853371f2fd446c003e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37adcae2f939… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 29 20:55:05 2012 +0100 Code layout fixed. --- src/ppl-config.cc.in | 12 ++++++++---- 1 files changed, 8 insertions(+), 4 deletions(-) diff --git a/src/ppl-config.cc.in b/src/ppl-config.cc.in index e54519d..19518fe 100644 --- a/src/ppl-config.cc.in +++ b/src/ppl-config.cc.in @@ -158,14 +158,18 @@ warning(const char* format, ...) { } */ -void internal_error() __attribute__((__noreturn__)); +void +internal_error() __attribute__((__noreturn__)); -void internal_error() { +void +internal_error() { fatal("internal error: please submit a bug report to ppl-devel(a)cs.unipr.it"); } -inline char to_lower(char c) { - return static_cast<char>(tolower(static_cast<int>(static_cast<unsigned char>(c)))); +inline char +to_lower(char c) { + return + static_cast<char>(tolower(static_cast<int>(static_cast<unsigned char>(c)))); } bool

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 29 Feb '12

29 Feb '12

Module: ppl/ppl Branch: master Commit: c8f677733f78eda065f381d50d00afd7a24113f9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8f677733f78… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 29 10:36:23 2012 +0100 Updated. --- CREDITS | 16 ++++++++-------- 1 files changed, 8 insertions(+), 8 deletions(-) diff --git a/CREDITS b/CREDITS index 82b9bf7..12fe199 100644 --- a/CREDITS +++ b/CREDITS @@ -199,10 +199,9 @@ People: this possibility, porting the PPL to the ARM's ABIs would have taken ages. - Bruno Haible [19] (ILOG) made it possible (by writing the - AC_LIB_LINKFLAGS macro and explaining how - to use it) to allow the use of versions of the - GMP library installed in nonstandard places. + Bruno Haible [19] (ILOG) helped us in our first steps towards + using versions of the GMP library installed in + nonstandard places. Bertrand Jeannet [20] (IRISA) wrote the New Polka library [21] and made it available. We had several @@ -236,7 +235,8 @@ People: analyze the same Prolog programs. Since these systems did not share a single line of code, this gave us excellent opportunities for our - initial testing and debugging work. + initial testing and debugging work. Fred has + also helped us to port the PPL to Mac OS X. Ken Mixter (then at Carnegie Mellon University) provided useful feedback while working on an @@ -321,9 +321,9 @@ We are grateful for the following contributions: numerical abstractions and how the PPL can help. Special thanks go to Albert Cohen [57] for this sponsorship. -- INRIA [56] is supporting Abramo Bagnara from January 1st to May 31st, - 2009, to work on the PPL and its development infrastructure. - Many thanks go, in particular, to Albert Cohen [57]. +- INRIA [56] supported the work of Abramo Bagnara from January 1st to + May 31st, 2009, to work on the PPL and its development + infrastructure. Many thanks go, in particular, to Albert Cohen [57]. Some of our research work has been partly supported by the following

1 0

[GIT] ppl/ppl(master): Added a missing project and updated a broken link.
by Roberto Bagnara 28 Feb '12

28 Feb '12

Module: ppl/ppl Branch: master Commit: acadcd82f6c200e12723630c950ac7c279f4ceca URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=acadcd82f6c2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 28 11:46:39 2012 +0100 Added a missing project and updated a broken link. --- CREDITS | 16 ++++++++++------ 1 files changed, 10 insertions(+), 6 deletions(-) diff --git a/CREDITS b/CREDITS index fe664a0..82b9bf7 100644 --- a/CREDITS +++ b/CREDITS @@ -350,17 +350,20 @@ projects and organizations: - PRIN project ``AIDA 2007 - Abstract Interpretation: Design and Applications'' [62]; +- Integrated Action Italy-Spain 2001-2002 ``Advanced Development Environments + for Logic Programs'' [63]; + - Royal Society Joint project 2004/R1-EU (UK-Italy) ``Automatic Detection of Unstable Numerical Computations''; - EPSRC (UK) project EP/C520726/1 - ``Numerical Domains for Software Analysis'' [63]; + ``Numerical Domains for Software Analysis'' [64]; - Royal Society International Outgoing Short Visit 2007/R4 - ``Finding and Verifying the Absence of Bugs in Imperative Programs'' [64]; + ``Finding and Verifying the Absence of Bugs in Imperative Programs'' [65]; - EPSRC (UK) project EP/G025177/1 - ``Geometric Abstractions for Scalable Program Analyzers'' [64]. + ``Geometric Abstractions for Scalable Program Analyzers'' [65]. -------- @@ -368,7 +371,7 @@ projects and organizations: [2] http://www.comp.leeds.ac.uk/hill/ [3] http://www.cs.unipr.it/~zaffanella/ [4] http://www.math.unipr.it/~zaccagni/ - [5] http://www.prism.uvsq.fr/~fgalea/ + [5] http://fgalea.free.fr/ [6] http://www.mundell.ukfsn.org/ [7] http://www.lsi.upc.edu/~erodri/ [8] http://www.irisa.fr/lande/fbesson/fbesson.html @@ -426,5 +429,6 @@ projects and organizations: [60] http://www.disi.unige.it/person/DelzannoG/cover/ [61] http://www.cs.unipr.it/Projects/AIDA/ [62] http://www.cs.unipr.it/Projects/AIDA2007/ -[63] http://www.comp.leeds.ac.uk/hill/chiara/WWW/linda.html -[64] http://www.comp.leeds.ac.uk/hill/chiara/WWW/projects.html +[63] http://www.cs.unipr.it/Projects/AzInt2001-2002Sp +[64] http://www.comp.leeds.ac.uk/hill/chiara/WWW/linda.html +[65] http://www.comp.leeds.ac.uk/hill/chiara/WWW/projects.html

1 0

Parma Polyhedra Library 0.12
by Roberto Bagnara 27 Feb '12

27 Feb '12

The core development team is very pleased to announce the availability of PPL 0.12, a new release of the Parma Polyhedra Library. This release includes portability improvements, a few bug fixes, and performance improvements for the MIP and PIP solvers. and PIP solvers. Configurability has also been improved, especially as far as the detection of GMP is concerned. ECLAIR (http://bugseng.com/products/eclair) has been introduced into the development workflow to bring the PPL into conformance with the applicable rules in MISRA, CERT, NASA/JPL, ESA/BSSC and other widely-used coding standards. The precise list of user-visible changes is below. For more information, please come and visit the new PPL web site at http://bugseng.com/products/ppl On behalf of all the past and present developers listed at http://bugseng.com/products/ppl/credits and in the file CREDITS, Roberto Bagnara Patricia M. Hill Enea Zaffanella Abramo Bagnara BUGSENG srl (http://bugseng.com) -------------------------------------------------------------------------- NEWS for version 0.12 (released on February 27, 2012) -------------------------------------------------------------------------- New and Changed Features ======================== o New configure options `--with-gmp=DIR', `--with-gmp-include=DIR' and `--with-gmp-lib=DIR' supersede the (now removed) option `--with-gmp-prefix'. (The old option never really worked; hopefully this is the last change in this area.) o New configuration option `--disable-documentation'. When specified no new documentation is built: only the documentation already present in the source tree is installed upon `make install'. o The resolution process for PIP_Problem now better exploits the integrality of parameters to simplify the newly generated tautological constraints, the splitting constraints of decision nodes, and the expressions defining artificial parameters. o The implementations of the MIP and PIP solvers are based on a new data structure leading to significant space and time savings when the tableau matrix is sparse; the benchmarks of the ppl_lpsol demo show an improvement on the average case, that grows when the toughest tests in the benchmark suite are considered. o When the `--check' option is used, the input data for demo ppl_lpsol is perturbed the same way as GLPK does, thereby allowing for a meaningful comparison of the results obtained. o The input routine for PPL numeric datatypes has been extended to accept the ISO9899 (C99) hexadecimal floating constant syntax. o The Parma Watchdog Library has been merged into the Parma Polyhedra Library. Bugfixes ======== o Corrected a precision bug in methods Box<ITV>::upper_bound_assign(const Box&) Box<ITV>::upper_bound_assign_if_exact(const Box&) whereby, provided any argument is an empty box and under other rather specific conditions, the computed result was correct but unnecessarily imprecise. o Corrected a bug in method Grid::relation_with(const Constraint&) const whereby, under specific conditions, the method was creating invalid Grid_Generator objects and providing an incorrect result. -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagnara@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com

1 0

[GIT] ppl/ppl(ppl-0_12-branch): Update version.
by Roberto Bagnara 27 Feb '12

27 Feb '12

Module: ppl/ppl Branch: ppl-0_12-branch Commit: 0a918b0eee08c0d4edf422843568c36f3006b93e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a918b0eee08… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 27 17:30:24 2012 +0100 Update version. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index e78909e..fa8dbba 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.12pre7], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [0.12], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(ppl-0_12-branch): Mark ChangeLog.
by Roberto Bagnara 27 Feb '12

27 Feb '12

Module: ppl/ppl Branch: ppl-0_12-branch Commit: c3cc90d21be881f2242ca94233d503ba70cc5c24 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3cc90d21be8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 27 17:30:24 2012 +0100 Mark ChangeLog. --- ChangeLog | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index b33555c..a791115 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,9 @@ 2012-02-27 Roberto Bagnara <bagnara(a)cs.unipr.it> + * PPL 0.12 released. + +2012-02-27 Roberto Bagnara <bagnara(a)cs.unipr.it> + * CREDITS, TODO: Updated. 2012-02-27 Enea Zaffanella <zaffanella(a)cs.unipr.it>

1 0

[GIT] ppl/ppl(ppl-0_12-branch): Updated.
by Roberto Bagnara 27 Feb '12

27 Feb '12

Module: ppl/ppl Branch: ppl-0_12-branch Commit: 00cbfdb30e8e8a7e5c7fe20f63c53a27370a7905 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=00cbfdb30e8e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 27 17:24:27 2012 +0100 Updated. --- ChangeLog | 167 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 files changed, 167 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index 46ae1f2..b33555c 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,170 @@ +2012-02-27 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * CREDITS, TODO: Updated. + +2012-02-27 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/Concrete_Expression.defs.hh, src/Concrete_Expression.types.hh: + Let classes in Concrete_Expression.defs.hh appear in the user + manual. + +2012-02-27 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * src/globals.types.hh: Documented the enumerated values of enum + Floating_Point_Format. + +2012-02-27 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/intervals.defs.hh: Let the docs for the I_Result enum appear + on the devref manual only. + +2012-02-27 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/OR_Matrix.inlines.hh, src/globals.defs.hh: Mark some docs for + the devref manual only. + +2012-02-27 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/fpu.defs.hh: Group together documentation of functions + controlling FPU. + +2012-02-27 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/linearize.hh: Fixed documentation for linearize and added + \relates directive. + +2012-02-27 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/termination.defs.hh: Grouped together docs for the + linear-ranking functions. + +2012-02-27 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/CO_Tree.defs.hh, src/Sparse_Row.defs.hh: CO_Tree and + Sparse_Row should only appear in the devref manual. + +2012-02-26 Abramo Bagnara <abramo.bagnara(a)gmail.com> + + * src/Row_Flags.cc: Fixed missing namespace. + +2012-02-26 Abramo Bagnara <abramo.bagnara(a)gmail.com> + + * src/Checked_Number.templates.hh, src/Interval.templates.hh, + src/Interval_Info.inlines.hh, src/Row_Flags.cc: Fixed and uniformed + iomanip uses. + +2012-02-26 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/wrap_string.cc: Avoid mixing plain character data with numeric + data. Detected by ECLAIR service utypflag. + +2012-02-26 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * doc/devref.doxyconf-html.in, doc/devref.doxyconf-latex.in: Removed + references to an obsolete file. + +2012-02-26 Abramo Bagnara <abramo.bagnara(a)gmail.com> + + * src/CO_Tree.defs.hh, src/MIP_Problem.cc: Removed redundant and + unused stuff. + +2012-02-26 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/Checked_Number.defs.hh, src/Ptr_Iterator.defs.hh: Use the same + typenames in function declarations/definitions. Detected by ECLAIR + service funtypes. + +2012-02-26 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/Interval_Info.defs.hh, src/Pointset_Powerset.templates.hh, + src/checked_int.inlines.hh: Avoid mixing boolean and arithmetic + values. Detected by ECLAIR service utypflag. + +2012-02-26 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/GMP_Integer.defs.hh: Get rid of redundant declarations of a + couple of functions. Detected by ECLAIR service funtypes. + +2012-02-26 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/Interval_Info.inlines.hh: Simplified + Interval_Info::ascii_load(). Resettting format flags does not + change the istream status, which was previously tested and is known + to be good: hence, return true. + +2012-02-26 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * demos/ppl_lcdd/ppl_lcdd.cc, demos/ppl_pips/ppl_pips.cc, + fedora/ppl.hh, fedora/ppl_c.h, fedora/pwl.hh, + src/BDS_Status.idefs.hh, src/Box_Status.idefs.hh, + src/Float.defs.hh, src/Grid_Status.idefs.hh, + src/Og_Status.idefs.hh, src/Ph_Status.idefs.hh, src/fpu.defs.hh: + `#error' messages made consistent. + +2012-02-26 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * src/compiler.hh: Variable names fixed. + +2012-02-26 Abramo Bagnara <abramo.bagnara(a)gmail.com> + + * interfaces/C/ppl_c_implementation_common.cc, + interfaces/Java/jni/ppl_java_common.defs.hh, + interfaces/Java/jni/ppl_java_common.inlines.hh, + src/BD_Shape.templates.hh, src/Box.templates.hh, + src/Grid_public.cc, src/Octagonal_Shape.templates.hh, + src/Polyhedron_public.cc, src/Variable.cc, src/Variable.defs.hh, + src/Variables_Set.cc, src/Variables_Set.defs.hh, + src/Variables_Set.inlines.hh, src/termination.templates.hh, + src/wrap_assign.hh, tests/Polyhedron/affineimage2.cc, + tests/Polyhedron/bgp99extrapolation1.cc, + tests/Polyhedron/bhz03widening1.cc, + tests/Polyhedron/boundedbhrz03extrapolation1.cc, + tests/Polyhedron/writevariable1.cc, tests/ppl_test.cc, + tests/ppl_test.hh: Avoid to use Variable references. Uniformed + Variable creations. + +2012-02-26 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * src/compiler.hh: Types fixed. Useless if-then-else removed. + +2012-02-26 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * m4/ac_check_gmp.m4: Use `libtool' to test linking with GMP only if + the option `--with-gmp-build' was given. + +2012-02-26 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/Congruence_System.cc, src/Interval_Info.defs.hh, + src/Ph_Status.inlines.hh: Prefer explicit tests against zero. Avoid + using boolean values as integer values. Detected by ECLAIR service + utypflag. + +2012-02-26 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/Linear_Form.templates.hh, src/OR_Matrix.inlines.hh, + src/checked_float.inlines.hh: Improved implementation of + OR_Matrix<T>::any_row_iterator<U>::operator+=(). Increased + readability: - separated explicit type conversions from code performing + arithmetic operations (on non-mixed typed values); - added a few redundant parentheses. Similar improvement applied + to a couple of other functions. Detected by ECLAIR service + utypflag. + +2012-02-26 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/globals.defs.hh, src/version.hh.in: Provide a named group for + all library version control functions. + +2012-02-26 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * interfaces/C/ppl_c_implementation_common.cc, + src/DB_Row.inlines.hh, src/Interval_Info.inlines.hh, + src/ppl-config.cc.in: Prefer explicit tests against zero. Detected + by ECLAIR service utypflag. + +2012-02-26 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * ChangeLog: Updated. + 2012-02-26 Roberto Bagnara <bagnara(a)cs.unipr.it> * tests/Makefile.am: Added `Watchdog' to `SUBDIRS'.

1 0