Skip to content

Actions: kasimte/verify-rust-std

Actions

VeriFast

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verifast.yml
37 workflow runs
37 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
Add Kani contracts and harnesses for NonZero (Challenge 12) VeriFast #37: Commit dffdb6c pushed by kasimte
18m 1s challenge-12-nonzero
challenge-12-nonzero
18m 1s
Add Kani contracts and harnesses for NonZero (Challenge 12) VeriFast #36: Commit a0476c3 pushed by kasimte
39s challenge-12-nonzero
challenge-12-nonzero
39s
Add Kani contracts and harnesses for NonZero (Challenge 12) VeriFast #35: Commit 60d4b9e pushed by kasimte
41s challenge-12-nonzero
challenge-12-nonzero
41s
Apply rustfmt formatting to NonZero verification harnesses VeriFast #34: Commit 9700880 pushed by kasimte
38s 12-cistress
12-cistress
38s
Verify StepBy::original_step via proof_for_contract VeriFast #33: Commit f2144f8 pushed by kasimte
39s 16-cistress
16-cistress
39s
Refine iterator adapter verification harnesses VeriFast #32: Commit a531ecc pushed by kasimte
41s 16-cistress
16-cistress
41s
Add NonZero verification harnesses VeriFast #31: Commit c9d8b23 pushed by kasimte
40s 12-cistress
12-cistress
40s
Add NonZero verification harnesses VeriFast #30: Commit 995d038 pushed by kasimte
39s 12-cistress
12-cistress
39s
Address Copilot review feedback on PR #549 VeriFast #29: Commit e80e689 pushed by kasimte
9m 38s challenge-16
challenge-16
9m 38s
Test CI: Challenge 16 updates VeriFast #28: Pull request #2 synchronize by kasimte
43s 16-draft
16-draft
43s
Address Copilot review feedback on PR #549 VeriFast #27: Commit e80e689 pushed by kasimte
36s 16-draft
16-draft
36s
Test CI: Challenge 16 updates VeriFast #26: Pull request #2 synchronize by kasimte
41s 16-draft
16-draft
41s
Address Copilot review feedback on PR #549 VeriFast #25: Commit c391c7f pushed by kasimte
3m 54s 16-draft
16-draft
3m 54s
Add Kani verification harnesses for iterator adapter functions VeriFast #24: Commit 6cca1ff pushed by kasimte
13m 6s challenge-16
challenge-16
13m 6s
Add Kani verification harnesses for iterator adapter functions VeriFast #23: Commit cee43ec pushed by kasimte
35s challenge-16
challenge-16
35s
Test CI: Challenge 16 updates VeriFast #22: Pull request #2 synchronize by kasimte
1m 12s 16-draft
16-draft
1m 12s
Add Kani verification harnesses for iterator adapter functions VeriFast #21: Commit 078f424 pushed by kasimte
39s 16-draft
16-draft
39s
Test CI: Challenge 16 updates VeriFast #20: Pull request #2 synchronize by kasimte
28m 14s 16-draft
16-draft
28m 14s
Add Kani verification harnesses for iterator adapter functions VeriFast #19: Commit 1edc482 pushed by kasimte
35s 16-draft
16-draft
35s
Test CI: Challenge 16 updates VeriFast #18: Pull request #2 synchronize by kasimte
3m 27s 16-draft
16-draft
3m 27s
Add Kani verification harnesses for iterator adapter functions VeriFast #17: Commit 8d38f0e pushed by kasimte
39s 16-draft
16-draft
39s
Test CI: Challenge 16 updates VeriFast #16: Pull request #2 synchronize by kasimte
1m 7s 16-draft
16-draft
1m 7s
Add Kani verification harnesses for iterator adapter functions VeriFast #15: Commit c7d6c40 pushed by kasimte
37s 16-draft
16-draft
37s
Test CI: Challenge 16 updates VeriFast #14: Pull request #2 synchronize by kasimte
4m 42s 16-draft
16-draft
4m 42s
Add Kani verification harnesses for iterator adapter functions VeriFast #13: Commit ef83849 pushed by kasimte
39s 16-draft
16-draft
39s