[dependencies.actix-web]
version = "1.0"
[dependencies.ahash]
version = "0.3"
[dependencies.choice]
version = "0.0.2"
[dependencies.crossbeam-utils]
version = "0.7"
[dependencies.dashmap]
version = "3.11"
[dependencies.id-set]
version = "0.2.2"
[dependencies.log]
version = "0.4"
[dependencies.nohash-hasher]
version = "0.2.0"
[dependencies.parking_lot]
version = "0.11"
[dependencies.rand]
version = "0.7"
[dependencies.serde]
features = ["rc"]
version = "1.0"
[dev-dependencies.clap]
version = "2.33"
[dev-dependencies.env_logger]
version = "0.7"
[dev-dependencies.num_cpus]
version = "1.13"
[dev-dependencies.serde_json]
version = "1.0"
[package]
authors = ["Jonathan Nadal <jon.nadal@gmail.com>"]
categories = ["algorithms", "concurrency", "development-tools", "network-programming", "simulation"]
description = "A model checker for implementing distributed systems."
edition = "2018"
homepage = "https://www.stateright.rs"
keywords = ["actor", "distributed-systems", "linearizability", "model-checking", "paxos"]
license = "MIT"
name = "stateright"
readme = "README.md"
repository = "https://github.com/stateright/stateright"
version = "0.25.0"