Module: ppl/w3ppl Branch: master Commit: e0213a54d18b44e19135db9e1461131a4601b6f4 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=e0213a54d18...
Author: Roberto Bagnara bagnara@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@. -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@. +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. + -->