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

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