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 2 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 2 commits into
model-checking:mainfrom
jrey8343:challenge-25-vecdeque

Require a valid head in from_contiguous_raw_parts_in's contract

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

Annotations

1 warning
Run KMIR proofs
succeeded Sep 8, 2026 in 26m 40s