2 releases
| 0.1.0-pre.1 |
|
|---|---|
| 0.1.0-alpha.1 | Oct 7, 2024 |
#150 in Programming languages
70 downloads per month
Used in 5 crates
1MB
8K
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.9–3MB
~58K SLoC