[PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Announce the new wrapping operator used to approximate machine arithmetic.

[Roberto Bagnara]

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=305a923ec95aedb8c603dec6a3aff84cc340a9d3

Author: Roberto Bagnara <bagnara at 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)