3 ms·
Yes; because it's mentioned in the article: > Both the Verdi framework and our verified Raft implementation are open-source. Please feel free to submit comment
by appleflaxen 9y ago
Yes; because it's mentioned in the article:
> Both the Verdi framework and our verified Raft implementation are open-source. Please feel free to submit comments, issues, and pull requests on either repository.
[1] https://github.com/uwplse/verdi-raft https://github.com/uwplse/verdi-raft