Skip to content

Actions: model-checking/verify-rust-std

Actions

VeriFast

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verifast.yml
1,052 workflow runs
1,052 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 17: Verify slice safety with Kani VeriFast #1867: Pull request #657 synchronize by v3risec
35s v3risec:challenge-17-slice
v3risec:challenge-17-slice
35s
Add CI-generated autoharness dashboard VeriFast #1866: Pull request #700 opened by wodex1nhaoIeng
12m 16s wodex1nhaoIeng:dashboard-ci
wodex1nhaoIeng:dashboard-ci
12m 16s
Challenge 24: verify Vec IntoIter and spec_* function safety with Kani VeriFast #1865: Pull request #689 synchronize by kasimte
28m 19s kasimte:24-build
kasimte:24-build
28m 19s
Challenge 24: Verify Vec Part2 safety with Kani VeriFast #1864: Pull request #599 synchronize by v3risec
35s v3risec:challenge-24-vec-part2
v3risec:challenge-24-vec-part2
35s
Challenge 24: Verify Vec Part2 safety with Kani VeriFast #1863: Pull request #599 synchronize by v3risec
38s v3risec:challenge-24-vec-part2
v3risec:challenge-24-vec-part2
38s
VeriFast VeriFast #1862: Merge group checks requested
37s
37s
VeriFast VeriFast #1861: Merge group checks requested
33s
33s
Update Kani Metrics VeriFast #1860: Pull request #699 reopened by feliperodri
36s update-kani-metrics
update-kani-metrics
36s
Update Kani Metrics VeriFast #1859: Pull request #699 opened by github-actions Bot
15h 18m 10s update-kani-metrics
update-kani-metrics
15h 18m 10s
Challenge 23: verify Vec mod.rs function safety with Kani VeriFast #1858: Pull request #692 synchronize by kasimte
35s kasimte:challenge-23-vec-part1
kasimte:challenge-23-vec-part1
35s
Strip the crate prefix from scanner names so contract metrics match again VeriFast #1857: Pull request #696 synchronize by Tianshu-Huang
40s Tianshu-Huang:metrics-strip-crate-prefix
Tianshu-Huang:metrics-strip-crate-prefix
40s
Strip the crate prefix from scanner names so contract metrics match again VeriFast #1856: Pull request #696 synchronize by Tianshu-Huang
40s Tianshu-Huang:metrics-strip-crate-prefix
Tianshu-Huang:metrics-strip-crate-prefix
40s
VeriFast VeriFast #1855: Merge group checks requested
39s
39s
Include alloc in the Kani metrics collected by run-kani.sh VeriFast #1854: Pull request #697 opened by Tianshu-Huang
22m 36s Tianshu-Huang:run-kani-include-alloc
Tianshu-Huang:run-kani-include-alloc
22m 36s
Strip the crate prefix from scanner names so contract metrics match again VeriFast #1853: Pull request #696 opened by Tianshu-Huang
24m 25s Tianshu-Huang:metrics-strip-crate-prefix
Tianshu-Huang:metrics-strip-crate-prefix
24m 25s
Challenge 23: Verify Vec Part1 safety with Kani VeriFast #1852: Pull request #598 synchronize by v3risec
35s v3risec:challenge-23-vec-part1
v3risec:challenge-23-vec-part1
35s
Challenge 23: Verify Vec Part1 safety with Kani VeriFast #1851: Pull request #598 synchronize by v3risec
4m 25s v3risec:challenge-23-vec-part1
v3risec:challenge-23-vec-part1
4m 25s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani VeriFast #1850: Pull request #582 synchronize by v3risec
39s v3risec:challenge-26-rc
v3risec:challenge-26-rc
39s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani VeriFast #1849: Pull request #582 synchronize by v3risec
38s v3risec:challenge-26-rc
v3risec:challenge-26-rc
38s
Reject byte offsets that wrap the pointer encoding in ptr contracts VeriFast #1848: Commit fdc16bd pushed by feliperodri
13m 48s sync-2026-08-21
sync-2026-08-21
13m 48s
Update RAPx toolchain to nightly-2026-02-05 (#690) VeriFast #1847: Commit 67dfd8c pushed by github-merge-queue Bot
45s main
main
45s
Challenge 8: verify smallsort safety and sorting correctness with Kani VeriFast #1846: Pull request #694 opened by kasimte
39s kasimte:8-build
kasimte:8-build
39s
Update RAPx toolchain to nightly-2026-02-05 (#690) VeriFast #1845: Commit 67dfd8c pushed by github-merge-queue Bot
41s gh-readonly-queue/main/pr-690-5210ea4c32cebc38e1aa0aa0b742474842dd3095
gh-readonly-queue/main/pr-690-5210ea4c32cebc38e1aa0aa0b742474842dd3095
41s
VeriFast VeriFast #1844: Merge group checks requested
46s
46s
Challenge 24: Verify Vec Part2 safety with Kani VeriFast #1843: Pull request #599 synchronize by v3risec
38s v3risec:challenge-24-vec-part2
v3risec:challenge-24-vec-part2
38s