Skip to content

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

New pull request New
34 Open 461 Closed
34 Open 461 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 26: verify Rc/Weak safety in alloc::rc with Kani Challenge Used to tag a challenge
#582 opened Apr 2, 2026 by v3risec Loading…
1
2
Challenge 7: Verify safety of Atomic from_ptr methods Challenge Used to tag a challenge
#578 opened Mar 28, 2026 by Samuelsills Loading…
1
@Samuelsills
7
Challenge 4: Verify memory safety of BTreeMap node module Challenge Used to tag a challenge
#577 opened Mar 28, 2026 by Samuelsills Loading…
1
@Samuelsills
5
Challenge 8: Verify safety and sorting correctness of SmallSort Challenge Used to tag a challenge
#576 opened Mar 28, 2026 by Samuelsills Loading…
1
@Samuelsills
4
Challenge 27: Verify safety of Arc functions Challenge Used to tag a challenge
#575 opened Mar 27, 2026 by Samuelsills Loading…
1
@Samuelsills
6
Challenge 26: Verify safety of Rc functions Challenge Used to tag a challenge
#574 opened Mar 27, 2026 by Samuelsills Loading…
1
@Samuelsills
9
Challenge 29: Verify safety of Box functions Challenge Used to tag a challenge
#573 opened Mar 26, 2026 by Samuelsills Loading…
1
@Samuelsills
5
Challenge 22: Verify safety of str iter functions Challenge Used to tag a challenge
#572 opened Mar 26, 2026 by Samuelsills Loading…
1
@Samuelsills
7
Challenge 10: Verify memory safety of String functions Challenge Used to tag a challenge
#571 opened Mar 26, 2026 by Samuelsills Loading…
1
@Samuelsills
4
Challenge 24: Verify safety of Vec IntoIter functions Challenge Used to tag a challenge
#570 opened Mar 26, 2026 by Samuelsills Loading…
1
@Samuelsills
7
Challenge 23: Verify safety of Vec functions part 1 Challenge Used to tag a challenge
#569 opened Mar 26, 2026 by Samuelsills Loading…
1
@Samuelsills
4
Challenge 18: Verify safety of Slice iterator functions Challenge Used to tag a challenge
#568 opened Mar 26, 2026 by Samuelsills Loading…
1
@Samuelsills
6
Challenge 17: Verify safety of Slice functions Challenge Used to tag a challenge
#567 opened Mar 26, 2026 by Samuelsills Loading…
1
@Samuelsills
5
Challenge 13: Verify safety of CStr Challenge Used to tag a challenge
#566 opened Mar 24, 2026 by Samuelsills Loading…
1
@Samuelsills
5
Challenge 12: Verify safety of NonZero Challenge Used to tag a challenge
#565 opened Mar 24, 2026 by Samuelsills Loading…
1
@Samuelsills
12
Challenge 25: Verify safety of VecDeque Challenge Used to tag a challenge
#564 opened Mar 24, 2026 by Samuelsills Loading…
1
@Samuelsills
8
Verify safety of Vec IntoIter functions with VeriFast (Challenge 24) Challenge Used to tag a challenge
#562 opened Mar 15, 2026 by jrey8343 • Draft
3 tasks
@jrey8343
2
Verify safety of Vec functions with VeriFast (Challenge 23) Challenge Used to tag a challenge
#561 opened Mar 15, 2026 by jrey8343 • Draft
3 tasks
@jrey8343
2
Verify safety of slice iterator functions with Kani (Challenge 18) Challenge Used to tag a challenge
#560 opened Mar 15, 2026 by jrey8343 • Draft
3 tasks
@jrey8343
Verify safety of slice functions with VeriFast + Kani (Challenge 17) Challenge Used to tag a challenge
#559 opened Mar 15, 2026 by jrey8343 • Draft
3 tasks
@jrey8343
Verify memory safety of String functions (Challenge 10) Challenge Used to tag a challenge
#558 opened Mar 15, 2026 by jrey8343 Loading…
1
@jrey8343
4
Verify safety of str iter functions (Challenge 22) Challenge Used to tag a challenge
#557 opened Mar 15, 2026 by jrey8343 Loading…
1
@jrey8343
11
Verify safety of iterator adapter functions (Challenge 16) Challenge Used to tag a challenge
#549 opened Feb 19, 2026 by kasimte Loading…
2 tasks done
1
@kasimte
7
Verify safety of NonZero operations (Challenge 12) Challenge Used to tag a challenge
#544 opened Feb 8, 2026 by jrey8343 Loading…
1
@jrey8343
3
Verify CStr CloneToUninit and Index<RangeFrom> safety (Challenge 13) Challenge Used to tag a challenge
#543 opened Feb 8, 2026 by jrey8343 Loading…
2 of 3 tasks
@jrey8343
6
ProTip! Filter pull requests by the default branch with base:main.