Skip to content

Actions: model-checking/verify-rust-std

Actions

Rust Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rustc.yml
495 workflow runs
495 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Update Library Subtree 2024-11-03 Rust Tests #501: Pull request #155 opened by qinheping
November 7, 2024 15:21 5m 13s qinheping:sync-2024-11-03
qinheping:sync-2024-11-03
November 7, 2024 15:21 5m 13s
Contracts & Harnesses for to_int_unchecked Rust Tests #500: Pull request #134 synchronize by MWDZ
November 7, 2024 08:34 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 08:34 Action required
Contracts and Harnesses for <*mut T>::add, sub and offset Rust Tests #499: Pull request #113 synchronize by xsxszab
November 7, 2024 02:24 Action required stogaru:verify/ptr_mut
stogaru:verify/ptr_mut
November 7, 2024 02:24 Action required
Contract and Harnesses for <*const T>::offset_from Rust Tests #498: Pull request #154 synchronize by stogaru
November 7, 2024 02:09 8m 9s stogaru:verify/ptr_const_offset_from
stogaru:verify/ptr_const_offset_from
November 7, 2024 02:09 8m 9s
Contract and Harnesses for <*const T>::offset_from Rust Tests #497: Pull request #154 opened by stogaru
November 7, 2024 02:09 Action required stogaru:verify/ptr_const_offset_from
stogaru:verify/ptr_const_offset_from
November 7, 2024 02:09 Action required
Contracts and Harnesses for <*mut T>::add, sub and offset Rust Tests #496: Pull request #113 synchronize by xsxszab
November 7, 2024 01:33 Action required stogaru:verify/ptr_mut
stogaru:verify/ptr_mut
November 7, 2024 01:33 Action required
Add a few intrinsics contracts Rust Tests #495: Pull request #37 synchronize by celinval
November 7, 2024 00:07 6m 47s celinval:verify-intrinsics
celinval:verify-intrinsics
November 7, 2024 00:07 6m 47s
Start the verification of slice::Iter Rust Tests #494: Pull request #148 synchronize by celinval
November 5, 2024 19:23 7m 54s celinval:verify-iter
celinval:verify-iter
November 5, 2024 19:23 7m 54s
Add loop contracts and harness for ptr::swap_nonoverlapping_simple_untyped Rust Tests #493: Pull request #152 opened by qinheping
November 5, 2024 03:50 4m 48s qinheping:swap_nonoverlapping_simple_untyped
qinheping:swap_nonoverlapping_simple_untyped
November 5, 2024 03:50 4m 48s
Start the verification of slice::Iter Rust Tests #492: Pull request #148 synchronize by celinval
November 5, 2024 02:11 4m 58s celinval:verify-iter
celinval:verify-iter
November 5, 2024 02:11 4m 58s
Add a new challenge to verify CStr Rust Tests #491: Pull request #151 synchronize by celinval
November 5, 2024 00:45 6m 48s celinval:challenge-cstr
celinval:challenge-cstr
November 5, 2024 00:45 6m 48s
Contracts & Harnesses for byte_add, byte_offset, and byte_offset_from Rust Tests #490: Pull request #103 synchronize by danielhumanmod
November 5, 2024 00:44 Action required danielhumanmod:daniel/byte_operation
danielhumanmod:daniel/byte_operation
November 5, 2024 00:44 Action required
Contracts & Harnesses for byte_add, byte_offset, and byte_offset_from Rust Tests #489: Pull request #103 synchronize by danielhumanmod
November 5, 2024 00:43 Action required danielhumanmod:daniel/byte_operation
danielhumanmod:daniel/byte_operation
November 5, 2024 00:43 Action required
Add a few intrinsics contracts Rust Tests #488: Pull request #37 synchronize by celinval
November 5, 2024 00:26 7m 15s celinval:verify-intrinsics
celinval:verify-intrinsics
November 5, 2024 00:26 7m 15s
Add a new challenge to verify CStr Rust Tests #487: Pull request #151 reopened by celinval
November 4, 2024 22:01 8m 0s celinval:challenge-cstr
celinval:challenge-cstr
November 4, 2024 22:01 8m 0s
Add a new challenge to verify CStr Rust Tests #486: Pull request #151 synchronize by celinval
November 4, 2024 22:01 7m 57s celinval:challenge-cstr
celinval:challenge-cstr
November 4, 2024 22:01 7m 57s
Add a new challenge to verify CStr Rust Tests #485: Pull request #151 opened by celinval
November 4, 2024 20:12 6m 41s celinval:challenge-cstr
celinval:challenge-cstr
November 4, 2024 20:12 6m 41s
Start the verification of slice::Iter Rust Tests #484: Pull request #148 synchronize by celinval
November 4, 2024 19:27 6m 56s celinval:verify-iter
celinval:verify-iter
November 4, 2024 19:27 6m 56s
Start the verification of slice::Iter Rust Tests #483: Pull request #148 synchronize by celinval
November 4, 2024 18:03 8m 25s celinval:verify-iter
celinval:verify-iter
November 4, 2024 18:03 8m 25s
NonZero (new_unchecked) Proof for Contract (Init) Rust Tests #482: Pull request #109 synchronize by aa-luna
November 3, 2024 16:52 6m 52s RustyRelic:main
RustyRelic:main
November 3, 2024 16:52 6m 52s
Start the verification of slice::Iter Rust Tests #481: Pull request #148 synchronize by celinval
November 3, 2024 01:21 6m 59s celinval:verify-iter
celinval:verify-iter
November 3, 2024 01:21 6m 59s
Start the verification of slice::Iter Rust Tests #480: Pull request #148 synchronize by celinval
November 3, 2024 00:20 5m 1s celinval:verify-iter
celinval:verify-iter
November 3, 2024 00:20 5m 1s
Contract and harness for copy_to, copy_to_nonoverlapping, copy_from, and copy_from_nonoverlapping Rust Tests #479: Pull request #149 opened by Dhvani-Kapadia
November 2, 2024 19:32 5m 15s danielhumanmod:dhvani_mem
danielhumanmod:dhvani_mem
November 2, 2024 19:32 5m 15s