summaryrefslogtreecommitdiff
path: root/CHANGELOG
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-05-06 16:05:14 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-05-06 16:05:14 -0400
commit3206bc0e84b0336353f56592b9cd3a9a4a4b6a70 (patch)
treead2ae2823d9bb8ce382653ec18c6124c09e128bd /CHANGELOG
parent7a5fef162d88eb9924fa7ddc0144a59e56b85fcf (diff)
New release
Diffstat (limited to 'CHANGELOG')
-rw-r--r--CHANGELOG7
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
========