Skip to content

Actions: model-checking/verify-rust-std

Actions

KMIR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kmir.yml
431 workflow runs
431 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
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
Challenge 17: Verify slice safety with Kani KMIR #433: Pull request #657 synchronize by v3risec
25m 58s v3risec:challenge-17-slice
v3risec:challenge-17-slice
25m 58s
Add CI-generated autoharness dashboard KMIR #432: Pull request #700 opened by wodex1nhaoIeng
31m 7s wodex1nhaoIeng:dashboard-ci
wodex1nhaoIeng:dashboard-ci
31m 7s
Challenge 24: verify Vec IntoIter and spec_* function safety with Kani KMIR #431: Pull request #689 synchronize by kasimte
54m 5s kasimte:24-build
kasimte:24-build
54m 5s
Challenge 24: Verify Vec Part2 safety with Kani KMIR #430: Pull request #599 synchronize by v3risec
26m 3s v3risec:challenge-24-vec-part2
v3risec:challenge-24-vec-part2
26m 3s
Challenge 24: Verify Vec Part2 safety with Kani KMIR #429: Pull request #599 synchronize by v3risec
18m 27s v3risec:challenge-24-vec-part2
v3risec:challenge-24-vec-part2
18m 27s
KMIR KMIR #428: Merge group checks requested
26m 15s
26m 15s