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

#959 in Testing


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–335KB