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

Caching and 32-bit Coq in Travis #69

Closed palmskog closed 6 years ago

palmskog commented 6 years ago

Make builds faster.