[PPL-devel] [GIT] ppl/ppl(master): Updated.
Roberto Bagnara
bagnara at cs.unipr.it
Mon Aug 2 21:55:31 CEST 2010
Module: ppl/ppl
Branch: master
Commit: cfffb8ba3ff211dcf46d8fc927278c58cb444cbf
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cfffb8ba3ff211dcf46d8fc927278c58cb444cbf
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Aug 2 21:55:08 2010 +0200
Updated.
---
ChangeLog | 8 ++++++++
1 files changed, 8 insertions(+), 0 deletions(-)
diff --git a/ChangeLog b/ChangeLog
index 77daa9e..1171405 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,13 @@
2010-08-02 Roberto Bagnara <bagnara at cs.unipr.it>
+ * src/checked_int.inlines.hh: Added missing conversions.
+
+2010-08-02 Roberto Bagnara <bagnara at cs.unipr.it>
+
+ * ChangeLog, Watchdog/ChangeLog: Updated.
+
+2010-08-02 Roberto Bagnara <bagnara at cs.unipr.it>
+
* Makefile.am, README, Watchdog/Makefile.am, Watchdog/README:
Distribute all READMEs and ChangeLogs.
More information about the PPL-devel
mailing list