#model-checking #paxos #actor #raft #simulation

no-std fibril_core

Core types for the Fibril library

8 releases

0.0.7 Jun 5, 2023
0.0.6 Jun 4, 2023
0.0.5 Feb 12, 2023
0.0.4 Jan 14, 2023
0.0.0 Dec 18, 2022

#1263 in Concurrency


Used in 2 crates

MIT/Apache

9KB
183 lines

Fibril Core

This module specifies the core types for the Fibril library.

Usage

Please see the the fibril_verifier docs.

Features

  • serde: Implement Serialize and Deserialize where applicable.

lib.rs:

This module specifies the core types for the Fibril library.

Usage

Please see the the fibril_verifier docs.

Features

  • serde: Implement Serialize and Deserialize where applicable.

Dependencies

~180KB