1 unstable release

0.1.0-pre.1 Jun 18, 2024
0.1.0-alpha.1 Oct 7, 2024

#1539 in Procedural macros

Download history 92/week @ 2024-08-04 63/week @ 2024-08-11 173/week @ 2024-08-18 79/week @ 2024-08-25 198/week @ 2024-09-01 302/week @ 2024-09-08 287/week @ 2024-09-15 254/week @ 2024-09-22 522/week @ 2024-09-29 522/week @ 2024-10-06 400/week @ 2024-10-13 455/week @ 2024-10-20 639/week @ 2024-10-27 657/week @ 2024-11-03 449/week @ 2024-11-10 523/week @ 2024-11-17

2,284 downloads per month
Used in 4 crates (via hax-lib)

Apache-2.0

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