[PPL-devel] [GIT] ppl/ppl(master): Project vocabulary fixes.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: 5f72e09e1d7727f01e735bd6c5f943ed70df654a
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f72e09e1d7727f01e735bd6c5f943ed70df654a

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Nov 13 09:54:01 2011 +0100

Project vocabulary fixes.
Detected by ECLAIR service progvcbl.

---

 devtools/good_items                |   38 +++++++++++++++++++++++++++--
 devtools/good_words                |   13 ++++++++++
 devtools/vocabulary                |    1 -
 src/Pointset_Powerset.templates.hh |   28 +++++++++++-----------
 src/Powerset.templates.hh          |   12 ++++----
 src/algorithms.hh                  |    8 +++---
 src/c_streambuf.cc                 |   24 +++++++++---------
 src/c_streambuf.defs.hh            |    4 +-
 src/c_streambuf.inlines.hh         |    2 +-
 src/checked.inlines.hh             |   46 ++++++++++++++++++-----------------
 src/checked_float.inlines.hh       |   29 +++++++++++-----------
 src/checked_int.inlines.hh         |    4 +-
 src/checked_mpq.inlines.hh         |    6 ++--
 src/globals.defs.hh                |    2 +-
 src/math_utilities.defs.hh         |   10 ++++----
 src/math_utilities.inlines.hh      |   24 +++++++++---------
 src/meta_programming.hh            |    2 +-
 src/simplify.cc                    |    4 +-
 src/stdiobuf.cc                    |   12 ++++----
 src/stdiobuf.defs.hh               |    2 +-
 src/stdiobuf.inlines.hh            |    2 +-
 src/termination.cc                 |   16 ++++++------
 src/termination.templates.hh       |    4 +-
 src/wrap_assign.hh                 |   40 ++++++++++++++++---------------
 src/wrap_string.cc                 |   10 ++++----
 utils/timings.cc                   |   14 +++++-----
 26 files changed, 203 insertions(+), 154 deletions(-)

Diff:   http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=5f72e09e1d7727f01e735bd6c5f943ed70df654a