Skip to content

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

New pull request New
27 Open 94 Closed
27 Open 94 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Enable harnesses that were fixed by the unreleased version of CBMC
#161 opened Nov 9, 2024 by celinval • Draft
Contracts & Harnesses for NonNull::read, NonNull::read_volatile, NonNull::read_unaligned
#156 opened Nov 8, 2024 by QinyuanWu Loading…
9
Contract and Harnesses for <*const T>::offset_from
#154 opened Nov 7, 2024 by stogaru Loading…
10
Add loop contracts and harness for ptr::swap_nonoverlapping_simple_untyped
#152 opened Nov 5, 2024 by qinheping Loading…
3
Add a new challenge to verify CStr Challenge Proposal Used to tag a challenge proposal PR / Issue
#151 opened Nov 4, 2024 by celinval Loading…
10
Contract and harness for copy_to, copy_to_nonoverlapping, copy_from, and copy_from_nonoverlapping
#149 opened Nov 2, 2024 by Dhvani-Kapadia Loading…
1
15
kani list Workflow
#146 opened Nov 1, 2024 by carolynzech Loading…
4
Contracts & Harnesses for swap, replace, and drop_in_place
#144 opened Nov 1, 2024 by danielhumanmod Loading…
1
15
Add loop contracts and harness for slice::binary_search_by
#138 opened Oct 28, 2024 by qinheping • Draft
1
Write contracts + pre/post conditions for all unsafe methods in duration
#136 opened Oct 24, 2024 by sgpthomas Loading…
1
7
Contracts & Harnesses for to_int_unchecked
#134 opened Oct 24, 2024 by Yenyun035 • Draft
9
Add loop contracts and harness for Slice::repeat
#131 opened Oct 22, 2024 by qinheping • Draft
Add loop contracts and harness for Slice::partition_dedup_by
#130 opened Oct 22, 2024 by qinheping • Draft
@qinheping
6
Add loop contracts and harness for BinaryHeap::sift_up
#129 opened Oct 22, 2024 by qinheping • Draft
5
Contracts & Harnesses for len, is_empty, is_aligned, and is_aligned_to
#128 opened Oct 22, 2024 by Jimmycreative Loading…
16
Contracts and harnesses for dangling, from_raw_parts, slice_from_raw_parts, to_raw_parts in NonNull
#127 opened Oct 22, 2024 by QinyuanWu Loading…
5
Contract and harness for as_ptr, cast, as_mut_ptr, and as_non_null_ptr
#126 opened Oct 22, 2024 by Dhvani-Kapadia Loading…
1
17
Add safety preconditions to alloc/src/collections/binary_heap/mod.rs
#120 opened Oct 17, 2024 by tautschnig • Draft
4
Add safety preconditions to alloc/src/boxed/thin.rs
#119 opened Oct 17, 2024 by tautschnig • Draft
2
Add safety preconditions to alloc/src/alloc.rs
#118 opened Oct 17, 2024 by tautschnig • Draft
9
Contracts & Harnesses for Reference Conversion APIs at std::NonNull
#116 opened Oct 16, 2024 by danielhumanmod Loading…
10
Contracts and Harnesses for <*mut T>::add, sub and offset
#113 opened Oct 12, 2024 by stogaru Loading…
4
Contract & Harnesses for byte_sub, offset, map_addr and with_addr
#107 opened Oct 8, 2024 by Dhvani-Kapadia Loading…
32
Contracts & Harnesses for add, addr, and align_offset
#105 opened Oct 5, 2024 by QinyuanWu Loading…
@celinval
49
Contracts & Harnesses for byte_add, byte_offset, and byte_offset_from
#103 opened Oct 5, 2024 by danielhumanmod Loading…
1
@celinval @zhassan-aws
22
ProTip! Mix and match filters to narrow down what you’re looking for.