hax-frontend-exporter
crates.ioProvides mirrors of the algebraic data types used in the Rust compilers, removing indirections and inlining various pieces of information.
Latest v0.4.2 · Oct 1, 2026
Downloads
No download history yet.
Linked repositories
| ## | RepositoryRepository | ConnectionConnection |
|---|---|---|
| 1 | facebook/infer | Source package · Manifest |
| 2 | pereq-dev/hax | Registry metadata |
Recent releases
| Version | Published |
|---|---|
| 0.4.2 | Oct 1, 2026 |
| 0.4.1 | Sep 23, 2026 |
| 0.4.0 | Sep 7, 2026 |
| 0.4.0-rc.2 | Sep 3, 2026 |
| 0.4.0-rc.1 | Aug 31, 2026 |