You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@teaclave.apache.org by GitBox <gi...@apache.org> on 2021/02/26 05:59:49 UTC
[GitHub] [incubator-teaclave-verification] SeanVer opened a new pull request #1: baseline for the formal description and verification of access contro…
SeanVer opened a new pull request #1:
URL: https://github.com/apache/incubator-teaclave-verification/pull/1
…l module of incubator-teaclave
Signed-off-by: Cao Shuang <ca...@antfin.com>
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@teaclave.apache.org
For additional commands, e-mail: dev-help@teaclave.apache.org
[GitHub] [incubator-teaclave-verification] mssun merged pull request #1: baseline for the formal description and verification of access contro…
Posted by GitBox <gi...@apache.org>.
mssun merged pull request #1:
URL: https://github.com/apache/incubator-teaclave-verification/pull/1
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@teaclave.apache.org
For additional commands, e-mail: dev-help@teaclave.apache.org