prusti-contracts-proc-macros 0.2.0

Internal `proc-macro` Prusti crate

Coverage
0%
0 out of 22 items documented0 out of 21 items with examples
Size
Source code size: 15.8 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 341.69 kB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 2s Average build duration of successful builds.
all releases: 2s Average build duration of successful builds in releases after 2024-10-23.
Links
Homepage
Repository
crates.io
Dependencies
- proc-macro2 ^1.0 normal optional
- prusti-specs ^0.2.0 normal optional
Versions
Owners

Internal Prusti proc-macro crate. Must be a separate crate from prusti-contracts due to Rust limitations.