Write TLA+ spec for current reconfig protocol

XMLWordPrintableJSON

    • Type: Task
    • Resolution: Done
    • Priority: Major - P3
    • None
    • Affects Version/s: None
    • Component/s: Replication
    • None
    • Repl 2019-11-18
    • None
    • None
    • None
    • None
    • None
    • None
    • None

      1. old_hb_protocol_election_safety.html
        11 kB
      2. old_hb_protocol_never_rollback_committed.html
        20 kB

          Assignee:
          Will Schultz
          Reporter:
          Siyuan Zhou
          Votes:
          0 Vote for this issue
          Watchers:
          4 Start watching this issue

            Created:
            Updated:
            Resolved: