Lib.rs

› Rust patterns
#front-end #variables #now #exporter #helper #hax #mode

nightly hax-frontend-exporter

hax frontend exporter helper crate

by Franziskus Kiefer, Lucas Franceschino, karthikbhargavan, Lasse Letager Hansen, jschneider-bensch and 6 contributors

1 unstable release

0.1.0-pre.1 Oct 23, 2023

#2799 in Rust patterns

36 downloads per month
Used in 2 crates

Apache-2.0

1MB
6K 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.5MB
~50K SLoC