search

uwplse / verdi-raft

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

Build vard in Travis #12

Closed dwoos closed 8 years ago

wilcoxjay commented 8 years ago

🌵 :baby: