Module: ppl/ppl Branch: floating_point Commit: 60337b286bc9a9a74a835d0a83b2c729ea4fe02a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60337b286bc9a... Author: Roberto Amadini <r.amadini@virgilio.it> Date: Thu Oct 1 15:24:59 2009 +0200 Corrected tests with Intervals and Octagons in digitalfilters1.cc. Temporarily modified tests/Floating_Point_Expression/Makefile.am Implemented Variable_Floating_Point_Expression::linear_form_assign. Inserted invariant assertions in Octagonal_Shape<T>::affine_image. --- src/Octagonal_Shape.templates.hh | 13 +- src/Variable_Floating_Point_Expression.defs.hh | 4 + src/Variable_Floating_Point_Expression.inlines.hh | 27 ++ tests/Floating_Point_Expression/Makefile.am | 5 +- tests/Floating_Point_Expression/digitalfilters1.cc | 303 +++++++------------- 5 files changed, 151 insertions(+), 201 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=60337b286...