forked from rust-lang/rust
-
Notifications
You must be signed in to change notification settings - Fork 81
Pull requests: model-checking/verify-rust-std
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Merge subtree update for toolchain nightly-2026-08-21
#687
opened Sep 13, 2026 by
github-actions
Bot
Loading…
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…
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…
Add AsciiExt is_ascii to autoharness CI
Maintenance
Maintenance related issues for the challange
#682
opened Sep 8, 2026 by
acearyanarun
Loading…
Challenge 25: Verify the safety of VecDeque (unbounded, symbolic ring layouts, contracts on all 13 unsafe fns)
Accepted Solution
Tag used to mark the solution accepted for a given challenge
Challenge
Used to tag a challenge
#681
opened Sep 8, 2026 by
jrey8343
Loading…
Update autoharness_analyzer for current AutoHarnessSkipReason variants
Maintenance
Maintenance related issues for the challange
#680
opened Sep 7, 2026 by
srivatsansamraj
Loading…
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…
Add Kani proof harnesses and contracts for Maintenance related issues for the challange
unchecked_div_exact
Maintenance
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…
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…
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
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…
Challenge 17: Verify slice safety with Kani
Challenge
Used to tag a challenge
#657
opened Aug 27, 2026 by
v3risec
Loading…
Add Kani harnesses for Challenge 18: slice iter functions
Challenge
Used to tag a challenge
#651
opened Aug 21, 2026 by
MavenRain
Loading…
Challenge 2: memory safety of raw-pointer intrinsics
Accepted Solution
Tag used to mark the solution accepted for a given challenge
Challenge
Used to tag a challenge
#649
opened Aug 20, 2026 by
stefanzetzsche
Loading…
Challenge 29: Kani contracts for Box, convert, and ThinBox
Challenge
Used to tag a challenge
#639
opened Aug 20, 2026 by
sankalpsthakur
Loading…
Challenge 13: safety of CStr
Accepted Solution
Tag used to mark the solution accepted for a given challenge
Challenge
Used to tag a challenge
#638
opened Aug 20, 2026 by
stefanzetzsche
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…
Previous Next
ProTip!
Exclude everything labeled
bug with -label:bug.