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:59:00 UTC

[jira] [Updated] (CASSANDRA-16933) CEP-10: Simulator Paxos Compatibility (Phase 3)

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

Benedict Elliott Smith updated CASSANDRA-16933:
-----------------------------------------------
    Summary: CEP-10: Simulator Paxos Compatibility (Phase 3)  (was: CEP-10: Simulator Paxos Compatibility)

> CEP-10: Simulator Paxos Compatibility (Phase 3)
> -----------------------------------------------
>
>                 Key: CASSANDRA-16933
>                 URL: https://issues.apache.org/jira/browse/CASSANDRA-16933
>             Project: Cassandra
>          Issue Type: Improvement
>            Reporter: Benedict Elliott Smith
>            Priority: Normal
>
> 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