Lib.rs

› Concurrency › Fibril
#paxos #raft #actor #simulation #model-checking

no-std fibril_core

Core types for the Fibril library

by Jon Nadal

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

#8 in #paxos


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

~190KB