Sign in Sign up
cargo

scry-sai-core

sound abstract interpretation for WebAssembly — the third DO-333 leg of the PulseEngine verification chain

cargo View on Cargo github View on Github

Activity

Latest release
1w ago
Total releases
29
Cadence
~daily
Last 12 months
29

Reach

Downloads
7.1k
Stars
0

Details

License
MIT OR Apache-2.0
First release
Jun 17, 2026
Releases
Version Released
3.3.0 minor
3.2.7 patch
3.2.6 patch
3.2.5 patch
3.2.4 unknown
3.2.3 unknown
3.2.2 unknown
3.2.1 unknown
3.2.0 unknown
3.1.0 unknown
3.0.0 unknown
2.7.0 unknown
2.6.0 unknown
2.5.0 unknown
2.4.0 unknown
2.3.0 unknown
2.2.0 unknown
2.1.1 unknown
2.1.0 unknown
2.0.0 unknown
1.18.0 unknown
1.17.0 unknown
1.16.0 unknown
1.15.0 unknown
1.14.0 unknown
1.13.0 unknown
1.12.0 unknown
1.11.0 unknown
1.10.0 unknown