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 #1215: Pull request #234 synchronize by ShoyuVanilla
December 29, 2024 16:45 6m 19s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 29, 2024 16:45 6m 19s
Add contracts for SmallSort Kani #1214: Pull request #234 synchronize by ShoyuVanilla
December 29, 2024 16:40 4m 35s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 29, 2024 16:40 4m 35s
Add contracts for SmallSort Kani #1213: Pull request #234 synchronize by ShoyuVanilla
December 29, 2024 16:34 4m 29s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 29, 2024 16:34 4m 29s
Add contracts for SmallSort Kani #1212: Pull request #234 synchronize by ShoyuVanilla
December 29, 2024 16:30 4m 17s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 29, 2024 16:30 4m 17s
Add contracts for SmallSort Kani #1211: Pull request #234 synchronize by ShoyuVanilla
December 29, 2024 16:18 7m 27s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 29, 2024 16:18 7m 27s
Add contracts for SmallSort Kani #1210: Pull request #234 synchronize by ShoyuVanilla
December 29, 2024 16:08 7m 50s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 29, 2024 16:08 7m 50s
Add contracts for SmallSort Kani #1209: Pull request #234 synchronize by ShoyuVanilla
December 29, 2024 16:03 4m 29s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 29, 2024 16:03 4m 29s
Add contracts for SmallSort Kani #1208: Pull request #234 synchronize by ShoyuVanilla
December 29, 2024 15:52 4m 58s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 29, 2024 15:52 4m 58s
Add contracts for SmallSort Kani #1207: Pull request #234 synchronize by ShoyuVanilla
December 29, 2024 15:52 4m 42s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 29, 2024 15:52 4m 42s
Add contracts for SmallSort Kani #1206: Pull request #234 synchronize by ShoyuVanilla
December 29, 2024 15:44 4m 41s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 29, 2024 15:44 4m 41s
Add contracts for SmallSort Kani #1205: Pull request #234 synchronize by ShoyuVanilla
December 29, 2024 15:21 4m 43s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 29, 2024 15:21 4m 43s
Add contracts for SmallSort Kani #1204: Pull request #234 synchronize by ShoyuVanilla
December 29, 2024 15:03 5m 1s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 29, 2024 15:03 5m 1s
Add contracts for SmallSort Kani #1203: Pull request #234 synchronize by ShoyuVanilla
December 29, 2024 14:08 44m 51s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 29, 2024 14:08 44m 51s
Add contracts for SmallSort Kani #1202: Pull request #234 synchronize by ShoyuVanilla
December 29, 2024 09:38 41m 23s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 29, 2024 09:38 41m 23s
Add contracts for SmallSort Kani #1201: Pull request #234 synchronize by ShoyuVanilla
December 29, 2024 09:28 4m 44s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 29, 2024 09:28 4m 44s
Add contracts for SmallSort Kani #1200: Pull request #234 synchronize by ShoyuVanilla
December 29, 2024 08:23 43m 27s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 29, 2024 08:23 43m 27s
Add contracts for SmallSort Kani #1199: Pull request #234 synchronize by ShoyuVanilla
December 29, 2024 08:19 4m 40s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 29, 2024 08:19 4m 40s
Add contracts for SmallSort Kani #1198: Pull request #234 synchronize by ShoyuVanilla
December 29, 2024 07:30 42m 4s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 29, 2024 07:30 42m 4s
Add contracts for SmallSort Kani #1197: Pull request #234 synchronize by ShoyuVanilla
December 29, 2024 07:23 5m 17s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 29, 2024 07:23 5m 17s
Add contracts for SmallSort Kani #1196: Pull request #234 synchronize by ShoyuVanilla
December 29, 2024 07:17 5m 25s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 29, 2024 07:17 5m 25s
Add contracts for SmallSort Kani #1195: Pull request #234 synchronize by ShoyuVanilla
December 29, 2024 07:08 4m 43s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 29, 2024 07:08 4m 43s
Add harnesses for safety of primitive conversions Kani #1194: Pull request #233 synchronize by ShoyuVanilla
December 28, 2024 19:21 40m 36s shoyuvanilla-verify-rust-std:challenge-14
shoyuvanilla-verify-rust-std:challenge-14
December 28, 2024 19:21 40m 36s
Add harnesses for safety of primitive conversions Kani #1193: Pull request #233 synchronize by ShoyuVanilla
December 28, 2024 19:12 5m 18s shoyuvanilla-verify-rust-std:challenge-14
shoyuvanilla-verify-rust-std:challenge-14
December 28, 2024 19:12 5m 18s
Add contracts for SmallSort Kani #1192: Pull request #234 synchronize by ShoyuVanilla
December 28, 2024 16:01 45m 9s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 28, 2024 16:01 45m 9s
Add contracts for SmallSort Kani #1191: Pull request #234 synchronize by ShoyuVanilla
December 28, 2024 15:02 40m 38s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 28, 2024 15:02 40m 38s