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

Posted to issues@zookeeper.apache.org by "Andor Molnar (Jira)" <ji...@apache.org> on 2023/06/16 14:28:00 UTC

[jira] [Updated] (ZOOKEEPER-3615) write a TLA+ specification to verify Zab protocol

     [ https://issues.apache.org/jira/browse/ZOOKEEPER-3615?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Andor Molnar updated ZOOKEEPER-3615:
------------------------------------
    Fix Version/s: 3.9.0

> write a TLA+ specification to verify Zab protocol
> -------------------------------------------------
>
>                 Key: ZOOKEEPER-3615
>                 URL: https://issues.apache.org/jira/browse/ZOOKEEPER-3615
>             Project: ZooKeeper
>          Issue Type: Wish
>          Components: documentation, server
>            Reporter: Ling Mao
>            Assignee: Ling Mao
>            Priority: Major
>              Labels: pull-request-available
>             Fix For: 3.9.0
>
>          Time Spent: 13h 50m
>  Remaining Estimate: 0h
>




--
This message was sent by Atlassian Jira
(v8.20.10#820010)