[PPL-devel] [GIT] ppl/w3ppl(master): Mention bug correction for NNC_Polyhedron:: poly_hull_assign_if_exact().

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri Aug  7 11:38:11 2009 +0200

Mention bug correction for NNC_Polyhedron::poly_hull_assign_if_exact().

---

 htdocs/Bugs/Bugs.raw    |   27 +++++++++++----------------
 htdocs/Bugs/archive.raw |   17 +++++++++++++++++
 2 files changed, 28 insertions(+), 16 deletions(-)

diff --git a/htdocs/Bugs/Bugs.raw b/htdocs/Bugs/Bugs.raw
index a74d9a8..526d7bf 100644
--- a/htdocs/Bugs/Bugs.raw
+++ b/htdocs/Bugs/Bugs.raw
@@ -32,12 +32,14 @@ to Report Bugs Effectively</A>, by Simon Tatham.
 
 <H2>Known Bugs in PPL @PPL_VERSION@</H2>
 
+<!--
+
 There are no known bugs in PPL @PPL_VERSION at .
 We will list here all the bugs we will find.
 There is also an <A HREF="archive">archive</A> of all known bugs
 affecting various releases of the PPL.
 
-<!--
+-->
 
 Here is the list of all the known bugs in PPL @PPL_VERSION@
 (even though it is <EM>likely</EM> that there are other bugs in it).
@@ -48,23 +50,16 @@ affecting various releases of the PPL.
 
 <DL>
 
-<DT><STRONG>March 26, 2009</STRONG></DT>
+<DT><STRONG>August 7, 2009</STRONG></DT>
 <DD>
-Fixed several bugs in the OCaml interface code that were reported
-by Kenneth MacKenzie (thanks!). Corrections include:
-<UL>
-<LI>
-garbage collection issues (<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=778dfb88238cb7f66cb638d9af2411cd88aa0038">778dfb88238cb7f66cb638d9af2411cd88aa0038</A>);
-</LI>
-<LI>
-proper handling of unit values (<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8bd3d1d46d8b44f57d29b39912c3802968856596">8bd3d1d46d8b44f57d29b39912c3802968856596</A>);
-</LI>
-<LI>
-proper handling of tokens in widening functions (<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aadc083b812f6bc477ad2c4bd08155f04992d310">aadc083b812f6bc477ad2c4bd08155f04992d310</A>).
-</LI>
-</UL>
+Fixed a bug whereby method
+<CODE>NNC_Polyhedron::poly_hull_assign_if_exact(const NNC_Polyhedron&)</CODE>
+was sometimes working incorrectly, flagging some inexact hull computations
+as exact. The bug was only affecting the domain of NNC polyhedra and
+other domains based on it (e.g., finite powersets of NNC polyhedra).
+Relevant commit is
+<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=325ba80abd8c06c5dd740d35064302bbe65e251b">325ba80abd8c06c5dd740d35064302bbe65e251b</A>.
 </DD>
 
 </DL>
 
--->
diff --git a/htdocs/Bugs/archive.raw b/htdocs/Bugs/archive.raw
index 759097f..f63538f 100644
--- a/htdocs/Bugs/archive.raw
+++ b/htdocs/Bugs/archive.raw
@@ -6,6 +6,23 @@ $Date: 2009/02/04 07:49:30 $
 <FONT SIZE="+2">T</FONT>his is an archive of the bugs discovered
 for various versions of the PPL.
 
+<H2>Known Bugs in PPL 0.10.2</H2>
+
+<DL>
+
+<DT><STRONG>August 7, 2009</STRONG></DT>
+<DD>
+Fixed a bug whereby method
+<CODE>NNC_Polyhedron::poly_hull_assign_if_exact(const NNC_Polyhedron&)</CODE>
+was sometimes working incorrectly, flagging some inexact hull computations
+as exact. The bug was only affecting the domain of NNC polyhedra and
+domains based on it (e.g., finite powersets of NNC polyhedra).
+Relevant commit is
+<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=325ba80abd8c06c5dd740d35064302bbe65e251b">325ba80abd8c06c5dd740d35064302bbe65e251b</A>.
+</DD>
+
+</DL>
+
 <H2>Known Bugs in PPL 0.10.1</H2>
 
 <DL>