[PPL-devel] [GIT] ppl/ppl(master): Updated.
Roberto Bagnara
bagnara at cs.unipr.it
Mon Aug 2 17:24:25 CEST 2010
Module: ppl/ppl
Branch: master
Commit: a03d31e3feb3e79217d9fe9258d5f53e93ba3aaf
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a03d31e3feb3e79217d9fe9258d5f53e93ba3aaf
Author: Roberto Bagnara <bagnara at 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 at cs.unipr.it>
+ * NEWS: Announce the new wrapping operator used to approximate
+ machine arithmetic.
+
+2010-08-02 Roberto Bagnara <bagnara at cs.unipr.it>
+
* CREDITS, NEWS, TODO, Watchdog/NEWS: Updated.
2010-08-02 Roberto Bagnara <bagnara at cs.unipr.it>
More information about the PPL-devel
mailing list