Skip to content

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

New pull request New
58 Open 476 Closed
58 Open 476 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

Use addr_eq in NonNull contracts to support wide pointers
#626 opened Aug 3, 2026 by tautschnig Member Loading…
2
Allow zero-sized offsets on dangling pointers in ptr contracts
#625 opened Aug 3, 2026 by tautschnig Member Loading…
2
Replace byte-inspection NonZero contracts with niche test and raw_eq
#624 opened Aug 3, 2026 by tautschnig Member Loading…
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…
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…
1
Challenge 21: Verify safety of StrSearcher with Kani
#621 opened Aug 3, 2026 by v3risec • Draft
1
Challenge 20: Verify Char Searcher with Kani
#620 opened Aug 2, 2026 by v3risec • Draft
1
Challenge 2 (partial): safety contracts + verification for 15 of 20 raw-pointer core::intrinsics
#618 opened Jul 30, 2026 by ivmat Loading…
Update Kani Metrics
#616 opened Jul 26, 2026 by github-actions Bot Loading…
Update subtree/library to 2026-02-06
#615 opened Jul 24, 2026 by github-actions Bot Loading…
Merge subtree update for toolchain nightly-2026-02-05
#613 opened Jul 19, 2026 by github-actions Bot Loading…
6
Attribute cfg(kani) harnesses to their crate in log_parser
#609 opened Jul 16, 2026 by MavenRain Loading…
1
Challenge 28: Verify flt2dec safety with Kani
#606 opened Jul 2, 2026 by v3risec Loading…
1
Challenge 25: Verify Vecdeque safety with Kani
#605 opened Jun 29, 2026 by v3risec Loading…
1
Verify the safety of slice functions (challenge #17)
#603 opened Jun 17, 2026 by MavenRain Loading…
1
Verify iter adapter unsafe methods + safe abstractions (challenge #16)
#602 opened Jun 17, 2026 by MavenRain Loading…
1
Verify core::num::flt2dec memory safety (challenge #28)
#601 opened Jun 15, 2026 by MavenRain Loading…
2
Add Kani contracts and harnesses for NonZero (Challenge 12)
#600 opened Jun 12, 2026 by kasimte Loading…
1
Challenge 24: Verify Vec Part2 safety with Kani
#599 opened Jun 11, 2026 by v3risec Loading…
1
Challenge 23: Verify Vec Part1 safety with Kani
#598 opened Jun 7, 2026 by v3risec Loading…
1
Challenge 28 (flt2dec): 12 of 12 functions verified via Kani
#596 opened May 24, 2026 by gui-wf Loading…
2 tasks
17
New Challenge: Enrich MIR Consts Challenge Proposal Used to tag a challenge proposal PR / Issue
#595 opened Apr 29, 2026 by dkcumming Loading…
@dkcumming
5
New challenge: Progress Public MIR Challenge Proposal Used to tag a challenge proposal PR / Issue
#592 opened Apr 24, 2026 by dkcumming Loading…
@dkcumming
9
Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani Challenge Used to tag a challenge
#589 opened Apr 23, 2026 by v3risec Loading…
1
@v3risec
7
Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani Challenge Used to tag a challenge
#587 opened Apr 21, 2026 by v3risec Loading…
1
3
ProTip! Add no:assignee to see everything that’s not assigned.