Skip to content

Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani - #587

Open
v3risec wants to merge 3 commits into
model-checking:mainfrom
v3risec:challenge-27-arc
Open

Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani#587
v3risec wants to merge 3 commits into
model-checking:mainfrom
v3risec:challenge-27-arc

Commits

  1. Commits on Oct 21, 2026

  2. Commits on Oct 23, 2026