[PPL-devel] [GIT] ppl/ppl(master): All known bugs have been fixed for PPL 0.11.1.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Feb 20 08:57:04 2011 +0100

All known bugs have been fixed for PPL 0.11.1.

---

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

diff --git a/NEWS b/NEWS
index fad8110..8979ab9 100644
--- a/NEWS
+++ b/NEWS
@@ -35,6 +35,10 @@ o  The input routine for PPL numeric datatypes has been extended to
    accept the ISO9899 (C99) hexadecimal floating constant syntax.
 
 
+--------------------------------------------------------------------------
+NEWS for version 0.11.1  (released on February 20, 2011)
+--------------------------------------------------------------------------
+
 Bugfixes
 ========
 
@@ -50,14 +54,6 @@ o  Corrected a precision bug in method
    a variable sign symmetry (and optional translation), the computed result
    was correct but unnecessarily imprecise.
 
-
---------------------------------------------------------------------------
-NEWS for version 0.11.1  (release on February 20, 2011)
---------------------------------------------------------------------------
-
-Bugfixes
-========
-
 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.