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
Update VarD after unordered shim reorganization. #20
Closed
palmskog closed 7 years ago
Update VarD to use shared libraries now present in Verdi and to use reorganized unordered shim.
This PR should only be merged after the corresponding Verdi PR has been merged.