2 Commits

Author	SHA1	Message	Date
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
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