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

无std fibril_core

Fibril库的核心类型

8个版本

0.0.7 2023年6月5日
0.0.6 2023年6月4日
0.0.5 2023年2月12日
0.0.4 2023年1月14日
0.0.0 2022年12月18日

#8 in #paxos


2 个crate中使用

MIT/Apache

9KB
183

Fibril Core

本模块指定了Fibril库的核心类型。

用法

请参阅fibril_verifier文档。

功能

  • serde:在适用的情况下实现 SerializeDeserialize

lib.rs:

本模块指定了Fibril库的核心类型。

用法

请参阅fibril_verifier文档。

功能

  • serde:在适用的情况下实现 SerializeDeserialize

依赖关系

~185KB