Skip to content

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

New pull request New
62 Open 478 Closed
62 Open 478 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 16: Verify safety of iterator adapter functions with Kani
#632 opened Aug 13, 2026 by v3risec • Draft
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
Challenge 20: Verify Char Searcher with Kani Challenge Used to tag a challenge
#620 opened Aug 2, 2026 by v3risec Loading…
1
@v3risec
1
Challenge 2 (partial): safety contracts + verification for 15 of 20 raw-pointer core::intrinsics Challenge Used to tag a challenge
#618 opened Jul 30, 2026 by ivmat Loading…
@ivmat
8
Update Kani Metrics Maintenance Maintenance related issues for the challange
#616 opened Jul 26, 2026 by github-actions Bot Loading…
@tautschnig
Merge subtree update for toolchain nightly-2026-02-05 Maintenance Maintenance related issues for the challange
#613 opened Jul 19, 2026 by github-actions Bot Loading…
@feliperodri
6
Attribute cfg(kani) harnesses to their crate in log_parser Maintenance Maintenance related issues for the challange
#609 opened Jul 16, 2026 by MavenRain Loading…
1
@feliperodri
1
Challenge 28: Verify flt2dec safety with Kani Challenge Used to tag a challenge
#606 opened Jul 2, 2026 by v3risec Loading…
1
@v3risec
4
Challenge 25: Verify Vecdeque safety with Kani Challenge Used to tag a challenge
#605 opened Jun 29, 2026 by v3risec Loading…
1
@v3risec
5
Verify the safety of slice functions (challenge #17) Challenge Used to tag a challenge
#603 opened Jun 17, 2026 by MavenRain Loading…
@MavenRain
6
Verify iter adapter unsafe methods + safe abstractions (challenge #16) Challenge Used to tag a challenge
#602 opened Jun 17, 2026 by MavenRain Loading…
@MavenRain
11
Verify core::num::flt2dec memory safety (challenge #28) Challenge Used to tag a challenge
#601 opened Jun 15, 2026 by MavenRain Loading…
@MavenRain
2
Add Kani contracts and harnesses for NonZero (Challenge 12) Challenge Used to tag a challenge
#600 opened Jun 12, 2026 by kasimte Loading…
1
@kasimte
6
Challenge 24: Verify Vec Part2 safety with Kani Challenge Used to tag a challenge
#599 opened Jun 11, 2026 by v3risec Loading…
1
@v3risec
10
Challenge 23: Verify Vec Part1 safety with Kani Challenge Used to tag a challenge
#598 opened Jun 7, 2026 by v3risec Loading…
1
@v3risec
12
Challenge 28 (flt2dec): 12 of 12 functions verified via Kani Challenge Used to tag a challenge
#596 opened May 24, 2026 by gui-wf Loading…
2 tasks
@gui-wf
20
ProTip! Adding no:label will show everything without a label.