[PPL-devel] [GIT] ppl/ppl(floating_point): Implemented Box<ITV>:: affine_image on Interval Linear Forms.
Roberto Amadini
r.amadini at virgilio.it
Sat Dec 26 18:27:47 CET 2009
Module: ppl/ppl
Branch: floating_point
Commit: 9b8c9752949ee6b96518f7009a290b64c86b35cc
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b8c9752949ee6b96518f7009a290b64c86b35cc
Author: Roberto Amadini <r.amadini at 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=9b8c9752949ee6b96518f7009a290b64c86b35cc
More information about the PPL-devel
mailing list