Skip to content

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

New pull request New
64 Open 522 Closed
64 Open 522 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 4: Verify memory safety of BTreeMap node module with Kani Challenge Used to tag a challenge
#684 opened Sep 10, 2026 by v3risec Loading…
1
Challenge 7: Verify safety of Atomic types and Atomic Intrinsics with Kani Challenge Used to tag a challenge
#683 opened Sep 8, 2026 by v3risec Loading…
1
Add AsciiExt is_ascii to autoharness CI Maintenance Maintenance related issues for the challange
#682 opened Sep 8, 2026 by acearyanarun Loading…
1
Challenge 25: Verify the safety of VecDeque (unbounded, symbolic ring layouts, contracts on all 13 unsafe fns) Challenge Used to tag a challenge
#681 opened Sep 8, 2026 by jrey8343 Loading…
1
Update autoharness_analyzer for current AutoHarnessSkipReason variants Maintenance Maintenance related issues for the challange
#680 opened Sep 7, 2026 by srivatsansamraj Loading…
1
2
Challenge 8 (partial): no-UB proofs and sorting-correctness harnesses for smallsort Challenge Used to tag a challenge
#678 opened Sep 7, 2026 by samiam713 Loading…
Forward Kani arguments to AutoHarness list commands Maintenance Maintenance related issues for the challange
#674 opened Sep 4, 2026 by wodex1nhaoIeng Loading…
2
Add Kani proof harnesses and contracts for unchecked_div_exact Maintenance Maintenance related issues for the challange
#672 opened Sep 3, 2026 by CYJ904 • Draft
3
Challenge 13: contracts and proofs for CStr trait implementations and safe methods Challenge Used to tag a challenge
#670 opened Sep 2, 2026 by kasimte Loading…
1
Challenge 29: Verify the safety of Box and ThinBox in alloc::boxed Challenge Used to tag a challenge
#669 opened Sep 2, 2026 by kasimte Loading…
Challenge 2: Verify safety of raw-pointer intrinsics with Kani Challenge Used to tag a challenge
#668 opened Sep 1, 2026 by v3risec Loading…
1
1
Challenge 4: bounded Kani PROBEs on btree::node's copy, relink and rebalancing helpers Challenge Used to tag a challenge
#666 opened Aug 30, 2026 by ivmat Loading…
Challenge 21 (partial): bounded Kani PROBE of shipped TwoWaySearcher::next_back short-period arms Challenge Used to tag a challenge
#664 opened Aug 29, 2026 by ivmat Loading…
Add proof harnesses for unchecked_disjoint_bitor on unsigned integer … Maintenance Maintenance related issues for the challange
#662 opened Aug 27, 2026 by Tianshu-Huang • Draft
3
Challenge 26: Verify the safety of Rc and Weak in alloc::rc Challenge Used to tag a challenge
#661 opened Aug 27, 2026 by kasimte Loading…
Strengthen Duration::from_secs contract to exclude fractional seconds Challenge Used to tag a challenge
#658 opened Aug 27, 2026 by Adkid-Zephyr Loading…
1
Challenge 17: Verify slice safety with Kani Challenge Used to tag a challenge
#657 opened Aug 27, 2026 by v3risec Loading…
1
Add Kani harnesses for Challenge 18: slice iter functions Challenge Used to tag a challenge
#651 opened Aug 21, 2026 by MavenRain Loading…
1
Challenge 2: memory safety of raw-pointer intrinsics Challenge Used to tag a challenge
#649 opened Aug 20, 2026 by stefanzetzsche 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…
1
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
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 • Queued
4
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 • Queued
3
Challenge 21: Verify safety of StrSearcher with Kani Challenge Used to tag a challenge
#621 opened Aug 3, 2026 by v3risec Loading…
1
@v3risec
6
ProTip! Updated in the last three days: updated:>2026-09-09.