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=d15416304a091...

Author: Roberto Bagnara bagnara@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.