Skip to content

Actions: model-checking/verify-rust-std

Actions

Kani

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve u16::carrying_mul harness performance Kani #1153: Pull request #230 opened by carolynzech
2h 36m 2s carrying-mul-harness-perf
carrying-mul-harness-perf
2h 36m 2s
Parallelize & Partition Verification Kani #1152: Pull request #229 synchronize by carolynzech
58m 40s parallel-verification
parallel-verification
58m 40s
Kani Kani #1151: Merge group checks requested
3h 22m 18s
3h 22m 18s
add challenge for safety of primitive conversions Kani #1150: Pull request #217 synchronize by cvick32
3h 1m 18s sgpthomas:new_challenge_convert_num
sgpthomas:new_challenge_convert_num
3h 1m 18s
add challenge for safety of primitive conversions Kani #1149: Pull request #217 synchronize by cvick32
3h 9m 55s sgpthomas:new_challenge_convert_num
sgpthomas:new_challenge_convert_num
3h 9m 55s
add challenge for safety of primitive conversions Kani #1148: Pull request #217 synchronize by cvick32
3h 11m 12s sgpthomas:new_challenge_convert_num
sgpthomas:new_challenge_convert_num
3h 11m 12s
add challenge for safety of primitive conversions Kani #1147: Pull request #217 synchronize by cvick32
3h 8m 1s sgpthomas:new_challenge_convert_num
sgpthomas:new_challenge_convert_num
3h 8m 1s
Parallelize & Partition Verification Kani #1146: Pull request #229 opened by carolynzech
1h 25m 59s parallel-verification
parallel-verification
1h 25m 59s
group harnesses by file Kani #1145: Commit 7b24f19 pushed by carolynzech
9m 43s parallel-verification
parallel-verification
9m 43s
Kani Kani #1144: Merge group checks requested
3h 14m 46s
3h 14m 46s
Remove non-endorsement note Kani #1143: Pull request #227 synchronize by tautschnig
3h 6m 58s tautschnig:foundation
tautschnig:foundation
3h 6m 58s
add challenge for safety of primitive conversions Kani #1142: Pull request #217 synchronize by cvick32
3h 10m 15s sgpthomas:new_challenge_convert_num
sgpthomas:new_challenge_convert_num
3h 10m 15s
Add safety preconditions to alloc/src/collections/binary_heap/mod.rs Kani #1141: Pull request #120 synchronize by tautschnig
3h 11m 27s tautschnig:bedrock-library/alloc/src/collections/binary_heap/mod.rs
tautschnig:bedrock-library/alloc/src/collections/binary_heap/mod.rs
3h 11m 27s
Add safety preconditions to alloc/src/boxed/thin.rs Kani #1140: Pull request #119 synchronize by tautschnig
2h 55m 54s tautschnig:bedrock-library/alloc/src/boxed/thin.rs
tautschnig:bedrock-library/alloc/src/boxed/thin.rs
2h 55m 54s
Add safety preconditions to alloc/src/alloc.rs Kani #1139: Pull request #118 synchronize by tautschnig
3h 3m 36s tautschnig:bedrock-library/alloc/src/alloc.rs
tautschnig:bedrock-library/alloc/src/alloc.rs
3h 3m 36s
Kani Kani #1138: Merge group checks requested
3h 6m 7s
3h 6m 7s
Fix intrinsics challenge typo in summary Kani #1137: Pull request #228 opened by kahlstrm
3h 1m 56s kahlstrm:main
kahlstrm:main
3h 1m 56s
Run format check in our CI and fix repo format Kani #1136: Pull request #205 synchronize by carolynzech
3h 11m 58s celinval:chores-tidy
celinval:chores-tidy
3h 11m 58s
Run format check in our CI and fix repo format Kani #1135: Pull request #205 synchronize by carolynzech
3h 1m 31s celinval:chores-tidy
celinval:chores-tidy
3h 1m 31s
Run format check in our CI and fix repo format Kani #1134: Pull request #205 synchronize by carolynzech
3h 2m 55s celinval:chores-tidy
celinval:chores-tidy
3h 2m 55s
Kani Kani #1133: Merge group checks requested
3h 10m 3s
3h 10m 3s
Proofs for Vec::swap_remove, Option::as_slice, and `VecDeque::swa… Kani #1132: Commit 955577c pushed by github-merge-queue bot
3h 4m 57s main
main
3h 4m 57s
Add review guidelines Kani #1131: Pull request #226 synchronize by tautschnig
3h 0m 4s tautschnig:review-guidelines
tautschnig:review-guidelines
3h 0m 4s
Add review guidelines Kani #1130: Pull request #226 synchronize by tautschnig
2h 58m 41s tautschnig:review-guidelines
tautschnig:review-guidelines
2h 58m 41s
Contract and harness for copy_to, copy_to_nonoverlapping, copy_from, … Kani #1129: Commit ea7a95f pushed by github-merge-queue bot
3h 4m 54s main
main
3h 4m 54s
ProTip! You can narrow down the results and go further in time using created:<2024-12-12 or the other filters available.