Skip to content

Actions: model-checking/verify-rust-std

Actions

VeriFast

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verifast.yml
866 workflow runs
866 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 10: Kani contracts for String memory safety VeriFast #1472: Pull request #645 synchronize by sankalpsthakur
38s sankalpsthakur:challenge/10-string
sankalpsthakur:challenge/10-string
38s
Challenge 10: Kani contracts for String memory safety VeriFast #1471: Pull request #645 synchronize by sankalpsthakur
41s sankalpsthakur:challenge/10-string
sankalpsthakur:challenge/10-string
41s
Challenge 10: Kani contracts for String memory safety VeriFast #1470: Pull request #645 synchronize by sankalpsthakur
37s sankalpsthakur:challenge/10-string
sankalpsthakur:challenge/10-string
37s
Challenge 10: Kani contracts for String memory safety VeriFast #1469: Pull request #645 synchronize by sankalpsthakur
40s sankalpsthakur:challenge/10-string
sankalpsthakur:challenge/10-string
40s
Challenge 10: Kani contracts for String memory safety VeriFast #1468: Pull request #645 synchronize by sankalpsthakur
38s sankalpsthakur:challenge/10-string
sankalpsthakur:challenge/10-string
38s
Challenge 10: Kani contracts for String memory safety VeriFast #1467: Pull request #645 synchronize by sankalpsthakur
47s sankalpsthakur:challenge/10-string
sankalpsthakur:challenge/10-string
47s
Challenge 10: Kani contracts for String memory safety VeriFast #1466: Pull request #645 synchronize by sankalpsthakur
1m 16s sankalpsthakur:challenge/10-string
sankalpsthakur:challenge/10-string
1m 16s
Challenge 10: Kani contracts for String memory safety VeriFast #1465: Pull request #645 synchronize by sankalpsthakur
2m 31s sankalpsthakur:challenge/10-string
sankalpsthakur:challenge/10-string
2m 31s
VeriFast VeriFast #1464: Merge group checks requested
5m 4s
5m 4s
Docs: remove challenge end dates and fix README/challenge inconsistencies VeriFast #1463: Pull request #629 synchronize by feliperodri
12m 13s feliperodri:remove-challenge-end-dates
feliperodri:remove-challenge-end-dates
12m 13s
Docs: remove challenge end dates and fix README/challenge inconsistencies VeriFast #1462: Pull request #629 synchronize by feliperodri
10m 29s feliperodri:remove-challenge-end-dates
feliperodri:remove-challenge-end-dates
10m 29s
Docs: remove challenge end dates and fix README/challenge inconsistencies VeriFast #1461: Pull request #629 synchronize by feliperodri
15m 41s feliperodri:remove-challenge-end-dates
feliperodri:remove-challenge-end-dates
15m 41s
Challenge 10: Kani contracts for String memory safety VeriFast #1460: Pull request #645 synchronize by sankalpsthakur
15m 24s sankalpsthakur:challenge/10-string
sankalpsthakur:challenge/10-string
15m 24s
Docs: remove challenge end dates and fix README/challenge inconsistencies VeriFast #1459: Pull request #629 synchronize by feliperodri
14m 19s feliperodri:remove-challenge-end-dates
feliperodri:remove-challenge-end-dates
14m 19s
Update committee list in pull_requests.toml VeriFast #1458: Pull request #635 synchronize by feliperodri
37s feliperodri:update-committee-list
feliperodri:update-committee-list
37s
Add Kani harnesses for Challenge 18: slice iter functions VeriFast #1457: Pull request #651 opened by MavenRain
1m 29s MavenRain:18-slice-iter
MavenRain:18-slice-iter
1m 29s
Challenge 10: Kani contracts for String memory safety VeriFast #1456: Pull request #645 synchronize by sankalpsthakur
38s sankalpsthakur:challenge/10-string
sankalpsthakur:challenge/10-string
38s
Challenge 10: Kani contracts for String memory safety VeriFast #1455: Pull request #645 synchronize by sankalpsthakur
36s sankalpsthakur:challenge/10-string
sankalpsthakur:challenge/10-string
36s
Challenge 10: Kani contracts for String memory safety VeriFast #1454: Pull request #645 synchronize by sankalpsthakur
37s sankalpsthakur:challenge/10-string
sankalpsthakur:challenge/10-string
37s
Challenge 10: Kani contracts for String memory safety VeriFast #1453: Pull request #645 synchronize by sankalpsthakur
5m 35s sankalpsthakur:challenge/10-string
sankalpsthakur:challenge/10-string
5m 35s
Challenge 10: Kani contracts for String memory safety VeriFast #1452: Pull request #645 synchronize by sankalpsthakur
45s sankalpsthakur:challenge/10-string
sankalpsthakur:challenge/10-string
45s
Challenge 10: Kani contracts for String memory safety VeriFast #1451: Pull request #645 synchronize by sankalpsthakur
37s sankalpsthakur:challenge/10-string
sankalpsthakur:challenge/10-string
37s
Challenge 10: Kani contracts for String memory safety VeriFast #1450: Pull request #645 synchronize by sankalpsthakur
37s sankalpsthakur:challenge/10-string
sankalpsthakur:challenge/10-string
37s
Challenge 10: Kani contracts for String memory safety VeriFast #1449: Pull request #645 synchronize by sankalpsthakur
40s sankalpsthakur:challenge/10-string
sankalpsthakur:challenge/10-string
40s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani VeriFast #1448: Pull request #582 synchronize by v3risec
36s v3risec:challenge-26-rc
v3risec:challenge-26-rc
36s