[PPL-devel] [GIT] ppl/ppl(master): Project vocabulary fixes.
Roberto Bagnara
bagnara at cs.unipr.it
Mon Nov 7 10:24:25 CET 2011
Module: ppl/ppl
Branch: master
Commit: 98475d291117f687b61cdaef3971f76bde4fe3bd
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98475d291117f687b61cdaef3971f76bde4fe3bd
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Nov 7 10:21:57 2011 +0100
Project vocabulary fixes.
Detected by ECLAIR service idntvcbl.
---
src/BD_Shape.defs.hh | 2 +-
src/BD_Shape.inlines.hh | 33 ++++++--
src/BD_Shape.templates.hh | 43 +++++-----
src/Bit_Matrix.defs.hh | 1 -
src/Box.defs.hh | 6 +-
src/Box.templates.hh | 196 ++++++++++++++++++++++----------------------
6 files changed, 151 insertions(+), 130 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=98475d291117f687b61cdaef3971f76bde4fe3bd
More information about the PPL-devel
mailing list