[PPL-devel] [GIT] ppl/w3ppl(master): List the known bugs of PPL 0.11.

Mon Feb 14 17:49:10 CET 2011

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Feb 14 17:48:48 2011 +0100

List the known bugs of PPL 0.11.

---

 htdocs/Bugs/Bugs.raw |  133 +++++++++++++++++++++++++++++++++++++++++---------
 1 files changed, 110 insertions(+), 23 deletions(-)

diff --git a/htdocs/Bugs/Bugs.raw b/htdocs/Bugs/Bugs.raw
index 727d624..92e35dd 100644
--- a/htdocs/Bugs/Bugs.raw
+++ b/htdocs/Bugs/Bugs.raw
@@ -30,14 +30,7 @@ to read <A HREF="http://www.chiark.greenend.org.uk/~sgtatham/bugs.html">How
 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.
-
-<!--
+<H2>Known Bugs in PPL 0.11</H2>
 
 Here is the list of all the known bugs in PPL 0.10.2
 (even though it is <EM>likely</EM> that there are other bugs in it).
@@ -48,27 +41,121 @@ affecting various releases of the PPL.
 
 <DL>
 
-<DT><STRONG>August 15, 2009</STRONG></DT>
+<DT><STRONG>February 10, 2011</STRONG></DT>
+<DD>
+Fixed a bug in the input method for checked integers whereby, under specific
+conditions, the input stream state bits were not updated. The bug was only
+affecting builds using checked integer coefficients. Relevant commit is
+<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d0f6bd037c90676130e9547e5ed909cf6ba8eee9">d0f6bd037c90676130e9547e5ed909cf6ba8eee9</A>.
+</DD>
+
+<DT><STRONG>February 5, 2011</STRONG></DT>
+<DD>
+Fixed a bug in the OCaml interface, which was affecting functions
+<CODE>
+  ppl_Pointset_Powerset_<INSTANCE>_get_disjunct
+</CODE>.
+Relevant commit is <A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c23ded5ce0023a753fdd5da2dbbd99d1a084566c">c23ded5ce0023a753fdd5da2dbbd99d1a084566c</A>.
+</DD>
+
+<DT><STRONG>February 5, 2011</STRONG></DT>
+<DD>
+Corrected a couple of resource (re-)allocation problems that, under
+specific conditions, could affect the correctness of Grid constructor
+<CODE>
+  Grid::Grid(const Box<Interval>& box)
+</CODE>
+and NNC_Polyhedron method
+<CODE>
+  Polyhedron::generalized_affine_image()
+</CODE>.
+Relevant commits are <A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a01fecf4cde756aaefe88b8f309f9bdf3e07b670">a01fecf4cde756aaefe88b8f309f9bdf3e07b670</A> and <A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf1edca5e0ddb03674a35218dccce6bc421469e2">bf1edca5e0ddb03674a35218dccce6bc421469e2</A>.
+</DD>
+
+<DT><STRONG>February 4, 2011</STRONG></DT>
+<DD>
+Corrected a problem in the simplification of <CODE>PIP_Problem</CODE>
+solution trees whereby, under specific conditions, the node merging process
+produced decision nodes that did not satisfy their class invariant.
+Relevant commit is <A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=caaa126b56ccb07884217b33b6cc8c1f79e7f6ca">caaa126b56ccb07884217b33b6cc8c1f79e7f6ca</A>.
+</DD>
+
+<DT><STRONG>October 19, 2010</STRONG></DT>
+<DD>
+Fixed a precision bug in method
+<CODE>
+  Octagonal_Shape<T>::affine_image()
+</CODE>
+whereby in the case of an invertible affine transformation implementing
+a variable sign symmetry (and optional translation), the computed result
+was correct but unnecessarily imprecise.
+Relevant commit is <A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c95fc0eab6a38442751ed16c6cfa9d538917f3f">5c95fc0eab6a38442751ed16c6cfa9d538917f3f</A>.
+</DD>
+
+<DT><STRONG>October 16, 2010</STRONG></DT>
+<DD>
+Fixed a bug whereby the argument of all the methods
+<CODE>
+  unconstrain(Variable var)
+</CODE>
+was not checked correctly for space dimension compatibility.
+Relevant commit is <A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff5b0796773b34ef9d1e26d2a40b4fdb8376dc8f">ff5b0796773b34ef9d1e26d2a40b4fdb8376dc8f</A>.
+</DD>
+
+<DT><STRONG>September 16, 2010</STRONG></DT>
+<DD>
+Corrected an efficiency bug in the C language interface function
+<CODE>
+  ppl_Linear_Expression_add_to_coefficient()
+</CODE>.
+Relevant commit is <A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba9f6c92b49afbbfc37d864f59fff70df90f6536">ba9f6c92b49afbbfc37d864f59fff70df90f6536</A>.
+</DD>
+
+<DT><STRONG>September 7, 2010</STRONG></DT>
+<DD>
+Fixed a bug affecting constructor
+<CODE>
+  Interval::Interval(const char* s)
+</CODE>
+whereby a wrong interval would be constructed if the string argument denotes
+a number that can only be represented as an infinity.
+Relevant commit is <A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e2fe287b4efd3b58127951793cc00ffe0ca21c0">3e2fe287b4efd3b58127951793cc00ffe0ca21c0</A>.
+</DD>
+
+<DT><STRONG>August 29, 2010</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>.
+Fixed a bug affecting the input routine of <CODE>ppl_lpsol</CODE>, whereby
+the inhomogeneous term of the objective function was disregarded. The bug
+could only affect the optimized value of the objective function, while
+having no effect onthe problem's optimization state.
+Relevant commit is <A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c82a27391846139072cadf0754f59f4805f4f99b">c82a27391846139072cadf0754f59f4805f4f99b</A>.
 </DD>
 
-<DT><STRONG>August 7, 2009</STRONG></DT>
+<DT><STRONG>August 13, 2010</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
-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>.
+Fixed a bug affecting methods
+<CODE>
+  Box::CC76_widening_assign(const T&, Iterator, Iterator)
+</CODE>
+and
+<CODE>
+  Interval::CC76_widening_assign(const From&, Iterator, Iterator)
+</CODE>
+whereby a lower bound would not be computed correctly when the two
+iterators specify an empty list of stop points.
+Relevant commit is <A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=535657baab7b4f5e6d884a7fcdc2138b1ea0797c">535657baab7b4f5e6d884a7fcdc2138b1ea0797c</A>.
 </DD>
 
 </DL>
 
+
+<!--
+
+<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.
+
 -->


