sentri_ir/lib.rs
1#![warn(missing_docs)]
2#![deny(unsafe_code)]
3
4//! Intermediate Representation: Chain-agnostic program model and invariant IR.
5//!
6//! This module re-exports core types and extends them with additional
7//! IR-specific utilities while remaining chain-agnostic.
8
9pub use sentri_core::model::{
10 BinaryOp, Expression, FunctionModel, GenerationOutput, Invariant, LogicalOp, ProgramModel,
11 SimulationReport, StateVar,
12};
13pub use sentri_core::{InvarError, Result};
14
15pub mod analyzer_result;
16pub mod ast;
17
18pub use analyzer_result::AnalysisContext;
19pub use ast::DependencyGraph;