[incubator-teaclave-verification] branch master created (now 952d50e)

[ms...@apache.org]

This is an automated email from the ASF dual-hosted git repository.

mssun pushed a change to branch master
in repository https://gitbox.apache.org/repos/asf/incubator-teaclave-verification.git.


      at 952d50e  Initial commit

This branch includes the following new commits:

     new 952d50e  Initial commit

The 1 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "add" were already present in the repository and have only
been added to this reference.



---------------------------------------------------------------------
To unsubscribe, e-mail: commits-unsubscribe@teaclave.apache.org
For additional commands, e-mail: commits-help@teaclave.apache.org

[incubator-teaclave-verification] 01/01: Initial commit

[ms...@apache.org]

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 <bo...@mssun.me>
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: commits-unsubscribe@teaclave.apache.org
For additional commands, e-mail: commits-help@teaclave.apache.org