Module: ppl/w3ppl Branch: master Commit: 7946eb43c6139601014facc5f860105754f834e8 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=7946eb43c61... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Sat Aug 15 09:51:34 2009 +0200 Mention correction of bug affecting Pointset_Powerset max/min-imize. --- htdocs/Bugs/Bugs.raw | 10 ++++++++++ htdocs/Bugs/archive.raw | 10 ++++++++++ 2 files changed, 20 insertions(+), 0 deletions(-) diff --git a/htdocs/Bugs/Bugs.raw b/htdocs/Bugs/Bugs.raw index 526d7bf..4b2bd94 100644 --- a/htdocs/Bugs/Bugs.raw +++ b/htdocs/Bugs/Bugs.raw @@ -50,6 +50,16 @@ affecting various releases of the PPL. <DL> +<DT><STRONG>August 15, 2009</STRONG></DT> +<DD> +Fixed a bug whereby <CODE>maximize</CODE> and <CODE>minimize</CODE> +optimization methods of the class template <CODE>Pointset_Powerset</CODE> +were returning the Boolean value <CODE>true</CODE> (indicating a successful +optimization) even when the pointset powerset was empty, thereby +contradicting their specification. Relevant commit is +<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b52a2d273f4f96eec4a2ac5bb453756906e52a88">b52a2d273f4f96eec4a2ac5bb453756906e52a88</A>. +</DD> + <DT><STRONG>August 7, 2009</STRONG></DT> <DD> Fixed a bug whereby method diff --git a/htdocs/Bugs/archive.raw b/htdocs/Bugs/archive.raw index f63538f..56643f2 100644 --- a/htdocs/Bugs/archive.raw +++ b/htdocs/Bugs/archive.raw @@ -10,6 +10,16 @@ for various versions of the PPL. <DL> +<DT><STRONG>August 15, 2009</STRONG></DT> +<DD> +Fixed a bug whereby <CODE>maximize</CODE> and <CODE>minimize</CODE> +optimization methods of the class template <CODE>Pointset_Powerset</CODE> +were returning the Boolean value <CODE>true</CODE> (indicating a successful +optimization) even when the pointset powerset was empty, thereby +contradicting their specification. Relevant commit is +<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b52a2d273f4f96eec4a2ac5bb453756906e52a88">b52a2d273f4f96eec4a2ac5bb453756906e52a88</A>. +</DD> + <DT><STRONG>August 7, 2009</STRONG></DT> <DD> Fixed a bug whereby method