Module: ppl/ppl Branch: master Commit: a03d31e3feb3e79217d9fe9258d5f53e93ba3aaf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a03d31e3feb3e... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Mon Aug 2 17:24:03 2010 +0200 Updated. --- ChangeLog | 5 +++++ 1 files changed, 5 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index 962f155..bcb20f1 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,10 @@ 2010-08-02 Roberto Bagnara <bagnara@cs.unipr.it> + * NEWS: Announce the new wrapping operator used to approximate + machine arithmetic. + +2010-08-02 Roberto Bagnara <bagnara@cs.unipr.it> + * CREDITS, NEWS, TODO, Watchdog/NEWS: Updated. 2010-08-02 Roberto Bagnara <bagnara@cs.unipr.it>