10 releases

0.2.0 Sep 4, 2023
0.1.10 Aug 11, 2023
0.1.9 Jul 20, 2023
0.1.8 Jun 26, 2023
0.1.1 Sep 27, 2022

#617 in Testing

MPL-2.0 license

16KB
280 lines

Provides specifications for std functions. By importing this and adding extern crate prusti_std; to your root file, one can avoid needing to write external specifications. This crate does not replace prusti-contracts, you will still need to import the latter to write contracts in your crate.

Dependencies

~0–365KB