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

Author: Fabio Biselli fabio.biselli@studenti.unipr.it Date: Tue Sep 29 20:09:54 2009 +0200

Added few tests; Fixed refine_with_linear_form_inequality() and auxiliary functions; Implemented inline void refine_fp_interval_abstract_store();

---

src/BD_Shape.defs.hh | 12 ++- src/BD_Shape.inlines.hh | 17 ++ src/BD_Shape.templates.hh | 89 +++++++---- tests/Floating_Point_Expression/bdshape2.cc | 242 ++++++++++++++++++++++++++- 4 files changed, 323 insertions(+), 37 deletions(-)

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