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

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sun Mar 22 11:51:01 2009 +0100

Mention the bug affecting drop_disjunct in some language interfaces.

---

htdocs/Bugs/Bugs.raw | 9 +++++++++ htdocs/Bugs/archive.raw | 9 +++++++++ 2 files changed, 18 insertions(+), 0 deletions(-)

diff --git a/htdocs/Bugs/Bugs.raw b/htdocs/Bugs/Bugs.raw index a406608..88b5e84 100644 --- a/htdocs/Bugs/Bugs.raw +++ b/htdocs/Bugs/Bugs.raw @@ -50,6 +50,15 @@ affecting various releases of the PPL.

<DL>

+<DT><STRONG>March 22, 2009</STRONG></DT> +<DD> +Found a bug affecting the Java, OCaml and Prolog language interfaces +whereby the method/function/predicate for dropping a disjunct from +a Pointset_Powerset object were returning an invalid iterator. +The bug has been corrected in the git master branch +(<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a6734db48e2ca605dfc27ce5f1a923eb867ed25">6a6734db48e2ca605dfc27ce5f1a923eb867ed25</A>). +</DD> + <DT><STRONG>February 3, 2009</STRONG></DT> <DD> Found a bug affecting PPL 0.10 and the CVS head version diff --git a/htdocs/Bugs/archive.raw b/htdocs/Bugs/archive.raw index 317b749..7bffb9f 100644 --- a/htdocs/Bugs/archive.raw +++ b/htdocs/Bugs/archive.raw @@ -10,6 +10,15 @@ for various versions of the PPL.

<DL>

+<DT><STRONG>March 22, 2009</STRONG></DT> +<DD> +Found a bug affecting the Java, OCaml and Prolog language interfaces +whereby the method/function/predicate for dropping a disjunct from +a Pointset_Powerset object were returning an invalid iterator. +The bug has been corrected in the git master branch +(<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a6734db48e2ca605dfc27ce5f1a923eb867ed25">6a6734db48e2ca605dfc27ce5f1a923eb867ed25</A>). +</DD> + <DT><STRONG>February 3, 2009</STRONG></DT> <DD> Found a bug affecting PPL 0.10 and the CVS head version