Crate vil_validate 

Re-exports

pub use boundary::BoundaryLegalityPass;

pub use failover::FailoverLegalityPass;

pub use layout::LayoutLegalityPass;

pub use memory_class_pass::MemoryClassCompatibilityPass;

pub use obs_pass::ObsAnnotationPass;

pub use ownership::OwnershipLegalityPass;

pub use queue::QueueCapabilityPass;

pub use reactive::LaneLegalityPass;

pub use reactive::ReactiveInterfacePass;

pub use semantic_lane::SemanticLanePass;

pub use trust_zone::TrustZonePass;

pub use traits::Diagnostic;

pub use traits::Severity;

pub use traits::ValidationPass;

pub use traits::ValidationReport;

Modules

boundary

failover

layout

memory_class_pass

obs_pass

ownership

queue

reactive

semantic_lane

traits

trust_zone

Structs

Validator

Main engine for running all validation passes on a Workflow IR.