[PPL-devel] [GIT] ppl/w3ppl(master): Updated for PPL 0.10.1.
Roberto Bagnara
bagnara at cs.unipr.it
Mon Apr 13 21:39:41 CEST 2009
Module: ppl/w3ppl
Branch: master
Commit: cef44e1697e17ef34f61fa08b7b93c2a65e8e41d
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=cef44e1697e17ef34f61fa08b7b93c2a65e8e41d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Apr 13 21:39:30 2009 +0200
Updated for PPL 0.10.1.
---
htdocs/Bugs/Bugs.raw | 106 +-----------------------------------------
htdocs/FAQ.raw | 22 ++++-----
htdocs/news.raw | 12 +++++
htdocs/portability.raw | 6 ++-
htdocs/ppl.raw | 26 +++++------
htdocs/templates/macros.tmpl | 3 +-
6 files changed, 41 insertions(+), 134 deletions(-)
diff --git a/htdocs/Bugs/Bugs.raw b/htdocs/Bugs/Bugs.raw
index e01447f..4fc4823 100644
--- a/htdocs/Bugs/Bugs.raw
+++ b/htdocs/Bugs/Bugs.raw
@@ -32,14 +32,12 @@ 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.
--->
+<!--
Here is the list of all the known bugs in PPL @PPL_VERSION@
(even though it is <EM>likely</EM> that there are other bugs in it).
@@ -67,106 +65,6 @@ proper handling of tokens in widening functions (<A HREF="http://www.cs.unipr.it
</UL>
</DD>
-<DT><STRONG>March 24, 2009</STRONG></DT>
-<DD>
-Found a bug affecting the method
-<CODE>
- Octagonal_Shape<T>::affine_image(var, expr)
-</CODE>
-whereby a wrong result can be computed, under specific conditions,
-if <CODE>expr</CODE> has the form <CODE>var + n</CODE>.
-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=d81e9642493f53fa6456d19e4ba3107bcfdf42a8">d81e9642493f53fa6456d19e4ba3107bcfdf42a8</A>).
-</DD>
-
-<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
-on all big-endian architectures.
-The bug has already been corrected (though not yet in an optimal
-way) in the CVS head version.
-A <A HREF="patch_ppl-0-10_ppl-20090204">patch for PPL 0.10</A>
-is also available.
-If for some reason you cannot patch the sources, another workaround
-is to configure the library,
-<STRONG>on big-endian architectures only</STRONG>, specifying
-<PRE>
- CPPFLAGS="-UWORDS_BIGENDIAN -DPPL_WORDS_BIGENDIAN=1"
-</PRE>
-at the end of the configure command, and then use these flags
-to compile C++ application code that includes <CODE>ppl.hh</CODE>
-(no further precaution is needed for applications using any
-other interface).
-</DD>
-
-<DT><STRONG>February 2, 2009</STRONG></DT>
-<DD>
-Found a bug affecting method
-<CODE>Polyhedron::simplify_using_context_assign</CODE>
-and methods for adding generators to a polyhedron whereby,
-under rather specific condition, an assertion fails when working
-with empty polyhedra in a zero-dimension vector space.
-The bug has already been corrected in the CVS head version.
-</DD>
-
-<DT><STRONG>November 24, 2008</STRONG></DT>
-<DD>
-Found a bug in a private method that affects the public methods
-<CODE>
- Grid::bounds_from_above(),
- Grid::bounds_from_below(),
- Grid::bounds_from_maximize(),
- Grid::bounds_from_minimize()
-</CODE>
-causing all of them to wrongly return true in certain cases where the
-grid generators were up-to-date but not minimized.
-The bug has already been corrected in the CVS head version.
-</DD>
-
-<DT><STRONG>November 20, 2008</STRONG></DT>
-<DD>
-Found a bug in method
-<CODE>
- Partially_Reduced_Product<D1, D2, R>::time_elapse_assign(y)
-</CODE>
-whereby, if the product y was not already reduced, the operation could
-lose precision.
-The bug has already been corrected in the CVS head version.
-A simple workaround is also available: it is sufficient to perform
-any check such as emptiness just before calling the method.
-<P>
-Found a bug in the OCaml interface code for functions
-<CODE>
- ppl_Grid_generalized_affine_image_with_congruence
-</CODE>
-and
-<CODE>
- ppl_Grid_generalized_affine_preimage_with_congruence
-</CODE>.
-The bug has already been corrected in the CVS head version.
-</DD>
-
-<DT><STRONG>November 18, 2008</STRONG></DT>
-<DD>
-Found a bug in method
-<CODE>
- Polyhedron::contains_integer_point()
-</CODE>
-whereby, under very specific conditions, an empty polyhedron
-is incorrectly said to contain an integer point.
-The bug has already been corrected in the CVS head version.
-A simple workaround is also available: it is sufficient to perform
-an emptiness check just before calling the method above.
-</DD>
-
</DL>
+-->
diff --git a/htdocs/FAQ.raw b/htdocs/FAQ.raw
index 6c9499f..e9fd6d0 100644
--- a/htdocs/FAQ.raw
+++ b/htdocs/FAQ.raw
@@ -63,8 +63,8 @@ our answers are unclear or not to the point.
<A HREF="#Development">Development</A>
<UL>
<LI>
- <A HREF="#Still_Using_CVS">You are still using CVS.
- Do you plan to switch to SVN?</A>
+ <A HREF="#Why_Using_Cplusplus">Why are you developing the PPL in C++?
+ Isn't language XYZZY better?</A>
</LI>
<LI>
<A HREF="#New_Features">What's next? What are you working on?</A>
@@ -410,14 +410,15 @@ this is the most expensive polyhedra manipulation primitive.
<H2>Development</H2>
<P>
-<A NAME="Still_Using_CVS">
+<A NAME="Why_Using_Cplusplus">
<B>Q:</B>
-<STRONG><FONT COLOR=red>You are still using CVS.
-Do you plan to switch to SVN?</FONT></STRONG>
+<STRONG><FONT COLOR=red>Why are you developing the PPL in C++?</FONT></STRONG>
<BR>
<B>A:</B>
-No, we switched to <A HREF="http://git-scm.com/">Git</A>.
+Because everyone must use the programming language he/she deserves.
+And we deserve C++. This does not limit the freedom of the PPL users:
+they can choose among the C, C++, Java, OCaml and Prolog interfaces.
<P>
<A NAME="New_Features">
@@ -426,11 +427,11 @@ No, we switched to <A HREF="http://git-scm.com/">Git</A>.
<BR>
<B>A:</B>
-For PPL 0.11 we plan to add new operations and numerical abstractions
+For PPL 0.11 we are adding new operations and numerical abstractions
that allow to approximate the result of bounded integer computations.
-For the same release we hope to add serialization for all PPL objects.
If all goes well, PPL 0.12 will be focused on facilities to support
the analysis of floating point computations.
+For the same release we hope to add serialization for all PPL objects.
<P>
<A NAME="Next_Release">
@@ -439,7 +440,4 @@ the analysis of floating point computations.
<BR>
<B>A:</B>
-It is difficult to say.
-We will try hard to avoid the mistake we did by delaying the release
-of PPL 0.10 so much: putting it out of the door was a tremendous work...
-too many new features to get right for just one release.
+It is difficult to say. We hope to release PPL 0.11 in May/June 2009.
diff --git a/htdocs/news.raw b/htdocs/news.raw
index c68c8c0..6b592cb 100644
--- a/htdocs/news.raw
+++ b/htdocs/news.raw
@@ -10,6 +10,18 @@ of the Parma Polyhedra Library.
<TABLE>
<TR>
+ <TD VALIGN=TOP><TT>Apr 14, 2009</TT></TD>
+ <TD>
+ <STRONG>PPL 0.10.1 has been released</STRONG>
+ <BR>
+ This release includes several important improvements to PPL 0.10,
+ among which is better portability (including the support for
+ cross-compilation, increased robustness, better packaging and
+ several bug fixes.
+ </TD>
+</TR>
+
+<TR>
<TD VALIGN=TOP><TT>Apr 11, 2009</TT></TD>
<TD>
<STRONG>New paper on exact join detection</STRONG>
diff --git a/htdocs/portability.raw b/htdocs/portability.raw
index 8dcd6d6..b68018f 100644
--- a/htdocs/portability.raw
+++ b/htdocs/portability.raw
@@ -36,11 +36,13 @@ the problems that may arise.
PowerPC, IA-32 and x86-64 running Mac OS X;
</LI>
<LI>
+ IA-32 running <A HREF="http://www.freebsd.org/">FreeBSD</A>;
+ </LI>
+ <LI>
IA-32 running <A HREF="http://www.cygwin.com/">Cygwin</A>;
</LI>
<LI>
- IA-32 running <A HREF="http://www.freebsd.org/">FreeBSD</A> 4.3
- (last tested on March 2002);
+ IA-32 running Windows, via <A HREF="http://www.mingw.org/">MinGW</A>;
</LI>
<LI>
SPARC running SunOS 5.8 (Solaris, last tested on March 2002);
diff --git a/htdocs/ppl.raw b/htdocs/ppl.raw
index 874c45f..881dc42 100644
--- a/htdocs/ppl.raw
+++ b/htdocs/ppl.raw
@@ -48,6 +48,18 @@ version 3</A> or any later version).
<TABLE>
<TR>
+ <TD VALIGN=TOP><TT>Apr 14, 2009</TT></TD>
+ <TD>
+ <STRONG><FONT COLOR=red>PPL 0.10.1 has been released</FONT></STRONG>
+ <BR>
+ This release includes several important improvements to PPL 0.10,
+ among which is better portability (including the support for
+ cross-compilation, increased robustness, better packaging and
+ several bug fixes.
+ </TD>
+</TR>
+
+<TR>
<TD VALIGN=TOP><TT>Apr 11, 2009</TT></TD>
<TD>
<STRONG><FONT COLOR=red>New paper on exact join detection</FONT></STRONG>
@@ -74,20 +86,6 @@ version 3</A> or any later version).
</TD>
</TR>
-<TR>
- <TD VALIGN=TOP><TT>Feb 10, 2008</TT></TD>
- <TD>
- <STRONG>New server hosts PPL development</STRONG>
- <BR>
- AMD Developer Central has donated a bi-quad core machine with
- the latest AMD Opteron 2384 "Shanghai" processors and 16GB of RAM.
- The transition of all the PPL data and services from the old
- (and faulty!) server to the new one has been done mainly thanks
- to the work of Abramo Bagnara, supported by INRIA. We are extremely
- grateful to AMD and INRIA for their support.
- </TD>
-</TR>
-
</TABLE>
For older news items, see the <A HREF="news">complete news archive</A>.
diff --git a/htdocs/templates/macros.tmpl b/htdocs/templates/macros.tmpl
index 9757bfb..3fbbd45 100644
--- a/htdocs/templates/macros.tmpl
+++ b/htdocs/templates/macros.tmpl
@@ -1,7 +1,6 @@
- at PPL_VERSION=0.10@
+ at PPL_VERSION=0.10.1@
@CHINA=C<SMALL>HINA</SMALL>@
- at JANA=J<SMALL>ANA</SMALL>@
@MACRO UNDER_CONSTRUCTION()@
<P> </P>
More information about the PPL-devel
mailing list