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

[P1-Unsafe Int] unchecked_shr : Shift Right #6

Closed rajathkotyal closed 1 month ago

rajathkotyal commented 2 months ago

unchecked_shr func contract and proof harnesses.

Yenyun035 commented 1 month ago

Merged in PR#96.