Closed #481.
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/apache/incubator-teaclave/pull/481#event-4380398300
> Hi @SeanVer, thanks for your PR. After discuss with the community, I think
> these can be put in a separated repository. I have created a repo called
> "Teaclave Verification" which contains formal descriptions, specifications,
> and proofs for Teaclave. You can find the repo in this link:
>
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
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
This is an automated message from the Apache Git
Hi @SeanVer, thanks for your PR. After discuss with the community, I think
these can be put in a separated repository. I have created a repo called
"Teaclave Verification" which contains formal descriptions, specifications, and
proofs for Teaclave. You can find the repo in this link:
Hi all,
I'm glad to announce the results of the vote.
This vote PASSED with 4 +1 votes (4 binding), no 0 votes, and 0 -1 vote.
+1 votes
* Pei Wang (binding)
* Yulong Zhang (binding)
* Rundong Zhou (binding)
* Tongxin Li (binding)
0 votes
* No votes
-1 votes
* No votes
The list of members can
Dear Teaclave community,
Last time, we discussed setting the meetup as a regular activity
(i.e., the last Thursday in each Month). On Feb 25, we organized the
second Teaclave virtual meetup. Around ten people from the community
showed up in the virtual meetup. Thanks for attending the meetup.
Merged #319 into master.
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/apache/incubator-teaclave-sgx-sdk/pull/319#event-4379604759
Final reminder. Will start at 7pm PST today.
On Mon, Feb 22, 2021 at 10:59 AM Mingshen Sun wrote:
>
> Hi all,
>
> This is a kind reminder for this week's meetup. Please RSVP for the Zoom link.
>
> BTW, I'm still looking for speakers, please reply to the email if
> you'd like to give a talk.
Thanks! I tried this out the other day by compiling the untrusted crate as a
static lib and compiling the trusted crate as a dynamic lib. It worked but I
forgot to resolve this issue...
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it
Closed #317.
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/apache/incubator-teaclave-sgx-sdk/issues/317#event-4375847900
Your understanding is correct. You must put the trusted part and the untrusted
part in two different crates. xxx_t.c and xxx_u.c generated by edger8r are
linked with trusted and untrusted library.
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly
@dingelish Please help update the dockerfile to support intel-sdk-2.13. thanks!
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/apache/incubator-teaclave-sgx-sdk/pull/319#issuecomment-785776120
Update the error definition according to intel-sdk-2.13 and dcap-1.10
You can view, comment on, or merge this pull request online at:
https://github.com/apache/incubator-teaclave-sgx-sdk/pull/319
-- Commit Summary --
* Update the error definition according to intel-sdk-2.13
-- File Changes
14 matches
Mail list logo
