Module: ppl/ppl Branch: master Commit: 086927949fd92366d26e8b3fc8c93b63cc661b11 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=086927949fd92... Author: Roberto Bagnara <bagnara@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.