Available as usual at: http://www.impredicative.com/ur/
CHANGELOG for this release: - New experimental checker for information flow and access control policies (See demo at http://www.impredicative.com/ur/scdv/) _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
