Crate sentri_ir 

Intermediate Representation: Chain-agnostic program model and invariant IR.

This module re-exports core types and extends them with additional IR-specific utilities while remaining chain-agnostic.

Re-exports

pub use analyzer_result::AnalysisContext;

pub use ast::DependencyGraph;

Modules

analyzer_result

Analysis context tracking.

ast

AST extensions and utilities for IR.

Structs

FunctionModel

A function or entry point in a program.

GenerationOutput

Output from code generation.

Invariant

A compiled invariant expression with metadata.

ProgramModel

A complete program model extracted from source code.

SimulationReport

Report from a simulation run.

StateVar

A state variable in a program.

Enums

BinaryOp

Binary operators for expressions.

Expression

An expression tree representing invariant conditions.

InvarError

Errors that can occur during invariant analysis and generation.

LogicalOp

Logical operators.

Type Aliases

Result

The result type for Sentri core operations.