Challenge 7: Verify safety of Atomic from_ptr methods#578

Samuelsills wants to merge 6 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

Samuelsills:challenge-7-atomicSamuelsills/verify-rust-std:challenge-7-atomicCopy head branch name to clipboard