sentri-core 0.1.2

Core types and utilities for Sentri invariant checking framework

Coverage
100%
426 out of 426 items documented0 out of 122 items with examples
Size
Source code size: 140.95 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 23.38 MB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 51s Average build duration of successful builds.
all releases: 50s Average build duration of successful builds in releases after 2024-10-23.
Links
crates.io
Dependencies
Versions
Owners

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.