This is an automated email from the ASF dual-hosted git repository.
yulongzhang pushed a commit to branch cmd_build
in repository
https://gitbox.apache.org/repos/asf/incubator-teaclave-verification.git
The following commit(s) were added to refs/heads/cmd_build by this push:
new 64acdb3 Add Isabelle command line build file
64acdb3 is described below
commit 64acdb39ab143e09302cf396a4a407016843a191
Author: Yulong Zhang <[email protected]>
AuthorDate: Tue Mar 16 16:52:01 2021 -0700
Add Isabelle command line build file
---
access_control_module/ROOT | 18 ++++++++++++++++++
1 file changed, 18 insertions(+)
diff --git a/access_control_module/ROOT b/access_control_module/ROOT
new file mode 100644
index 0000000..e0bb138
--- /dev/null
+++ b/access_control_module/ROOT
@@ -0,0 +1,18 @@
+session Build = HOL +
+theories
+ AttrConf
+ FDP_ACC
+ FDP_ACF
+ FDP_IFC
+ FDP_IFF
+ FIA_USB
+ FMT_MSA
+ InfoType
+ ModelConf
+ ResrcAttr
+ ResrcType
+ SysId
+ TeaclaveAccessControl
+ TeaclaveRequirements
+ TrustLevel
+ UsrAttr
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
