Arseny Sher fa909c27fc Update consensus protocol spec (#9607) ...

The spec was written for the buggy protocol which we had before the one
more similar to Raft was implemented. Update the spec with what we
currently have.

ref https://github.com/neondatabase/neon/issues/8699

2024-12-02 16:10:44 +00:00

..

MCProposerAcceptorStatic.tla-MCProposerAcceptorStatic_p2_a3_t2_l2.cfg-2024-11-06--13-44-17.log

Update consensus protocol spec (#9607)

2024-12-02 16:10:44 +00:00

MCProposerAcceptorStatic.tla-MCProposerAcceptorStatic_p2_a3_t3_l2.cfg-2024-11-15--09-09-58.log

Update consensus protocol spec (#9607)

2024-12-02 16:10:44 +00:00

MCProposerAcceptorStatic.tla-MCProposerAcceptorStatic_p2_a3_t3_l3.cfg-2024-11-06--13-03-51.log

Update consensus protocol spec (#9607)

2024-12-02 16:10:44 +00:00

MCProposerAcceptorStatic.tla-MCProposerAcceptorStatic_p2_a3_t4_l4.cfg-2024-11-06--14-20-25.log

Update consensus protocol spec (#9607)

2024-12-02 16:10:44 +00:00

MCProposerAcceptorStatic.tla-MCProposerAcceptorStatic_p2_a3_t4_l4.cfg-2024-11-06--15-30-45.log

Update consensus protocol spec (#9607)

2024-12-02 16:10:44 +00:00

MCProposerAcceptorStatic.tla-MCProposerAcceptorStatic_p2_a5_t2_l2.cfg-2024-11-06--12-09-32.log

Update consensus protocol spec (#9607)

2024-12-02 16:10:44 +00:00