Arseny Sher 030ab1c0e8 TLA+ spec for safekeeper membership change (#9966) ...

## Problem

We want to define the algorithm for safekeeper membership change.

## Summary of changes

Add spec for it, several models and logs of checking them.

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

2025-01-09 12:26:17 +00:00

..

MCProposerAcceptorReconfig.tla-MCProposerAcceptorReconfig_p2_a2_t2_l2_c3.cfg-2024-12-11--04-24-12.log

TLA+ spec for safekeeper membership change (#9966)

2025-01-09 12:26:17 +00:00

MCProposerAcceptorReconfig.tla-MCProposerAcceptorReconfig_p2_a2_t2_l2_c5.cfg-2024-12-11--04-26-11.log

TLA+ spec for safekeeper membership change (#9966)

2025-01-09 12:26:17 +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