telltale-machine 17.0.0

Protocol machine for choreographic session type protocols
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

//! Policy-based coroutine scheduler.
//!
//! All policies produce observationally equivalent results per the
//! `schedule_confluence` theorem in `lean/Runtime/Proofs/SchedulerApi.lean`.

use std::collections::{BTreeMap, BTreeSet, VecDeque};

use serde::{Deserialize, Serialize};

use crate::coroutine::BlockReason;

include!("types.rs");
include!("scheduling.rs");
#[cfg(test)]
include!("tests.rs");