Skip to content

Actions: model-checking/verify-rust-std

Actions

Kani

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
903 workflow runs
903 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add contracts for SmallSort Kani #1190: Pull request #234 synchronize by ShoyuVanilla
December 28, 2024 14:22 49m 15s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 28, 2024 14:22 49m 15s
Add contracts for SmallSort Kani #1189: Pull request #234 synchronize by ShoyuVanilla
December 28, 2024 13:16 57m 22s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 28, 2024 13:16 57m 22s
Add contracts for SmallSort Kani #1188: Pull request #234 synchronize by ShoyuVanilla
December 28, 2024 12:32 5m 56s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 28, 2024 12:32 5m 56s
Add contracts for SmallSort Kani #1187: Pull request #234 synchronize by ShoyuVanilla
December 28, 2024 11:52 48m 17s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 28, 2024 11:52 48m 17s
Add contracts for SmallSort Kani #1186: Pull request #234 synchronize by ShoyuVanilla
December 28, 2024 11:45 49m 30s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 28, 2024 11:45 49m 30s
Add contracts for SmallSort Kani #1185: Pull request #234 synchronize by ShoyuVanilla
December 28, 2024 11:39 4m 51s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 28, 2024 11:39 4m 51s
Add contracts for SmallSort Kani #1184: Pull request #234 synchronize by ShoyuVanilla
December 27, 2024 18:24 48m 56s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 27, 2024 18:24 48m 56s
Add contracts for SmallSort Kani #1183: Pull request #234 synchronize by ShoyuVanilla
December 27, 2024 17:28 6h 0m 29s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 27, 2024 17:28 6h 0m 29s
Add contracts for SmallSort Kani #1182: Pull request #234 synchronize by ShoyuVanilla
December 27, 2024 17:22 5h 59m 5s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 27, 2024 17:22 5h 59m 5s
Add contracts for SmallSort Kani #1181: Pull request #234 synchronize by ShoyuVanilla
December 27, 2024 17:14 4m 29s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 27, 2024 17:14 4m 29s
Add contracts for SmallSort Kani #1180: Pull request #234 opened by ShoyuVanilla
December 27, 2024 17:07 4m 34s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 27, 2024 17:07 4m 34s
Add harnesses for safety of primitive conversions Kani #1179: Pull request #233 synchronize by ShoyuVanilla
December 23, 2024 13:05 40m 11s shoyuvanilla-verify-rust-std:challenge-14
shoyuvanilla-verify-rust-std:challenge-14
December 23, 2024 13:05 40m 11s
Add missing line separator (#232) Kani #1178: Commit 1a38674 pushed by github-merge-queue bot
December 22, 2024 03:20 37m 56s main
main
December 22, 2024 03:20 37m 56s
Kani Kani #1177: Merge group checks requested
December 22, 2024 02:32 40m 20s
December 22, 2024 02:32 40m 20s
Add missing line separator (#232) Kani #1176: Commit 1a38674 pushed by github-merge-queue bot
December 22, 2024 02:32 48m 9s gh-readonly-queue/main/pr-232-5da586f715dba2dcd175d9863bfa5d383c9b0bf1
gh-readonly-queue/main/pr-232-5da586f715dba2dcd175d9863bfa5d383c9b0bf1
December 22, 2024 02:32 48m 9s
Add harnesses for safety of primitive conversions Kani #1175: Pull request #233 synchronize by ShoyuVanilla
December 21, 2024 19:38 39m 8s shoyuvanilla-verify-rust-std:challenge-14
shoyuvanilla-verify-rust-std:challenge-14
December 21, 2024 19:38 39m 8s
Add harnesses for safety of primitive conversions Kani #1174: Pull request #233 synchronize by ShoyuVanilla
December 21, 2024 19:27 4m 39s shoyuvanilla-verify-rust-std:challenge-14
shoyuvanilla-verify-rust-std:challenge-14
December 21, 2024 19:27 4m 39s
Add harnesses for safety of primitive conversions Kani #1173: Pull request #233 synchronize by ShoyuVanilla
December 21, 2024 19:23 4m 24s shoyuvanilla-verify-rust-std:challenge-14
shoyuvanilla-verify-rust-std:challenge-14
December 21, 2024 19:23 4m 24s
Add harnesses for safety of primitive conversions Kani #1172: Pull request #233 synchronize by ShoyuVanilla
December 21, 2024 19:16 4m 27s shoyuvanilla-verify-rust-std:challenge-14
shoyuvanilla-verify-rust-std:challenge-14
December 21, 2024 19:16 4m 27s
Add harnesses for safety of primitive conversions Kani #1171: Pull request #233 opened by ShoyuVanilla
December 21, 2024 19:08 6h 0m 28s shoyuvanilla-verify-rust-std:challenge-14
shoyuvanilla-verify-rust-std:challenge-14
December 21, 2024 19:08 6h 0m 28s
Add missing line separator Kani #1170: Pull request #232 opened by zhassan-aws
December 21, 2024 06:08 40m 2s zhassan-aws:fix-args
zhassan-aws:fix-args
December 21, 2024 06:08 40m 2s
transmute_unchecked contracts and harnesses Kani #1169: Pull request #185 synchronize by AlexLB99
December 20, 2024 19:51 37m 48s AlexLB99:transmute_unchecked
AlexLB99:transmute_unchecked
December 20, 2024 19:51 37m 48s
transmute_unchecked contracts and harnesses Kani #1168: Pull request #185 synchronize by AlexLB99
December 20, 2024 17:55 42m 56s AlexLB99:transmute_unchecked
AlexLB99:transmute_unchecked
December 20, 2024 17:55 42m 56s
transmute_unchecked contracts and harnesses Kani #1167: Pull request #185 reopened by AlexLB99
December 20, 2024 17:43 39m 55s AlexLB99:transmute_unchecked
AlexLB99:transmute_unchecked
December 20, 2024 17:43 39m 55s
transmute_unchecked contracts and harnesses Kani #1166: Pull request #185 synchronize by AlexLB99
December 20, 2024 17:43 43m 22s AlexLB99:transmute_unchecked
AlexLB99:transmute_unchecked
December 20, 2024 17:43 43m 22s