switch to strings for client ids and generate UUIDs in clients

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

switch to strings for client ids and generate UUIDs in clients #72

Closed palmskog closed 6 years ago

palmskog commented 6 years ago

This makes interoperability with other clients than our Python client much easier to implement (UUID format is standardized and platform-independent).