harn-vm 0.7.43

Async bytecode virtual machine for the Harn programming language
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

//! Flow invariant predicate execution.

pub mod compose;
pub mod discovery;
pub mod executor;
pub mod result;

pub use compose::{
    compose_predicate_results, resolve_predicates, resolve_predicates_for_touched_directories,
    ComposedPredicateEvaluation, PredicateEvaluation, PredicateSource, ResolvedPredicate,
    VerdictStrictness,
};
pub use discovery::{
    discover_invariants, parse_invariants_source, ArchivistMetadata,
    DiagnosticSeverity as DiscoveryDiagnosticSeverity, DiscoveredInvariantFile,
    DiscoveredPredicate, DiscoveryDiagnostic, ParsedInvariantFile, INVARIANTS_FILE,
};
pub use executor::{
    CheapJudge, CheapJudgeRequest, CheapJudgeResponse, PredicateContext, PredicateExecutionRecord,
    PredicateExecutionReport, PredicateExecutor, PredicateExecutorConfig, PredicateKind,
    PredicateRunner,
};
pub use result::{
    Approver, ByteSpan, EvidenceItem, InvariantBlockError, InvariantResult, Remediation, Verdict,
};