Mercurial > urweb

diff CHANGELOG @ 1255:068f55543d03

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New release
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 May 2010 16:05:14 -0400
parents 6d8e3dcb9713
children 83b1853d1e58
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
 ========