Skip to content

Actions: model-checking/verify-rust-std

Actions

VeriFast

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verifast.yml
1,057 workflow runs
1,057 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
New Challenge: Enrich MIR Consts VeriFast #1238: Pull request #595 opened by dkcumming
41s runtimeverification:challenge_enrich_mir_const
runtimeverification:challenge_enrich_mir_const
41s
Update Kani Metrics VeriFast #1237: Pull request #593 reopened by tautschnig
39s update-kani-metrics
update-kani-metrics
39s
Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani VeriFast #1236: Pull request #589 synchronize by v3risec
Action required v3risec:challenge-29-boxed
v3risec:challenge-29-boxed
Action required
Challenge 27: Verify safety of Arc functions VeriFast #1235: Pull request #575 synchronize by Samuelsills
37s Samuelsills:challenge-27-arc
Samuelsills:challenge-27-arc
37s
Challenge 26: Verify safety of Rc functions VeriFast #1234: Pull request #574 synchronize by Samuelsills
38s Samuelsills:challenge-26-rc
Samuelsills:challenge-26-rc
38s
Challenge 29: Verify safety of Box functions VeriFast #1233: Pull request #573 synchronize by Samuelsills
37s Samuelsills:challenge-29-box
Samuelsills:challenge-29-box
37s
New challenge: Progress Public MIR VeriFast #1232: Pull request #592 opened by dkcumming
36s runtimeverification:challenge_public_mir
runtimeverification:challenge_public_mir
36s
Merge subtree update for toolchain nightly-2025-12-03 VeriFast #1231: Pull request #590 opened by github-actions Bot
Action required sync-2025-12-03
sync-2025-12-03
Action required
Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani VeriFast #1230: Pull request #589 opened by v3risec
38s v3risec:challenge-29-boxed
v3risec:challenge-29-boxed
38s
Add kmir tool description and CI workflow VeriFast #1229: Pull request #310 synchronize by dkcumming
37s runtimeverification:add-kmir-tool
runtimeverification:add-kmir-tool
37s
Add kmir tool description and CI workflow VeriFast #1228: Pull request #310 synchronize by dkcumming
36s runtimeverification:add-kmir-tool
runtimeverification:add-kmir-tool
36s
Bump rand from 0.8.5 to 0.8.6 in /library/stdarch VeriFast #1227: Pull request #588 opened by dependabot Bot
46s dependabot/cargo/library/stdarch/rand-0.8.6
dependabot/cargo/library/stdarch/rand-0.8.6
46s
Bump rand from 0.8.5 to 0.8.6 in /library/stdarch VeriFast #1226: Commit 218b9c0 pushed by dependabot Bot
39s dependabot/cargo/library/stdarch/rand-0.8.6
dependabot/cargo/library/stdarch/rand-0.8.6
39s
Add kmir tool description and CI workflow VeriFast #1225: Pull request #310 synchronize by dkcumming
40s runtimeverification:add-kmir-tool
runtimeverification:add-kmir-tool
40s
Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani VeriFast #1224: Pull request #587 opened by v3risec
40s v3risec:challenge-27-arc
v3risec:challenge-27-arc
40s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani VeriFast #1223: Pull request #582 synchronize by feliperodri
43s v3risec:challenge-26-rc
v3risec:challenge-26-rc
43s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani VeriFast #1222: Pull request #582 synchronize by v3risec
36s v3risec:challenge-26-rc
v3risec:challenge-26-rc
36s
VeriFast VeriFast #1221: Merge group checks requested
40s
40s
Update Kani Metrics VeriFast #1220: Pull request #586 reopened by feliperodri
34s update-kani-metrics
update-kani-metrics
34s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani VeriFast #1219: Pull request #582 synchronize by v3risec
Action required v3risec:challenge-26-rc
v3risec:challenge-26-rc
Action required
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani VeriFast #1218: Pull request #582 synchronize by v3risec
Action required v3risec:challenge-26-rc
v3risec:challenge-26-rc
Action required
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani VeriFast #1217: Pull request #582 synchronize by v3risec
Action required v3risec:challenge-26-rc
v3risec:challenge-26-rc
Action required
Bump rand from 0.8.5 to 0.9.3 in /library/stdarch VeriFast #1216: Pull request #585 opened by dependabot Bot
40s dependabot/cargo/library/stdarch/rand-0.9.3
dependabot/cargo/library/stdarch/rand-0.9.3
40s
Bump rand from 0.8.5 to 0.9.3 in /library/stdarch VeriFast #1215: Commit 2a17229 pushed by dependabot Bot
43s dependabot/cargo/library/stdarch/rand-0.9.3
dependabot/cargo/library/stdarch/rand-0.9.3
43s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani VeriFast #1214: Pull request #582 synchronize by v3risec
37s v3risec:challenge-26-rc
v3risec:challenge-26-rc
37s