1 unstable release

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

#1578 in Procedural macros

Download history 4/week @ 2024-06-27 2/week @ 2024-07-04 3/week @ 2024-07-11 96/week @ 2024-07-18 163/week @ 2024-07-25 41/week @ 2024-08-01 104/week @ 2024-08-08 139/week @ 2024-08-15 86/week @ 2024-08-22 95/week @ 2024-08-29 323/week @ 2024-09-05 286/week @ 2024-09-12 298/week @ 2024-09-19 316/week @ 2024-09-26 641/week @ 2024-10-03 247/week @ 2024-10-10

1,538 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–2MB
~40K SLoC