[PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Added missing news items.

[Roberto Bagnara]

Module: ppl/ppl
Branch: ppl-0_11-branch
Commit: d15416304a0918debbd1c4b105c55bef039fe27e
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d15416304a0918debbd1c4b105c55bef039fe27e

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Feb 20 08:57:46 2011 +0100

Added missing news items.

---

 NEWS |   14 +++++++++++++-
 1 files changed, 13 insertions(+), 1 deletions(-)

diff --git a/NEWS b/NEWS
index b908360..0adac77 100644
--- a/NEWS
+++ b/NEWS
@@ -10,12 +10,24 @@ Parma Polyhedra Library NEWS -- history of user-visible changes
 
 
 --------------------------------------------------------------------------
-NEWS for version 0.11.1  (release on February 20, 2011)
+NEWS for version 0.11.1  (released on February 20, 2011)
 --------------------------------------------------------------------------
 
 Bugfixes
 ========
 
+o  Corrected a problem in the simplification of PIP_Problem solution trees
+   whereby, under specific conditions, the node merging process produced
+   decision nodes that did not satisfy their class invariant.
+
+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 a problem in the input method for checked integers whereby,
    under specific conditions, the input stream state bits were not updated.
    The bug was only affecting builds using checked integer coefficients.