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

Posted to commits@cassandra.apache.org by "Benedict Elliott Smith (Jira)" <ji...@apache.org> on 2021/09/08 17:55:00 UTC

[jira] [Created] (CASSANDRA-16933) CEP-10: Simulator Paxos Compatibility

Benedict Elliott Smith created CASSANDRA-16933:
--------------------------------------------------

             Summary: CEP-10: Simulator Paxos Compatibility
                 Key: CASSANDRA-16933
                 URL: https://issues.apache.org/jira/browse/CASSANDRA-16933
             Project: Cassandra
          Issue Type: Improvement
            Reporter: Benedict Elliott Smith


This is a tracking ticket for improvements to present-day Paxos to support verification by the simulator



--
This message was sent by Atlassian Jira
(v8.3.4#803005)

---------------------------------------------------------------------
To unsubscribe, e-mail: commits-unsubscribe@cassandra.apache.org
For additional commands, e-mail: commits-help@cassandra.apache.org