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
commit401f18bcd6292792193fc74ca0966d921484543a (patch)
treead2ae2823d9bb8ce382653ec18c6124c09e128bd /CHANGELOG
parent11de01a71c637cddaf6a7eb1c4bbe31a8162a6d5 (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
========