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