hibana 0.9.9

Choreographic programming in Rust with no_std and no heap allocation
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

mod frame_labels;
#[cfg(kani)]
mod kani;
mod lane_matching;
#[cfg(all(test, hibana_repo_tests))]
mod tests;

pub(crate) use frame_labels::{
    color_roll_frame_labels, merge_route_frame_labels, separate_roll_frame_domains,
};
pub(crate) use lane_matching::merge_parallel_lanes;

const BYTE_DOMAIN: usize = u8::MAX as usize + 1;
const BYTE_DOMAIN_MASK_BYTES: usize = BYTE_DOMAIN.div_ceil(u8::BITS as usize);