[PPL-devel] [GIT] ppl/ppl(master): Mention a recently fixed bug in the PIP solver.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri May 18 09:08:02 2012 +0200

Mention a recently fixed bug in the PIP solver.

---

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

diff --git a/NEWS b/NEWS
index ff1c636..8c2be8d 100644
--- a/NEWS
+++ b/NEWS
@@ -8,6 +8,29 @@ in any medium, provided this notice is preserved.
 Parma Polyhedra Library NEWS -- history of user-visible changes
 ===============================================================
 
+--------------------------------------------------------------------------
+NEWS for version 0.13  (release date TBD)
+--------------------------------------------------------------------------
+
+New and Changed Features
+========================
+
+o  Added a generic interface for sequences of coefficients enabling a
+   seamless switch between the dense or the sparse row representation.
+   The implementation of many library entities (linear expressions,
+   constraints, generators, congruences, and their systems) can now be
+   tailored to the specific usage context, sometimes leading to significant
+   memory space savings (e.g., for constraint systems describing weakly
+   relational abstractions such as boxes and octagonal shapes).
+
+
+Bugfixes
+========
+
+o  Fixed a bug affecting the PIP solver whereby a wrong result could have
+   been obtained if the input constraint system contained multiple linear
+   equality constraints.
+
 
 --------------------------------------------------------------------------
 NEWS for version 0.12.1  (released on April 16, 2012)