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

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