tla-rs 0.1.0

Rust implementation of the IronFleet verified distributed systems framework
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
pub mod constants;
pub mod assumptions;
pub mod actions;
pub mod environment;
pub mod requests;
pub mod packet_sending;
pub mod message1b;
pub mod message2a;
pub mod message2b;
pub mod max_ballot_sent_1a;
pub mod receive1b;
pub mod chosen;
pub mod quorum;
pub mod max_ballot;
pub mod learner_state;