vertep-core 0.1.1

Chart IR, validation and the pure SCXML step kernel for Vertep (no_std)
Documentation 
1
2
3
4
5
6
7
8
9

//! Scenario tests: one test per scenario of the chart-model and scxml-interpretation specs, and
//! of the datamodel requirements realized in the core. Charts are built as IR directly.

mod behavior;
mod builder;
mod chart_model;
mod datamodel;
mod interpretation;
mod irp_regressions;