This is an automated email from the ASF dual-hosted git repository. yulongzhang pushed a commit to branch master in repository https://gitbox.apache.org/repos/asf/incubator-teaclave-verification.git
commit cc3aa0cf31652300add81fb5e2e6d5b62a8abc96 Merge: 76abb09 8617dc0 Author: Yulong Zhang <[email protected]> AuthorDate: Tue Mar 16 16:39:47 2021 -0700 Merge pull request #2 from SeanVer/master update README.md of root directory README.md | 158 ++++++++++ access_control_module/AttrConf.thy | 327 ++++++++++++++++----- .../interpretation/I_AttrConf.thy | 255 ++++------------ access_control_module/interpretation/I_FMT_MSA.thy | 227 ++++++-------- 4 files changed, 571 insertions(+), 396 deletions(-) --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
