rust/neon
1
0
Fork 0
mirror of https://github.com/neondatabase/neon.git synced 2026-01-04 03:52:56 +00:00
Code Issues Packages Projects Releases Wiki Activity
922 Commits 1,487 Branches 282 Tags
lsn-vec
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