12 releases
Uses new Rust 2024
| 0.3.6 | Jan 15, 2026 |
|---|---|
| 0.3.5 | Oct 2, 2025 |
| 0.3.4 | Sep 3, 2025 |
| 0.3.2 | Jul 24, 2025 |
| 0.1.0-alpha.1 | Oct 7, 2024 |
#490 in Rust patterns
Used in 6 crates
425KB
10K
SLoC
Special core extraction mode
For now, the frontend is sensible to the HAX_CORE_EXTRACTION_MODE
variable environment that enables a special mode.
Dependencies
~7–10MB
~118K SLoC