Skip to content

Actions: model-checking/verify-rust-std

Actions

KMIR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kmir.yml
615 workflow runs
615 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Challenge 29: Kani contracts for Box, convert, and ThinBox KMIR #636: Pull request #639 synchronize by sankalpsthakur
26m 31s sankalpsthakur:challenge/29-boxed
sankalpsthakur:challenge/29-boxed
26m 31s
KMIR KMIR #635: Merge group checks requested
31m 47s
31m 47s
New challenge: Verify the safety of BinaryHeap functions KMIR #634: Pull request #747 synchronize by Kieran-Hulsman
45m 41s Kieran-Hulsman:kieran/binary-heap-challenge
Kieran-Hulsman:kieran/binary-heap-challenge
45m 41s
Challenge 2: memory safety of raw-pointer intrinsics KMIR #633: Pull request #649 synchronize by stefanzetzsche
22m 22s stefanzetzsche:intrinsics-challenge-2
stefanzetzsche:intrinsics-challenge-2
22m 22s
Challenge 20: Unbounded proofs for the char Searchers of str::pattern KMIR #632: Pull request #740 synchronize by hung1962003
26m 21s hung1962003:challenge-20-char-searchers
hung1962003:challenge-20-char-searchers
26m 21s
New challenge: Verify the safety of BinaryHeap functions KMIR #631: Pull request #747 opened by Kieran-Hulsman
25m 54s Kieran-Hulsman:kieran/binary-heap-challenge
Kieran-Hulsman:kieran/binary-heap-challenge
25m 54s
Merge subtree update for toolchain nightly-2026-10-23 KMIR #630: Pull request #745 opened by github-actions Bot
27m 30s sync-2026-10-23
sync-2026-10-23
27m 30s
Challenge 7: Verify safety of Atomic types and Atomic Intrinsics with Kani KMIR #629: Pull request #683 synchronize by v3risec
18m 55s v3risec:challenge-7-atomic
v3risec:challenge-7-atomic
18m 55s
Challenge 18: Verify Slice Iter safety with Kani KMIR #628: Pull request #744 synchronize by v3risec
19m 28s v3risec:challenge-18-slice-iter
v3risec:challenge-18-slice-iter
19m 28s
Challenge 18: Verify Slice Iter safety with Kani KMIR #627: Pull request #744 opened by v3risec
27m 17s v3risec:challenge-18-slice-iter
v3risec:challenge-18-slice-iter
27m 17s
Challenge 21: Verify safety of StrSearcher with Kani KMIR #626: Pull request #621 synchronize by v3risec
27m 40s v3risec:challenge-21-string-searcher
v3risec:challenge-21-string-searcher
27m 40s
Challenge 7: Verify safety of Atomic types and Atomic Intrinsics with Kani KMIR #625: Pull request #683 synchronize by v3risec
26m 52s v3risec:challenge-7-atomic
v3risec:challenge-7-atomic
26m 52s
Challenge 29: Kani contracts for Box, convert, and ThinBox KMIR #624: Pull request #639 synchronize by sankalpsthakur
18m 48s sankalpsthakur:challenge/29-boxed
sankalpsthakur:challenge/29-boxed
18m 48s
New challenge: Safety and correctness of integer logarithms KMIR #623: Pull request #729 synchronize by Kieran-Hulsman
19m 52s Kieran-Hulsman:kieran/ilog-challenge-proposal
Kieran-Hulsman:kieran/ilog-challenge-proposal
19m 52s
KMIR KMIR #622: Merge group checks requested
26m 23s
26m 23s
New challenge: Safety and correctness of integer logarithms KMIR #621: Pull request #729 synchronize by feliperodri
26m 42s Kieran-Hulsman:kieran/ilog-challenge-proposal
Kieran-Hulsman:kieran/ilog-challenge-proposal
26m 42s
KMIR KMIR #620: Merge group checks requested
26m 22s
26m 22s
Run autoharness jobs only in the merge queue KMIR #619: Pull request #738 synchronize by feliperodri
25m 54s Tianshu-Huang:ci-autoharness-merge-queue
Tianshu-Huang:ci-autoharness-merge-queue
25m 54s
Challenge 23: verify Vec mod.rs function safety with Kani KMIR #618: Pull request #692 synchronize by kasimte
18m 25s kasimte:challenge-23-vec-part1
kasimte:challenge-23-vec-part1
18m 25s
Challenge 20: Verify char-class Searcher safety in str::pattern with Kani KMIR #617: Pull request #722 synchronize by kasimte
18m 55s kasimte:20-build-s2
kasimte:20-build-s2
18m 55s
Run autoharness jobs only in the merge queue KMIR #616: Pull request #738 synchronize by feliperodri
25m 48s Tianshu-Huang:ci-autoharness-merge-queue
Tianshu-Huang:ci-autoharness-merge-queue
25m 48s
Run autoharness jobs only in the merge queue KMIR #615: Pull request #738 synchronize by feliperodri
18m 48s Tianshu-Huang:ci-autoharness-merge-queue
Tianshu-Huang:ci-autoharness-merge-queue
18m 48s
Challenge 17: Verify the safety of core::slice functions with VeriFast KMIR #614: Pull request #742 synchronize by paulocsanz
1h 46m 4s paulocsanz:challenge17-verifast-slice
paulocsanz:challenge17-verifast-slice
1h 46m 4s
Challenge 20: Unbounded proofs for the char Searchers of str::pattern KMIR #613: Pull request #740 synchronize by hung1962003
2h 59m 12s hung1962003:challenge-20-char-searchers
hung1962003:challenge-20-char-searchers
2h 59m 12s
Challenge 20: Unbounded proofs for the char Searchers of str::pattern KMIR #612: Pull request #740 synchronize by hung1962003
1h 25m 29s hung1962003:challenge-20-char-searchers
hung1962003:challenge-20-char-searchers
1h 25m 29s