specfold-core 0.7.1

Library behind specfold: typed Markdown documents, owners, a derived graph and checks.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

//! X1, X2 and G1: the commands a document names actually pass, and an active source of truth
//! says how it is verified. X1 and G1 only run when asked (`spec verify`,
//! `spec check --run-commands`), because they execute project code.

mod declared;
mod generated;
mod job;
mod passes;
mod select;

pub use declared::VerifyDeclared;
pub use generated::GeneratedInSync;
pub use passes::VerifyPasses;