[PPL-devel] [GIT] ppl/ppl(master): Fixed several minor documentation issues.
Enea Zaffanella
zaffanella at cs.unipr.it
Thu Aug 16 17:30:28 CEST 2012
Module: ppl/ppl
Branch: master
Commit: 2a9d181747120b92aa84e5fd3ab0aafbfbaff34e
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2a9d181747120b92aa84e5fd3ab0aafbfbaff34e
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Aug 16 17:29:09 2012 +0200
Fixed several minor documentation issues.
---
src/BD_Shape.defs.hh | 12 ++++++------
src/Box.defs.hh | 12 ++++++------
src/Concrete_Expression.defs.hh | 6 +++---
src/Concrete_Expression.types.hh | 16 ++++++++--------
src/Determinate.defs.hh | 2 +-
src/Floating_Point_Expression.defs.hh | 3 +--
src/Handler.defs.hh | 5 +++--
src/Octagonal_Shape.defs.hh | 12 ++++++------
src/Partially_Reduced_Product.defs.hh | 18 +++++++++---------
src/Pointset_Powerset.defs.hh | 9 ++++-----
src/Result.defs.hh | 4 ++--
src/Rounding_Dir.defs.hh | 2 +-
src/WRD_coefficient_types.defs.hh | 4 ++--
src/globals.types.hh | 10 +++++-----
src/termination.defs.hh | 28 ++++++++++++++--------------
15 files changed, 71 insertions(+), 72 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=2a9d181747120b92aa84e5fd3ab0aafbfbaff34e
More information about the PPL-devel
mailing list