Skip to content

Challenge 25: Verify the safety of VecDeque (unbounded, symbolic ring layouts, contracts on all 13 unsafe fns) - #681

Open
jrey8343 wants to merge 4 commits into
model-checking:mainfrom
jrey8343:challenge-25-vecdeque
Open

Challenge 25: Verify the safety of VecDeque (unbounded, symbolic ring layouts, contracts on all 13 unsafe fns)#681
jrey8343 wants to merge 4 commits into
model-checking:mainfrom
jrey8343:challenge-25-vecdeque

Address the Challenge 25 review: shapes, transcription evidence, stub…

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

Annotations

1 warning
Verify std library
succeeded Sep 13, 2026 in 32s