An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
BSD 2-Clause "Simplified" License
182
stars
19
forks
source link
adapt to new approach where client sends id, introduce client reconnection #68
Closed
palmskog closed 6 years ago
Reconnection tested locally and seems to work.