search

rajathkotyal / verify-rust-std

Verifying the Rust standard library
https://model-checking.github.io/verify-rust-std/
Other
0 stars 0 forks source link

unchecked_mul and unchecked_shr proofs #7

Closed rajathkotyal closed 2 months ago

rajathkotyal commented 2 months ago

Added proof harnesses for multiplication and shift right verification of the unchecked uint and int datatypes.

Yenyun035 commented 2 months ago

Nice work! Overall it looks good to me. Once you resolve the conversation. You're good to merge.