Module: ppl/ppl Branch: master Commit: 9b8c9752949ee6b96518f7009a290b64c86b35cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b8c9752949ee...

Author: Roberto Amadini r.amadini@virgilio.it Date: Sat Dec 26 18:20:50 2009 +0100

Implemented Box<ITV>::affine_image on Interval Linear Forms. Tests in tests/Floating_Point_Expression actually use only IEEE754 floating point format.

---

src/Box.defs.hh | 30 ++++++ src/Box.templates.hh | 47 ++++++++++ src/Octagonal_Shape.templates.hh | 2 +- tests/Floating_Point_Expression/Makefile.am | 7 +- tests/Floating_Point_Expression/digitalfilters1.cc | 98 +++++++------------- .../floatingpointexpr1.cc | 2 +- 6 files changed, 115 insertions(+), 71 deletions(-)

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