Skip to content

Actions: model-checking/verify-rust-std

Actions

VeriFast

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verifast.yml
1,031 workflow runs
1,031 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
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
VeriFast VeriFast #1212: Merge group checks requested
34s
34s
Update Kani Metrics VeriFast #1211: Pull request #584 reopened by feliperodri
41s update-kani-metrics
update-kani-metrics
41s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani VeriFast #1210: Pull request #582 synchronize by v3risec
42s v3risec:challenge-26-rc
v3risec:challenge-26-rc
42s
VeriFast VeriFast #1209: Merge group checks requested
41s
41s
Update Kani Metrics VeriFast #1208: Pull request #583 reopened by feliperodri
42s update-kani-metrics
update-kani-metrics
42s
Challenge 12: Verify safety of NonZero VeriFast #1205: Pull request #565 synchronize by Samuelsills
41s Samuelsills:challenge-12-nonzero
Samuelsills:challenge-12-nonzero
41s
Challenge 12: Verify safety of NonZero VeriFast #1204: Pull request #565 synchronize by Samuelsills
37s Samuelsills:challenge-12-nonzero
Samuelsills:challenge-12-nonzero
37s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani VeriFast #1203: Pull request #582 opened by v3risec
40s v3risec:challenge-26-rc
v3risec:challenge-26-rc
40s
Verify CStr CloneToUninit and Index<RangeFrom> safety (Challenge 13) VeriFast #1202: Pull request #543 synchronize by jrey8343
37s jrey8343:challenge-13-cstr
jrey8343:challenge-13-cstr
37s
Verify safety of str iter functions (Challenge 22) VeriFast #1201: Pull request #557 synchronize by jrey8343
37s jrey8343:challenge-22-str-iter
jrey8343:challenge-22-str-iter
37s
Verify memory safety of String functions (Challenge 10) VeriFast #1200: Pull request #558 synchronize by jrey8343
37s jrey8343:challenge-10-string
jrey8343:challenge-10-string
37s
Verify safety of char-related Searcher methods (Challenge 20) VeriFast #1199: Pull request #537 synchronize by jrey8343
38s jrey8343:challenge-20-str-pattern
jrey8343:challenge-20-str-pattern
38s
Verify safety of StrSearcher (Challenge 21) VeriFast #1198: Pull request #538 synchronize by jrey8343
38s jrey8343:challenge-21-str-searcher
jrey8343:challenge-21-str-searcher
38s
Verify safety of NonZero operations (Challenge 12) VeriFast #1197: Pull request #544 synchronize by jrey8343
37s jrey8343:challenge-12-nonzero
jrey8343:challenge-12-nonzero
37s
Challenge 12: Verify safety of NonZero VeriFast #1196: Pull request #565 synchronize by Samuelsills
45s Samuelsills:challenge-12-nonzero
Samuelsills:challenge-12-nonzero
45s
Challenge 12: Verify safety of NonZero VeriFast #1195: Pull request #565 synchronize by Samuelsills
36s Samuelsills:challenge-12-nonzero
Samuelsills:challenge-12-nonzero
36s
Challenge 12: Verify safety of NonZero VeriFast #1194: Pull request #565 synchronize by Samuelsills
39s Samuelsills:challenge-12-nonzero
Samuelsills:challenge-12-nonzero
39s
Challenge 22: Verify safety of str iter functions VeriFast #1193: Pull request #572 synchronize by Samuelsills
35s Samuelsills:challenge-22-str-iter
Samuelsills:challenge-22-str-iter
35s
VeriFast VeriFast #1192: Merge group checks requested
37s
37s
Add GitHub Copilot code review instructions VeriFast #1191: Pull request #581 opened by feliperodri
34s feliperodri:review-guidelines
feliperodri:review-guidelines
34s
Challenge 22: Verify safety of str iter functions VeriFast #1190: Pull request #572 synchronize by Samuelsills
38s Samuelsills:challenge-22-str-iter
Samuelsills:challenge-22-str-iter
38s
Add GitHub Copilot code review instructions VeriFast #1189: Pull request #580 opened by feliperodri
38s review-guidelines
review-guidelines
38s