Skip to content

Pull requests: model-checking/verify-rust-std

New pull request New
74 Open 482 Closed
74 Open 482 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Challenge 2: memory safety of raw-pointer intrinsics Challenge Used to tag a challenge
#649 opened Aug 20, 2026 by stefanzetzsche Loading…
Challenge 13: Kani contracts for CStr Challenge Used to tag a challenge
#648 opened Aug 20, 2026 by sankalpsthakur Loading…
1
Challenge 17: Kani contracts for slice functions Challenge Used to tag a challenge
#647 opened Aug 20, 2026 by sankalpsthakur Loading…
1
Challenge 22: Kani contracts for str iterators Challenge Used to tag a challenge
#646 opened Aug 20, 2026 by sankalpsthakur Loading…
1
Challenge 10: Kani contracts for String memory safety Challenge Used to tag a challenge
#645 opened Aug 20, 2026 by sankalpsthakur Loading…
1
Challenge 18: Kani contracts for slice iterators Challenge Used to tag a challenge
#644 opened Aug 20, 2026 by sankalpsthakur Loading…
1
Challenge 2: Kani contracts for raw-pointer core::intrinsics Challenge Used to tag a challenge
#643 opened Aug 20, 2026 by sankalpsthakur Loading…
1
Challenge 7: Kani contracts for atomic types and intrinsics Challenge Used to tag a challenge
#642 opened Aug 20, 2026 by sankalpsthakur Loading…
1
Challenge 4: Kani contracts for BTreeMap node Challenge Used to tag a challenge
#641 opened Aug 20, 2026 by sankalpsthakur Loading…
1
Challenge 8: Kani contracts for SmallSort Challenge Used to tag a challenge
#640 opened Aug 20, 2026 by sankalpsthakur Loading…
1
Challenge 29: Kani contracts for Box, convert, and ThinBox Challenge Used to tag a challenge
#639 opened Aug 20, 2026 by sankalpsthakur Loading…
1
1
Challenge 13: safety of CStr Challenge Used to tag a challenge
#638 opened Aug 20, 2026 by stefanzetzsche Loading…
Challenge 12: safety and correctness of NonZero Challenge Used to tag a challenge
#637 opened Aug 19, 2026 by stefanzetzsche Loading…
1
Update committee list in pull_requests.toml Maintenance Maintenance related issues for the challange
#635 opened Aug 17, 2026 by feliperodri Member Loading…
Challenge 16: Verify safety of iterator adapter functions with Kani Challenge Used to tag a challenge
#632 opened Aug 13, 2026 by v3risec Loading…
1
Add RAPx tool documentation Tool Application Used to tag tool application
#631 opened Aug 11, 2026 by DiuDiu777 Loading…
@tautschnig
4
Remove end dates from challenges Maintenance Maintenance related issues for the challange
#629 opened Aug 4, 2026 by feliperodri Member Loading…
@tautschnig
Use byte-wise memchr under Kani to cut symbolic execution cost Maintenance Maintenance related issues for the challange
#628 opened Aug 4, 2026 by tautschnig Member Loading…
@feliperodri
2
Do not dereference in slice_from_raw_parts postcondition Maintenance Maintenance related issues for the challange
#627 opened Aug 4, 2026 by tautschnig Member Loading…
@feliperodri
1
Use addr_eq in NonNull contracts to support wide pointers Maintenance Maintenance related issues for the challange
#626 opened Aug 3, 2026 by tautschnig Member Loading…
@feliperodri
2
Allow zero-sized offsets on dangling pointers in ptr contracts Maintenance Maintenance related issues for the challange
#625 opened Aug 3, 2026 by tautschnig Member Loading…
@feliperodri
2
Replace byte-inspection NonZero contracts with niche test and raw_eq Maintenance Maintenance related issues for the challange
#624 opened Aug 3, 2026 by tautschnig Member Loading…
@feliperodri
2
Respect new_unchecked precondition in IndexRange proof harnesses Maintenance Maintenance related issues for the challange
#623 opened Aug 3, 2026 by tautschnig Member Loading…
@feliperodri
2
Fix mod_inv precondition: any x is invertible modulo 1 Maintenance Maintenance related issues for the challange
#622 opened Aug 3, 2026 by tautschnig Member Loading…
@feliperodri
1
Challenge 21: Verify safety of StrSearcher with Kani Challenge Used to tag a challenge
#621 opened Aug 3, 2026 by v3risec Loading…
1
@v3risec
3
ProTip! What’s not been updated in a month: updated:<2026-07-21.