Expand description
Execution-modality carriers and proof relations for verified consumers. Execution-modality carriers.
Modulesยง
- fork_
join - Barriered fork-join execution. Finite-index ForkJoin execution carrier.
- sequential
- Totally ordered sequential execution. Total-order execution carrier.
- step_
graph - Dependency-governed graph execution. Finite-index StepGraph execution carrier.
- stream_
graph - Bounded linear stream execution.
- stream_
graph_ fanout - Bounded fan-out stream verification profile.