search

tlaplus / Examples

A collection of TLA⁺ specifications of varying complexities
Other
1.29k stars 200 forks source link

Specifying and Verifying SDP Protocol based Zero Trust Architecture #58

Closed 10227694 closed 1 year ago

10227694 commented 1 year ago

I have modified this project according to Stephan's comments. Now I believe the spec is qualified to be merged to the collection. Please check, Thanks a lot.

lemmy commented 1 year ago

@10227694 We haven't gotten around to reviewing this PR. Why did you closed it?

10227694 commented 1 year ago

Sorry，wrong operation to close it due to my carelessness, I'd repoen it for check.

niuzhi commented 1 year ago

@lemmy Hello, is this PR review over? https://github.com/tlaplus/Examples/issues/56

lemmy commented 1 year ago

I haven't had a chance to look at this PR, but I believe @muenchnerkindl has.

muenchnerkindl commented 1 year ago

Thank you very much for your contribution. I'll be happy to merge the pull request.

In the process of setting up the TLA+ Foundation and following the general rules of the Linux Foundation, we now require all commits to include a DCO signoff. Please follow the instructions at https://github.com/src-d/guide/blob/master/developer-community/fix-DCO.md and include a DCO: without this, I cannot merge your contribution.

Thanks, Stephan

10227694 commented 1 year ago

Thank you very much for your contribution. I'll be happy to merge the pull request.

In the process of setting up the TLA+ Foundation and following the general rules of the Linux Foundation, we now require all commits to include a DCO signoff. Please follow the instructions at https://github.com/src-d/guide/blob/master/developer-community/fix-DCO.md and include a DCO: without this, I cannot merge your contribution.

Thanks, Stephan

@muenchnerkindl thanks.The DCO problem has been repaired as required, and the latest PR list is https://github.com/tlaplus/Examples/pull/63