Skip to content

Actions: model-checking/verify-rust-std

Actions

Kani

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
1,676 workflow runs
1,676 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Contracts & Harnesses for wrapping_shl Kani #342: Pull request #112 synchronize by Yenyun035
19m 48s rajathkotyal:c-0011-core-nums-yenyunw-wrapping-shl
rajathkotyal:c-0011-core-nums-yenyunw-wrapping-shl
19m 48s
Contracts and Harnesses for <*mut T>::add, sub and offset Kani #341: Pull request #113 opened by stogaru
29m 48s stogaru:verify/ptr_mut
stogaru:verify/ptr_mut
29m 48s
Contracts & Harnesses for widening_mul Kani #340: Pull request #111 synchronize by rajathkotyal
20m 14s rajathkotyal:c-0011-core-nums-rajathm-widening-mul
rajathkotyal:c-0011-core-nums-rajathm-widening-mul
20m 14s
Contracts & Harnesses for wrapping_shl Kani #334: Pull request #112 opened by Yenyun035
19m 29s rajathkotyal:c-0011-core-nums-yenyunw-wrapping-shl
rajathkotyal:c-0011-core-nums-yenyunw-wrapping-shl
19m 29s
Contracts and Harnesses for unchecked_neg (#102) Kani #329: Commit 32e0cf9 pushed by zhassan-aws
24m 24s main
main
24m 24s
Contracts and Harnesses for unchecked_neg Kani #328: Pull request #102 synchronize by Yenyun035
21m 33s rajathkotyal:c-0011-core-nums-yenyunw-unchecked-neg
rajathkotyal:c-0011-core-nums-yenyunw-unchecked-neg
21m 33s
Contracts and Harnesses for unchecked_neg Kani #327: Pull request #102 synchronize by Yenyun035
21m 18s rajathkotyal:c-0011-core-nums-yenyunw-unchecked-neg
rajathkotyal:c-0011-core-nums-yenyunw-unchecked-neg
21m 18s
Contract & Harnesses for byte_sub, offset, map_addr and with_addr Kani #326: Pull request #107 opened by Dhvani-Kapadia
22m 27s danielhumanmod:dhvani_develop
danielhumanmod:dhvani_develop
22m 27s
Contracts and Harnesses for unchecked_neg Kani #325: Pull request #102 synchronize by rajathkotyal
23m 48s rajathkotyal:c-0011-core-nums-yenyunw-unchecked-neg
rajathkotyal:c-0011-core-nums-yenyunw-unchecked-neg
23m 48s
Contracts & Harnesses for unchecked_mul , unchecked_sub, `uncheck… Kani #323: Commit 0de4670 pushed by carolynzech
27m 29s main
main
27m 29s
Contracts & Harnesses for unchecked_mul , unchecked_sub, unchecked_shl and unchecked_shr Kani #322: Pull request #96 synchronize by rajathkotyal
22m 46s rajathkotyal:c-0011-core-nums-rajathm-unsafe-ints
rajathkotyal:c-0011-core-nums-rajathm-unsafe-ints
22m 46s
Contracts & Harnesses for unchecked_mul , unchecked_sub, unchecked_shl and unchecked_shr Kani #319: Pull request #96 synchronize by lanfeima
18s rajathkotyal:c-0011-core-nums-rajathm-unsafe-ints
rajathkotyal:c-0011-core-nums-rajathm-unsafe-ints
18s
Contracts & Harnesses for add, addr, and align_offset Kani #318: Pull request #105 opened by QinyuanWu
15m 8s danielhumanmod:dev-olivia
danielhumanmod:dev-olivia
15m 8s
Fix links in the book sections related to tool application Kani #317: Pull request #101 synchronize by feliperodri
14m 30s feliperodri:update-tool-application
feliperodri:update-tool-application
14m 30s
Fix links in the book sections related to tool application Kani #316: Pull request #101 synchronize by feliperodri
15m 27s feliperodri:update-tool-application
feliperodri:update-tool-application
15m 27s
Fix links in the book sections related to tool application Kani #315: Pull request #101 synchronize by feliperodri
17m 17s feliperodri:update-tool-application
feliperodri:update-tool-application
17m 17s
Contracts & Harnesses for non_null::sub and non_null::sub_ptr and non_null::offset_from Kani #314: Pull request #93 synchronize by Jimmycreative
24m 19s danielhumanmod:jimmy_develop
danielhumanmod:jimmy_develop
24m 19s
Fix links in the book sections related to tool application Kani #310: Pull request #101 synchronize by feliperodri
17m 38s feliperodri:update-tool-application
feliperodri:update-tool-application
17m 38s
Contracts & Harnesses for byte_add, byte_offset, and byte_offset_from Kani #307: Pull request #103 opened by danielhumanmod
3m 45s danielhumanmod:daniel/byte_operation
danielhumanmod:daniel/byte_operation
3m 45s
Contracts & Harnesses for unchecked_add (#91) Kani #303: Commit 1bf01fd pushed by feliperodri
14m 44s main
main
14m 44s
Fix links in the book sections related to tool application Kani #302: Pull request #101 opened by feliperodri
18m 55s feliperodri:update-tool-application
feliperodri:update-tool-application
18m 55s
Contracts & Harnesses for unchecked_add Kani #301: Pull request #91 synchronize by Yenyun035
16m 12s rajathkotyal:c-0011-core-nums-yenyunw-unsafe-ints
rajathkotyal:c-0011-core-nums-yenyunw-unsafe-ints
16m 12s
Contracts & Harnesses for unchecked_mul , unchecked_sub, unchecked_shl and unchecked_shr Kani #300: Pull request #96 synchronize by MWDZ
19m 35s rajathkotyal:c-0011-core-nums-rajathm-unsafe-ints
rajathkotyal:c-0011-core-nums-rajathm-unsafe-ints
19m 35s
Verifying methods of <*const T> Kani #299: Pull request #92 synchronize by szlee118
19m 54s stogaru:verify/ptr_const_offset
stogaru:verify/ptr_const_offset
19m 54s
Add harnesses for all public functions of Layout (#43) Kani #294: Commit 024d84b pushed by carolynzech
15m 55s main
main
15m 55s
ProTip! You can narrow down the results and go further in time using created:<2024-10-02 or the other filters available.