[PPL-devel] [GIT] ppl/ppl(master): Announce the new wrapping operator used to approximate machine arithmetic.
Roberto Bagnara
bagnara at cs.unipr.it
Mon Aug 2 17:22:23 CEST 2010
Module: ppl/ppl
Branch: master
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)
More information about the PPL-devel
mailing list