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...