Challenge 25: Verify Vecdeque safety with Kani - #605

Open

v3risec wants to merge 8 commits into

model-checking:mainfrom

v3risec:challenge-25-vecdeque

Commits on Jun 25, 2026

Add Kani contracts and harnesses for challenge 25
v3risec
committed
73ebb4b

Commits on Jun 28, 2026

delete usize and isize harnesses to reduce verification time
v3risec
committed
1985854

Commits on Jun 29, 2026

add comments for verify
v3risec
committed
1ea7c9f
delete duplicate harness and change bounds to fix CI errors
v3risec
committed
5d95ef9

Commits on Jun 30, 2026