[GIT] ppl/ppl(floating_point): Updated list of bug fixes.

Module: ppl/ppl Branch: floating_point Commit: 91b316106e1d492b61ef2c6f73596fb9114eac3e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=91b316106e1d4...
Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue Oct 19 09:10:47 2010 +0200
Updated list of bug fixes.
---
NEWS | 8 ++++++++ 1 files changed, 8 insertions(+), 0 deletions(-)
diff --git a/NEWS b/NEWS index eca7a4d..fdf1630 100644 --- a/NEWS +++ b/NEWS @@ -27,6 +27,14 @@ o The input routine for PPL numeric datatypes has been extended to Bugfixes ========
+o Corrected a precision bug in method + + Octagonal_Shape<T>::affine_image() + + whereby in the case of an invertible affine transformation implementing + a variable sign symmetry (and optional translation), the computed result + was correct but unnecessarily imprecise. + o Corrected an efficiency bug in the C language interface function
ppl_Linear_Expression_add_to_coefficient().
participants (1)
-
Enea Zaffanella