raftmodel 0.1.3

A logic model for the raft consensus algorithm
Documentation
  • Coverage
  • 14.29%
    7 out of 49 items documented3 out of 3 items with examples
  • Size
  • Source code size: 70.95 kB This is the summed size of all the files inside the crates.io package for this release.
  • Documentation size: 3.51 MB This is the summed size of all files generated by rustdoc for all configured targets
  • Ø build duration
  • this release: 10s Average build duration of successful builds.
  • all releases: 10s Average build duration of successful builds in releases after 2024-10-23.
  • Links
  • jkabc123/ruraft
    0 0 0
  • crates.io
  • Dependencies
    • —
  • Versions
  • Owners
  • jkabc123

raftmodel aims to provide the rust implementations of logic model for the raft consensus algorithm.

The big picture

This is a crate to provide a pure logic model for the raft algorithm. It aims to strictly follow raft formal TLA+ specification (raft.tla).