[PPL-devel] [GIT] ppl/w3ppl(master): Added PPL 0.11 bugs.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Feb 14 09:42:20 2011 +0100

Added PPL 0.11 bugs.

---

 htdocs/Bugs/archive.raw |  111 +++++++++++++++++++++++++++++++++++++++++++++++
 1 files changed, 111 insertions(+), 0 deletions(-)

diff --git a/htdocs/Bugs/archive.raw b/htdocs/Bugs/archive.raw
index 56643f2..6072ae8 100644
--- a/htdocs/Bugs/archive.raw
+++ b/htdocs/Bugs/archive.raw
@@ -6,6 +6,117 @@ $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.11</H2>
+
+<DL>
+
+<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 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 13, 2010</STRONG></DT>
+<DD>
+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 0.10.2</H2>
 
 <DL>