An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
BSD 2-Clause "Simplified" License
183
stars
19
forks
source link
add serializeClientId definition to vard arrangement #28
Closed
palmskog closed 7 years ago
Makes more verbose client error messages possible. This PR should only be merged after the corresponding Verdi PR has been merged.