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
14
15
16

//! Guards: named checks over any file in the repository and over commit messages, such as the
//! gate that keeps internal names out of a public package.

mod compile;
mod lex;
mod prove;
mod run;
mod scan;

pub use lex::{secrets, terms};
pub use run::{run, run_net, write_baselines};
pub use scan::blobs::{builtin_secrets, reads_content, scan_blobs};
pub use scan::range::{self, GuardRange};

#[cfg(test)]
mod tests;