1 unstable release
0.1.0-pre.1 |
|
---|---|
0.1.0-alpha.1 | Oct 7, 2024 |
#1539 in Procedural macros
2,284 downloads per month
Used in 4 crates
(via hax-lib)
79KB
1.5K
SLoC
hax proc macros
Hax-specific proc-macros for Rust programs.
This crate defines proc macros to be used in Rust programs that are extracted with
hax.
It provides proc macros such as requires
and ensures
to define pre- and post-conditions
for functions.
Dependencies
~1–1.9MB
~39K SLoC