This is an automated email from the ASF dual-hosted git repository. mssun pushed a commit to branch master in repository https://gitbox.apache.org/repos/asf/incubator-teaclave-verification.git
commit 952d50e270bc31f1ac41c7debe498157890f9303 Author: Mingshen Sun <[email protected]> AuthorDate: Thu Feb 25 20:40:05 2021 -0800 Initial commit --- README.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/README.md b/README.md new file mode 100644 index 0000000..e8698cf --- /dev/null +++ b/README.md @@ -0,0 +1,3 @@ +# Teaclave Verification + +This repository contains formal descriptions, specifications, and proofs for Teaclave. --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
