Challenge 7: Verify safety of Atomic types and Atomic Intrinsics with Kani - #683

Challenge 7: Verify safety of Atomic types and Atomic Intrinsics with Kani#683

v3risec wants to merge 4 commits into

model-checking:mainmodel-checking/verify-rust-std:mainfrom

v3risec:challenge-7-atomicv3risec/verify-rust-std:challenge-7-atomicCopy head branch name to clipboard