11 releases

0.2.0 Sep 4, 2023
0.1.9 Jul 20, 2023
0.1.4 Feb 13, 2023
0.1.2 Oct 3, 2022

#1018 in Testing

Download history 2/week @ 2024-11-13 8/week @ 2024-11-20 6/week @ 2024-11-27 14/week @ 2024-12-04 33/week @ 2024-12-11 6/week @ 2024-12-18 1/week @ 2025-01-08 7/week @ 2025-01-15 11/week @ 2025-01-22 7/week @ 2025-01-29 15/week @ 2025-02-05 13/week @ 2025-02-12 8/week @ 2025-02-19 14/week @ 2025-02-26

52 downloads per month
Used in 2 crates (via prusti-contracts)

MPL-2.0 license

67KB
1.5K SLoC

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

Dependencies

~0–350KB