New challenge: Progress Public MIR #592

dkcumming wants to merge 3 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

runtimeverification:challenge_public_mirruntimeverification/verify-rust-std:challenge_public_mirCopy head branch name to clipboard