[incubator-teaclave-verification] branch cmd_build updated: Add Isabelle command line build file

[yu...@apache.org]

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 <an...@gmail.com>
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: commits-unsubscribe@teaclave.apache.org
For additional commands, e-mail: commits-help@teaclave.apache.org