ordeal-lrat
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.
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
|