1 unstable release
0.0.0 | Jan 7, 2023 |
---|
#7 in #vector-clock
26 downloads per month
Used in fibril_verifier
10KB
200 lines
Fibril Repository Root
This repository houses a collection of Rust crates for implementing and verifying distributed systems.
Crates
Crate | Links |
---|---|
consistency_model |
docs source |
fibril |
docs source |
fibril_core |
docs source |
fibril_verifier |
docs source |
vector_clock |
docs source |
Contributing
Please make sure your code passes tests/clippy, and apply auto-formatting:
cargo test && cargo test --examples
cargo clippy && cargo clippy --examples
cargo fmt
License
See LICENSE-APACHE
and LICENSE-MIT
.
Dependencies
~150KB