diff options
| author | Roberto Bagnara <bagnara@cs.unipr.it> | 2010-08-02 17:21:29 +0200 |
|---|---|---|
| committer | Roberto Bagnara <bagnara@cs.unipr.it> | 2010-08-02 17:21:29 +0200 |
| commit | 305a923ec95aedb8c603dec6a3aff84cc340a9d3 (patch) | |
| tree | 18c9de6d2481e193af194328c855990f29f54274 /NEWS | |
| parent | 080b21f5f3ec77e1325544f0d72508741b8b9060 (diff) | |
| download | ppl-305a923ec95aedb8c603dec6a3aff84cc340a9d3.tar.gz ppl-305a923ec95aedb8c603dec6a3aff84cc340a9d3.tar.bz2 ppl-305a923ec95aedb8c603dec6a3aff84cc340a9d3.zip | |
Announce the new wrapping operator used to approximate machine arithmetic.
Diffstat (limited to 'NEWS')
| -rw-r--r-- | NEWS | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -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) |