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

Author: Fabio Bossi bossi@cs.unipr.it Date: Wed Sep 2 18:07:24 2009 +0200

Added linearization operator for Multiplication_Floating_Point_Expression. Several other corrections and improvements.

---

...fference_Floating_Point_Expression.templates.hh | 3 +- src/Division_Floating_Point_Expression.defs.hh | 1 + src/Floating_Point_Expression.defs.hh | 7 +- src/Floating_Point_Expression.templates.hh | 7 +- src/Makefile.am | 4 + ...ultiplication_Floating_Point_Expression.defs.hh | 1 + ...lication_Floating_Point_Expression.templates.hh | 97 ++++++++++++++++++++ src/Opposite_Floating_Point_Expression.inlines.hh | 2 +- src/Sum_Floating_Point_Expression.templates.hh | 3 +- 9 files changed, 114 insertions(+), 11 deletions(-)

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