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

Author: Enea Zaffanella zaffanella@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.