rust/neon
1
0
Fork 0
mirror of https://github.com/neondatabase/neon.git synced 2026-05-26 01:20:38 +00:00
Code Issues Packages Projects Releases Wiki Activity
1,375 Commits 1,487 Branches 282 Tags
a39de2997ff159451b6da9f94dbb99ed0bf71a90
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