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

Author: Roberto Bagnara bagnara@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=5f72e09e1...