search

uwplse / verdi-raft

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

client id type specified in Raft parameters #71

Closed palmskog closed 6 years ago

palmskog commented 6 years ago

This PR makes it possible to use UUIDs (e.g., as string or positive) instead of ints as client identifiers. Also makes it clear that the only salient property about client ids are their decidable equality.