#compiler #algebraic #data #mirror #piece #information #front-end

hax-frontend-exporter

Provides mirrors of the algebraic data types used in the Rust compilers, removing indirections and inlining various pieces of information

2 releases

0.1.0-pre.1 Oct 23, 2023
0.1.0-alpha.1 Oct 7, 2024

#160 in Programming languages

25 downloads per month
Used in 5 crates

Apache-2.0

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

~4MB
~79K SLoC