Module: ppl/ppl Branch: ppl-0_11-branch Commit: 305a923ec95aedb8c603dec6a3aff84cc340a9d3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=305a923ec95ae...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Aug 2 17:21:29 2010 +0200

Announce the new wrapping operator used to approximate machine arithmetic.

---

NEWS | 7 +++++++ 1 files changed, 7 insertions(+), 0 deletions(-)

diff --git a/NEWS b/NEWS index 45d77e1..d9508f0 100644 --- a/NEWS +++ b/NEWS @@ -31,6 +31,13 @@ o New support for termination analysis via the automatic synthesis of of all linear quasi-ranking functions, for use in conditional termination analysis.

+o New support for approximating computations involving (bounded) + machine integers. A general wrapping operator is provided that is + parametric with respect to the set of space dimensions (variables) + to be wrapped, the width, representation and overflow behavior of + all these variables. An optional constraint system can, when + given, improve the precision. + o All the PPL semantic objects provide new methods

void drop_some_non_integer_points(Complexity_Class)