Skip to content

Actions: model-checking/verify-rust-std

Actions

Build Book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
book.yml
1,488 workflow runs
1,488 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add safety preconditions to alloc/src/alloc.rs Build Book #395: Pull request #118 synchronize by tautschnig
4m 18s tautschnig:bedrock-library/alloc/src/alloc.rs
tautschnig:bedrock-library/alloc/src/alloc.rs
4m 18s
Add safety preconditions to alloc/src/alloc.rs Build Book #394: Pull request #118 synchronize by tautschnig
4m 19s tautschnig:bedrock-library/alloc/src/alloc.rs
tautschnig:bedrock-library/alloc/src/alloc.rs
4m 19s
Add safety dependency to alloc and std crates Build Book #393: Pull request #121 synchronize by tautschnig
4m 14s tautschnig:safety-dep
tautschnig:safety-dep
4m 14s
Add safety dependency to alloc and std crates Build Book #392: Pull request #121 opened by tautschnig
4m 21s tautschnig:safety-dep
tautschnig:safety-dep
4m 21s
Add safety preconditions to alloc/src/collections/binary_heap/mod.rs Build Book #391: Pull request #120 opened by tautschnig
4m 20s tautschnig:bedrock-library/alloc/src/collections/binary_heap/mod.rs
tautschnig:bedrock-library/alloc/src/collections/binary_heap/mod.rs
4m 20s
Add safety preconditions to alloc/src/boxed/thin.rs Build Book #390: Pull request #119 opened by tautschnig
4m 22s tautschnig:bedrock-library/alloc/src/boxed/thin.rs
tautschnig:bedrock-library/alloc/src/boxed/thin.rs
4m 22s
Add safety preconditions to alloc/src/alloc.rs Build Book #389: Pull request #118 opened by tautschnig
4m 14s tautschnig:bedrock-library/alloc/src/alloc.rs
tautschnig:bedrock-library/alloc/src/alloc.rs
4m 14s
Add a few intrinsics contracts Build Book #388: Pull request #37 synchronize by celinval
4m 13s celinval:verify-intrinsics
celinval:verify-intrinsics
4m 13s
Add a few intrinsics contracts Build Book #387: Pull request #37 synchronize by celinval
4m 12s celinval:verify-intrinsics
celinval:verify-intrinsics
4m 12s
Add a few intrinsics contracts Build Book #386: Pull request #37 synchronize by celinval
4m 15s celinval:verify-intrinsics
celinval:verify-intrinsics
4m 15s
Contract & Harnesses for byte_sub, offset, map_addr and with_addr Build Book #381: Pull request #107 synchronize by Dhvani-Kapadia
4m 26s danielhumanmod:dhvani_develop
danielhumanmod:dhvani_develop
4m 26s
Verify safety of to_lower and to_upper Build Book #380: Pull request #115 opened by celinval
4m 29s celinval:verify-0000-unicode
celinval:verify-0000-unicode
4m 29s
Contracts & Harnesses for wrapping_shl Build Book #379: Pull request #112 synchronize by Yenyun035
4m 20s rajathkotyal:c-0011-core-nums-yenyunw-wrapping-shl
rajathkotyal:c-0011-core-nums-yenyunw-wrapping-shl
4m 20s
Add script to automate build & running kani Build Book #377: Pull request #78 synchronize by jaisnan
4m 12s jaisnan:add-script-to-automate-build
jaisnan:add-script-to-automate-build
4m 12s
NonZero (new_unchecked) Proof for Contract (Init) Build Book #375: Pull request #109 synchronize by SahithiMV
4m 15s RustyRelic:main
RustyRelic:main
4m 15s
Contracts & Harnesses for wrapping_shl Build Book #373: Pull request #112 synchronize by Yenyun035
4m 18s rajathkotyal:c-0011-core-nums-yenyunw-wrapping-shl
rajathkotyal:c-0011-core-nums-yenyunw-wrapping-shl
4m 18s
Contracts and Harnesses for <*mut T>::add, sub and offset Build Book #372: Pull request #113 opened by stogaru
4m 32s stogaru:verify/ptr_mut
stogaru:verify/ptr_mut
4m 32s
Contracts & Harnesses for widening_mul Build Book #371: Pull request #111 synchronize by rajathkotyal
4m 39s rajathkotyal:c-0011-core-nums-rajathm-widening-mul
rajathkotyal:c-0011-core-nums-rajathm-widening-mul
4m 39s
Contracts & Harnesses for wrapping_shl Build Book #365: Pull request #112 opened by Yenyun035
4m 40s rajathkotyal:c-0011-core-nums-yenyunw-wrapping-shl
rajathkotyal:c-0011-core-nums-yenyunw-wrapping-shl
4m 40s
Contracts and Harnesses for unchecked_neg Build Book #360: Pull request #102 synchronize by Yenyun035
4m 10s rajathkotyal:c-0011-core-nums-yenyunw-unchecked-neg
rajathkotyal:c-0011-core-nums-yenyunw-unchecked-neg
4m 10s
Contracts and Harnesses for unchecked_neg Build Book #359: Pull request #102 synchronize by Yenyun035
4m 25s rajathkotyal:c-0011-core-nums-yenyunw-unchecked-neg
rajathkotyal:c-0011-core-nums-yenyunw-unchecked-neg
4m 25s
Contract & Harnesses for byte_sub, offset, map_addr and with_addr Build Book #358: Pull request #107 opened by Dhvani-Kapadia
4m 25s danielhumanmod:dhvani_develop
danielhumanmod:dhvani_develop
4m 25s
Contracts and Harnesses for unchecked_neg Build Book #357: Pull request #102 synchronize by rajathkotyal
4m 58s rajathkotyal:c-0011-core-nums-yenyunw-unchecked-neg
rajathkotyal:c-0011-core-nums-yenyunw-unchecked-neg
4m 58s
Contracts & Harnesses for unchecked_mul , unchecked_sub, unchecked_shl and unchecked_shr Build Book #355: Pull request #96 synchronize by rajathkotyal
4m 16s rajathkotyal:c-0011-core-nums-rajathm-unsafe-ints
rajathkotyal:c-0011-core-nums-rajathm-unsafe-ints
4m 16s
Fix links in the book sections related to tool application (#101) Build Book #352: Commit ca5334f pushed by feliperodri
4m 44s main
main
4m 44s
ProTip! You can narrow down the results and go further in time using created:<2024-10-07 or the other filters available.