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

Fix w.r.t. coq/coq#12532. #85

Closed ppedrot closed 4 years ago

ppedrot commented 4 years ago

Should be backwards compatible.