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

#806 in Testing

Download history 48/week @ 2024-03-11 12/week @ 2024-03-18 6/week @ 2024-03-25 61/week @ 2024-04-01 7/week @ 2024-04-08 19/week @ 2024-04-15 10/week @ 2024-04-22 2/week @ 2024-04-29 6/week @ 2024-05-06 6/week @ 2024-05-13 15/week @ 2024-05-20 31/week @ 2024-05-27 11/week @ 2024-06-03 11/week @ 2024-06-10 10/week @ 2024-06-17 14/week @ 2024-06-24

51 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–325KB