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

Author: Enea Zaffanella zaffanella@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_&lt;INSTANCE&gt;_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&lt;Interval&gt;&amp; 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&lt;T&gt;::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&amp;, Iterator, Iterator) +</CODE> +and +<CODE> + Interval::CC76_widening_assign(const From&amp;, 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>