4 releases
| 0.1.0 | Jan 20, 2025 |
|---|---|
| 0.1.0-rc.1 | Dec 17, 2024 |
| 0.1.0-pre.1 |
|
| 0.1.0-alpha.1 | Oct 7, 2024 |
#199 in Programming languages
157 downloads per month
Used in 5 crates
1MB
9K
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
~1.6–2.6MB
~51K SLoC