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 Raft shim changes in client interface #61
Closed
palmskog closed 7 years ago
Send message length before each message.