Write individual proofs for verifying the absence of arithmetic overflow/underflow and undefined behavior for all integer types: u8, u16, u32, u64, u128, usize.
Add proofs into a dedicated file.
a. For example, library/core/src/num/mod.rs
Please make sure not to modify other people's code, since we will be co-working on the same files. Avoid code conflicts as much as possible. Pull code every time a merge is made.
IMP: comment with the branch name you will be working on, with its link.
Yenyun035
commented
1 month ago
Official Repo Tracking Issue
Tasks :
library/core/src/num/mod.rsIMP: comment with the branch name you will be working on, with its link.
Ref: https://github.com/rajathkotyal/verify-rust-std/blob/main/doc/src/challenges/0011-floats-ints.md