[PPL-devel] [GIT] ppl/ppl(master): Mention a bug that was recently corrected.
Enea Zaffanella
zaffanella at cs.unipr.it
Fri Aug 7 11:44:35 CEST 2009
Module: ppl/ppl
Branch: master
Commit: c3daa332122e99b11b7bec098c2404d6f501607d
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3daa332122e99b11b7bec098c2404d6f501607d
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Aug 7 11:43:54 2009 +0200
Mention a bug that was recently corrected.
---
NEWS | 8 ++++++++
1 files changed, 8 insertions(+), 0 deletions(-)
diff --git a/NEWS b/NEWS
index 6543155..fabf3a4 100644
--- a/NEWS
+++ b/NEWS
@@ -47,6 +47,14 @@ o All methods having a name ending in `_and_minimize' (e.g.,
have been removed (they were deprecated in version 0.10).
+Bugfixes
+========
+
+o Corrected a bug in method
+ bool NNC_Polyhedron::poly_hull_assign_if_exact(const NNC_Polyhedron&);
+ whereby some inexact NNC hulls were incorrectly flagged as exact.
+
+
--------------------------------------------------------------------------
NEWS for version 0.10.2 (released on April 18, 2009)
--------------------------------------------------------------------------
More information about the PPL-devel
mailing list