[PPL-devel] [GIT] ppl/ppl(pip): Mentioned a correction affecting PIP_Problem solution trees.

[Enea Zaffanella]

Module: ppl/ppl
Branch: pip
Commit: dadf97827d40262625704f03c409dbc8008edc31
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dadf97827d40262625704f03c409dbc8008edc31

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Feb 14 08:29:49 2011 +0100

Mentioned a correction affecting PIP_Problem solution trees.

---

 NEWS |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)

diff --git a/NEWS b/NEWS
index ebdbdb3..233e272 100644
--- a/NEWS
+++ b/NEWS
@@ -33,6 +33,10 @@ o  The input routine for PPL numeric datatypes has been extended to
 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 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.