changeset 1255:068f55543d03

New release
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 May 2010 16:05:14 -0400
parents 935a981f4380
children d7d5b167f267
files CHANGELOG
diffstat 1 files changed, 7 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/CHANGELOG	Thu May 06 13:57:01 2010 -0400
+++ b/CHANGELOG	Thu May 06 16:05:14 2010 -0400
@@ -1,3 +1,10 @@
+========
+20100506
+========
+
+- New experimental checker for information flow and access control policies
+  (See demo at http://www.impredicative.com/ur/scdv/)
+
 ========
 20100401
 ========