Sign in Sign up
cargo

ordeal

Ordeal — a pure-Rust, certificate-checked QF_BV SMT solver for the PulseEngine toolchain. Untrusted solver + formally-verified LRAT checker (CompCert pattern), wasm32-wasip2-native. Part of the PulseEngine toolchain.

cargo View on Cargo github View on Github

Activity

Latest release
3w ago
Total releases
23
Cadence
~daily
Last 12 months
23

Reach

Downloads
6.5k
Stars
1

Details

License
Apache-2.0
First release
Jul 02, 2026
Releases
Version Released
0.19.0 minor
0.18.0 minor
0.17.0 unknown
0.16.1 unknown
0.16.0 unknown
0.15.0 unknown
0.14.0 unknown
0.13.0 unknown
0.12.0 unknown
0.11.0 unknown
0.10.0 unknown
0.9.1 unknown
0.9.0 unknown
0.8.0 unknown
0.7.0 unknown
0.6.0 unknown
0.5.1 unknown
0.5.0 unknown
0.4.2 unknown
0.4.1 unknown
0.4.0 unknown
0.3.0 unknown
0.2.0 unknown