Module: ppl/ppl Branch: floating_point Commit: 38cb91a8f194c039d375dc657e89a440253d90cf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=38cb91a8f194c...

Author: Fabio Bossi bossi@cs.unipr.it Date: Mon Sep 7 16:12:10 2009 +0200

Extended method linearize to also accept a linear form abstract store. Adjusted tests (but NOT YET THE DOCUMENTATION) accordingly.

---

src/Constant_Floating_Point_Expression.defs.hh | 7 ++++++- src/Constant_Floating_Point_Expression.inlines.hh | 3 ++- src/Difference_Floating_Point_Expression.defs.hh | 7 ++++++- ...fference_Floating_Point_Expression.templates.hh | 7 ++++--- src/Division_Floating_Point_Expression.defs.hh | 7 ++++++- ...Division_Floating_Point_Expression.templates.hh | 9 +++++---- src/Floating_Point_Expression.defs.hh | 9 +++++++-- ...ultiplication_Floating_Point_Expression.defs.hh | 7 ++++++- ...lication_Floating_Point_Expression.templates.hh | 11 ++++++----- src/Opposite_Floating_Point_Expression.defs.hh | 7 ++++++- src/Opposite_Floating_Point_Expression.inlines.hh | 5 +++-- src/Sum_Floating_Point_Expression.defs.hh | 7 ++++++- src/Sum_Floating_Point_Expression.templates.hh | 7 ++++--- src/Variable_Floating_Point_Expression.defs.hh | 10 ++++++++-- src/Variable_Floating_Point_Expression.inlines.hh | 11 +++++++++-- .../floatingpointexpr1.cc | 9 ++++++--- 16 files changed, 90 insertions(+), 33 deletions(-)

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