hax-lib-macros
| Crates.io | hax-lib-macros |
| lib.rs | hax-lib-macros |
| version | 0.3.4 |
| created_at | 2024-06-18 09:26:14.447867+00 |
| updated_at | 2025-09-03 14:29:16.354939+00 |
| description | Hax-specific proc-macros for Rust programs |
| homepage | https://github.com/hacspec/hax |
| repository | https://github.com/hacspec/hax |
| max_upload_size | |
| id | 1275300 |
| size | 91,681 |
tools (github:cryspen:tools)
documentation
README
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.