rust/neon
1
0
Fork 0
mirror of https://github.com/neondatabase/neon.git synced 2026-09-28 16:05:35 +00:00
Code Issues Packages Projects Releases Wiki Activity
737 Commits 1,487 Branches 282 Tags
8a05d6dde08d287bacf8027a05abfcb32378146e
Commit Graph
1 Commits
Author SHA1 Message Date
Arseny Sher eb1618f2ed TLA+ specification of proposer-acceptor consensus protocol. 
And .cfg file for running TLC.

ref #293
 2021-07-21 17:27:05 +03:00