You are viewing a plain text version of this content. The canonical link for it is here.

Posted to notifications@zookeeper.apache.org by GitBox <gi...@apache.org> on 2022/01/04 03:43:27 UTC

[GitHub] [zookeeper] maoling commented on pull request #1299: ZOOKEEPER-3615:[WIP] write a TLA+ specification to verify Zab protocol

maoling commented on pull request #1299:
URL: https://github.com/apache/zookeeper/pull/1299#issuecomment-1004507120


   @BinyuHuang-nju 
   - Sorry for our late and thanks for your ping. Not any bother at all, it's our responsibility:)
   - Since this TLA+ work is huge and not everybody is good at it, so please give us more time to dig into it.
   - Basically, I will check your specification to find whether any state violations with TLC. If I don't response at your PR within a month. Please ping me again, don't be shy:)
   - I will send you my wechat by an email


-- 
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.

To unsubscribe, e-mail: notifications-unsubscribe@zookeeper.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org