1 files changed, 7 insertions, 0 deletions
diff --git a/CHANGELOG b/CHANGELOG
index 8e87e673..abc34ba9 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,4 +1,11 @@
 ========
+20100506
+========
+
+- New experimental checker for information flow and access control policies
+  (See demo at http://www.impredicative.com/ur/scdv/)
+
+========
 20100401
 ========