Skip to content

Challenge 2 (partial): safety contracts + verification for 15 of 20 raw-pointer core::intrinsics - #618

Open
ivmat wants to merge 2 commits into
model-checking:mainfrom
ivmat:challenge-2-intrinsics-memory
Open

Challenge 2 (partial): safety contracts + verification for 15 of 20 raw-pointer core::intrinsics#618
ivmat wants to merge 2 commits into
model-checking:mainfrom
ivmat:challenge-2-intrinsics-memory

Extract shared fallback helper for typed_swap_nonoverlapping

e7b1bc1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build
succeeded Aug 27, 2026 in 6m 54s