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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Aug 3 09:15:46 2010 +0200

Updated.

---

htdocs/FAQ.raw | 6 ++---- 1 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/htdocs/FAQ.raw b/htdocs/FAQ.raw index 4c9ec50..04baed2 100644 --- a/htdocs/FAQ.raw +++ b/htdocs/FAQ.raw @@ -456,10 +456,8 @@ they can choose among the C, C++, Java, OCaml and Prolog interfaces.

<BR> <B>A:</B> -For PPL 0.11 we are adding new operations and numerical abstractions -that allow to approximate the result of bounded integer computations. If all goes well, PPL 0.12 will be focused on facilities to support -the analysis of floating point computations. +the analysis of floating point and machine integer computations. For the same release we hope to add serialization for all PPL objects.

<P> @@ -469,4 +467,4 @@ For the same release we hope to add serialization for all PPL objects.

<BR> <B>A:</B> -It is difficult to say. We hope to release PPL 0.11 in May/June 2009. +It is difficult to say. We hope to release PPL 0.12 in January/February 2011.