Skip to content

Actions: model-checking/verify-rust-std

Actions

KMIR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kmir.yml
437 workflow runs
437 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
Merge subtree update for toolchain nightly-2026-09-25 KMIR #458: Pull request #687 synchronize by feliperodri
18m 10s sync-2026-08-21
sync-2026-08-21
18m 10s
Merge subtree update for toolchain nightly-2026-09-25 KMIR #457: Pull request #687 synchronize by feliperodri
26m 39s sync-2026-08-21
sync-2026-08-21
26m 39s
KMIR KMIR #456: Merge group checks requested
17m 22s
17m 22s
KMIR KMIR #455: Merge group checks requested
25m 55s
25m 55s
Update Kani Metrics KMIR #454: Pull request #711 opened by github-actions Bot
26m 34s update-kani-metrics
update-kani-metrics
26m 34s
Challenge 22: Verify the safety of str iter functions KMIR #453: Pull request #706 synchronize by kasimte
22m 26s kasimte:merlin
kasimte:merlin
22m 26s
Check contracts with ESBMC's native CBMC goto reader KMIR #452: Pull request #710 opened by lucasccordeiro
25m 56s lucasccordeiro:fix/708-esbmc-native-reader
lucasccordeiro:fix/708-esbmc-native-reader
25m 56s
Merge subtree update for toolchain nightly-2026-09-25 KMIR #451: Pull request #687 synchronize by feliperodri
26m 7s sync-2026-08-21
sync-2026-08-21
26m 7s
Merge subtree update for toolchain nightly-2026-09-25 KMIR #450: Pull request #687 synchronize by feliperodri
23m 3s sync-2026-08-21
sync-2026-08-21
23m 3s
Merge subtree update for toolchain nightly-2026-09-25 KMIR #449: Pull request #687 synchronize by feliperodri
26m 30s sync-2026-08-21
sync-2026-08-21
26m 30s
Merge subtree update for toolchain nightly-2026-09-25 KMIR #448: Pull request #687 synchronize by feliperodri
20m 35s sync-2026-08-21
sync-2026-08-21
20m 35s
Challenge 23: verify Vec mod.rs function safety with Kani KMIR #447: Pull request #692 synchronize by kasimte
19m 11s kasimte:challenge-23-vec-part1
kasimte:challenge-23-vec-part1
19m 11s
Challenge 24: verify Vec IntoIter and spec_* function safety with Kani KMIR #446: Pull request #689 synchronize by kasimte
30m 57s kasimte:24-build
kasimte:24-build
30m 57s
Challenge 26: Verify the safety of Rc and Weak in alloc::rc KMIR #445: Pull request #661 synchronize by kasimte
23m 7s kasimte:challenge-26
kasimte:challenge-26
23m 7s
Challenge 10: Verify memory safety of String functions with Kani KMIR #444: Pull request #702 synchronize by Talha-Dmr
26m 11s Talha-Dmr:challenge-10-string
Talha-Dmr:challenge-10-string
26m 11s
Challenge 22: Verify the safety of str iter functions KMIR #443: Pull request #706 opened by kasimte
47m 42s kasimte:merlin
kasimte:merlin
47m 42s
Verify safety of slice functions (Challenge 17) KMIR #442: Pull request #703 synchronize by kasimte
42m 25s kasimte:ch17-slice
kasimte:ch17-slice
42m 25s
Challenge 10: Verify memory safety of String functions with Kani KMIR #441: Pull request #702 synchronize by Talha-Dmr
1h 26m 51s Talha-Dmr:challenge-10-string
Talha-Dmr:challenge-10-string
1h 26m 51s
Challenge 13: contracts and proofs for CStr trait implementations and safe methods KMIR #440: Pull request #670 synchronize by kasimte
26m 8s kasimte:challenge-13-cstr
kasimte:challenge-13-cstr
26m 8s
Add CI-generated autoharness dashboard KMIR #439: Pull request #700 synchronize by wodex1nhaoIeng
26m 18s wodex1nhaoIeng:dashboard-ci
wodex1nhaoIeng:dashboard-ci
26m 18s
Add CI-generated autoharness dashboard KMIR #438: Pull request #700 synchronize by wodex1nhaoIeng
25m 57s wodex1nhaoIeng:dashboard-ci
wodex1nhaoIeng:dashboard-ci
25m 57s
Verify safety of slice functions (Challenge 17) KMIR #437: Pull request #703 opened by kasimte
28m 45s kasimte:ch17-slice
kasimte:ch17-slice
28m 45s
Challenge 10: Verify memory safety of String functions with Kani KMIR #436: Pull request #702 synchronize by Talha-Dmr
48m 52s Talha-Dmr:challenge-10-string
Talha-Dmr:challenge-10-string
48m 52s
Challenge 10: Verify memory safety of String functions with Kani KMIR #435: Pull request #702 opened by Talha-Dmr
50m 9s Talha-Dmr:challenge-10-string
Talha-Dmr:challenge-10-string
50m 9s
Challenge 8: Verify SmallSort with Kani KMIR #434: Pull request #701 opened by v3risec
52m 45s v3risec:challenge-8-smallsort
v3risec:challenge-8-smallsort
52m 45s