Skip to content

Actions: model-checking/verify-rust-std

Actions

Rust Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rustc.yml
493 workflow runs
493 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add loop contracts and harness for slice::binary_search_by Rust Tests #526: Pull request #138 synchronize by qinheping
November 8, 2024 06:58 5m 18s qinheping:binary_search_by
qinheping:binary_search_by
November 8, 2024 06:58 5m 18s
Add loop contracts and harness for slice::binary_search_by Rust Tests #525: Pull request #138 synchronize by qinheping
November 8, 2024 06:44 3m 42s qinheping:binary_search_by
qinheping:binary_search_by
November 8, 2024 06:44 3m 42s
Add loop contracts and harness for Slice::partition_dedup_by Rust Tests #524: Pull request #130 synchronize by qinheping
November 8, 2024 06:44 4m 50s qinheping:partition_dedup_by
qinheping:partition_dedup_by
November 8, 2024 06:44 4m 50s
Add loop contracts and harness for small_slice_eq Rust Tests #523: Pull request #122 synchronize by qinheping
November 8, 2024 06:42 6m 31s qinheping:loop-contracts/small_slice_eq
qinheping:loop-contracts/small_slice_eq
November 8, 2024 06:42 6m 31s
Contract and Harnesses for <*const T>::offset_from Rust Tests #522: Pull request #154 synchronize by stogaru
November 8, 2024 05:43 Action required stogaru:verify/ptr_const_offset_from
stogaru:verify/ptr_const_offset_from
November 8, 2024 05:43 Action required
Contracts & Harnesses for to_int_unchecked Rust Tests #521: Pull request #134 synchronize by Yenyun035
November 8, 2024 05:32 Action required rajathkotyal:c-0011-core-nums-yenyunw-f32-to-int-unchecked
rajathkotyal:c-0011-core-nums-yenyunw-f32-to-int-unchecked
November 8, 2024 05:32 Action required
Add loop contracts and harness for small_slice_eq Rust Tests #520: Pull request #122 synchronize by qinheping
November 8, 2024 05:22 8m 15s qinheping:loop-contracts/small_slice_eq
qinheping:loop-contracts/small_slice_eq
November 8, 2024 05:22 8m 15s
Contracts & Harnesses for byte_add, byte_offset, and byte_offset_from Rust Tests #519: Pull request #103 synchronize by danielhumanmod
November 8, 2024 04:33 Action required danielhumanmod:daniel/byte_operation
danielhumanmod:daniel/byte_operation
November 8, 2024 04:33 Action required
Add loop contracts and harness for small_slice_eq Rust Tests #518: Pull request #122 synchronize by qinheping
November 8, 2024 03:00 7m 18s qinheping:loop-contracts/small_slice_eq
qinheping:loop-contracts/small_slice_eq
November 8, 2024 03:00 7m 18s
Add loop contracts and harness for small_slice_eq Rust Tests #517: Pull request #122 synchronize by qinheping
November 8, 2024 01:50 4m 58s qinheping:loop-contracts/small_slice_eq
qinheping:loop-contracts/small_slice_eq
November 8, 2024 01:50 4m 58s
Contracts & Harnesses for NonNull::read, NonNull::read_volatile, NonNull::read_unaligned Rust Tests #516: Pull request #156 opened by QinyuanWu
November 8, 2024 00:42 Action required danielhumanmod:olivia/memory_operations
danielhumanmod:olivia/memory_operations
November 8, 2024 00:42 Action required
Contracts and harnesses for dangling, from_raw_parts, slice_from_raw_parts, to_raw_parts in NonNull Rust Tests #515: Pull request #127 synchronize by QinyuanWu
November 7, 2024 23:58 Action required danielhumanmod:olivia/pointer_creation_and_init
danielhumanmod:olivia/pointer_creation_and_init
November 7, 2024 23:58 Action required
Contracts & Harnesses for add, addr, and align_offset Rust Tests #514: Pull request #105 synchronize by QinyuanWu
November 7, 2024 23:54 Action required danielhumanmod:dev-olivia
danielhumanmod:dev-olivia
November 7, 2024 23:54 Action required
Write contracts + pre/post conditions for all unsafe methods in duration Rust Tests #513: Pull request #136 synchronize by cvick32
November 7, 2024 22:45 Action required sgpthomas:verify_duration_challenge9
sgpthomas:verify_duration_challenge9
November 7, 2024 22:45 Action required
Contracts and Harnesses for <*mut T>::add, sub and offset Rust Tests #512: Pull request #113 synchronize by stogaru
November 7, 2024 22:38 Action required stogaru:verify/ptr_mut
stogaru:verify/ptr_mut
November 7, 2024 22:38 Action required
Contract and Harnesses for <*const T>::offset_from Rust Tests #511: Pull request #154 synchronize by stogaru
November 7, 2024 22:37 Action required stogaru:verify/ptr_const_offset_from
stogaru:verify/ptr_const_offset_from
November 7, 2024 22:37 Action required
Start the verification of slice::Iter (#148) Rust Tests #510: Commit 25ad12b pushed by celinval
November 7, 2024 22:04 6m 30s main
main
November 7, 2024 22:04 6m 30s
Write contracts + pre/post conditions for all unsafe methods in duration Rust Tests #509: Pull request #136 synchronize by sgpthomas
November 7, 2024 22:03 Action required sgpthomas:verify_duration_challenge9
sgpthomas:verify_duration_challenge9
November 7, 2024 22:03 Action required
Add loop contracts and harness for small_slice_eq Rust Tests #508: Pull request #122 synchronize by qinheping
November 7, 2024 21:12 3m 38s qinheping:loop-contracts/small_slice_eq
qinheping:loop-contracts/small_slice_eq
November 7, 2024 21:12 3m 38s
Add loop contracts and harness for small_slice_eq Rust Tests #507: Pull request #122 synchronize by qinheping
November 7, 2024 20:25 4m 51s qinheping:loop-contracts/small_slice_eq
qinheping:loop-contracts/small_slice_eq
November 7, 2024 20:25 4m 51s
Contracts and harnesses for dangling, from_raw_parts, slice_from_raw_parts, to_raw_parts in NonNull Rust Tests #506: Pull request #127 synchronize by QinyuanWu
November 7, 2024 19:51 Action required danielhumanmod:olivia/pointer_creation_and_init
danielhumanmod:olivia/pointer_creation_and_init
November 7, 2024 19:51 Action required
Contracts & Harnesses for to_int_unchecked Rust Tests #505: Pull request #134 synchronize by Yenyun035
November 7, 2024 19:21 Action required rajathkotyal:c-0011-core-nums-yenyunw-f32-to-int-unchecked
rajathkotyal:c-0011-core-nums-yenyunw-f32-to-int-unchecked
November 7, 2024 19:21 Action required
Start the verification of slice::Iter Rust Tests #504: Pull request #148 synchronize by celinval
November 7, 2024 18:51 8m 40s celinval:verify-iter
celinval:verify-iter
November 7, 2024 18:51 8m 40s
Update toolchain and kani version config Rust Tests #503: Commit c738450 pushed by qinheping
November 7, 2024 18:43 8m 26s main
main
November 7, 2024 18:43 8m 26s
Update Library Subtree 2024-11-03 Rust Tests #502: Pull request #155 synchronize by qinheping
November 7, 2024 16:03 13m 4s qinheping:sync-2024-11-03
qinheping:sync-2024-11-03
November 7, 2024 16:03 13m 4s