sentri-core 0.1.2

Core types and utilities for Sentri invariant checking framework
Documentation
sentri-core-0.1.2 has been yanked.

Invar Core: Base abstractions for multi-chain invariant analysis.

This module defines the core traits and types that are chain-agnostic and form the foundation for all analyzers and generators.