3 releases
| 0.1.0-rc.1 | Dec 17, 2024 |
|---|---|
| 0.1.0-pre.1 |
|
| 0.1.0-alpha.1 | Oct 7, 2024 |
#147 in Programming languages
272 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
~3.5MB
~73K SLoC