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

Author: Fabio Biselli fabio.biselli@studenti.unipr.it Date: Tue Sep 8 14:20:01 2009 +0200

Updated linearization documentation; Added formulas to class descriptions;

---

doc/ppl.sty | 11 +++++ src/Difference_Floating_Point_Expression.defs.hh | 32 +++++++++++--- src/Division_Floating_Point_Expression.defs.hh | 31 ++++++++++++-- src/Floating_Point_Expression.defs.hh | 44 +++++++++++--------- ...ultiplication_Floating_Point_Expression.defs.hh | 28 +++++++++++-- src/Sum_Floating_Point_Expression.defs.hh | 25 ++++++++--- 6 files changed, 129 insertions(+), 42 deletions(-)

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