sentri-ir

Intermediate representation (IR) for Sentri invariant specifications.

Defines the AST and IR structures used to represent and analyze invariant specifications across EVM, Solana, and Move platforms.

Usage

[dependencies]
sentri-ir = "0.1.3"
sentri-core = "0.1.3"

Key Types

• Spec — complete invariant specification
• Check — individual check/invariant
• Expression — semantic expressions in invariants
• Target — chain target (EVM, Solana, Move)

Example

use sentri_ir::{Spec, Target};

let spec = Spec {
    name: "balance_check".to_string(),
    target: Target::EVM,
    description: "Validate balance consistency".to_string(),
};

See Sentri documentation for IR details.

License

MIT