Skip to content

Actions: model-checking/verify-rust-std

Actions

VeriFast (negative)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verifast-negative.yml
1,056 workflow runs
1,056 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
Verify safety of slice functions (Challenge 17) VeriFast (negative) #1857: Pull request #703 opened by kasimte
6m 22s kasimte:ch17-slice
kasimte:ch17-slice
6m 22s
Challenge 10: Verify memory safety of String functions with Kani VeriFast (negative) #1856: Pull request #702 synchronize by Talha-Dmr
23m 18s Talha-Dmr:challenge-10-string
Talha-Dmr:challenge-10-string
23m 18s
Challenge 10: Verify memory safety of String functions with Kani VeriFast (negative) #1855: Pull request #702 opened by Talha-Dmr
28m 19s Talha-Dmr:challenge-10-string
Talha-Dmr:challenge-10-string
28m 19s
Challenge 8: Verify SmallSort with Kani VeriFast (negative) #1854: Pull request #701 opened by v3risec
27m 44s v3risec:challenge-8-smallsort
v3risec:challenge-8-smallsort
27m 44s
Challenge 17: Verify slice safety with Kani VeriFast (negative) #1853: Pull request #657 synchronize by v3risec
38s v3risec:challenge-17-slice
v3risec:challenge-17-slice
38s
Add CI-generated autoharness dashboard VeriFast (negative) #1852: Pull request #700 opened by wodex1nhaoIeng
13m 1s wodex1nhaoIeng:dashboard-ci
wodex1nhaoIeng:dashboard-ci
13m 1s
Challenge 24: verify Vec IntoIter and spec_* function safety with Kani VeriFast (negative) #1851: Pull request #689 synchronize by kasimte
28m 29s kasimte:24-build
kasimte:24-build
28m 29s
Challenge 24: Verify Vec Part2 safety with Kani VeriFast (negative) #1850: Pull request #599 synchronize by v3risec
38s v3risec:challenge-24-vec-part2
v3risec:challenge-24-vec-part2
38s
Challenge 24: Verify Vec Part2 safety with Kani VeriFast (negative) #1849: Pull request #599 synchronize by v3risec
33s v3risec:challenge-24-vec-part2
v3risec:challenge-24-vec-part2
33s
VeriFast (negative) VeriFast (negative) #1848: Merge group checks requested
37s
37s
VeriFast (negative) VeriFast (negative) #1847: Merge group checks requested
33s
33s
Update Kani Metrics VeriFast (negative) #1846: Pull request #699 reopened by feliperodri
33s update-kani-metrics
update-kani-metrics
33s
Update Kani Metrics VeriFast (negative) #1845: 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 (negative) #1844: Pull request #692 synchronize by kasimte
38s kasimte:challenge-23-vec-part1
kasimte:challenge-23-vec-part1
38s
Strip the crate prefix from scanner names so contract metrics match again VeriFast (negative) #1843: 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 (negative) #1842: Pull request #696 synchronize by Tianshu-Huang
40s Tianshu-Huang:metrics-strip-crate-prefix
Tianshu-Huang:metrics-strip-crate-prefix
40s
VeriFast (negative) VeriFast (negative) #1841: Merge group checks requested
42s
42s
Include alloc in the Kani metrics collected by run-kani.sh VeriFast (negative) #1840: 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 (negative) #1839: Pull request #696 opened by Tianshu-Huang
24m 22s Tianshu-Huang:metrics-strip-crate-prefix
Tianshu-Huang:metrics-strip-crate-prefix
24m 22s
Challenge 23: Verify Vec Part1 safety with Kani VeriFast (negative) #1838: Pull request #598 synchronize by v3risec
33s v3risec:challenge-23-vec-part1
v3risec:challenge-23-vec-part1
33s
Challenge 23: Verify Vec Part1 safety with Kani VeriFast (negative) #1837: Pull request #598 synchronize by v3risec
2m 59s v3risec:challenge-23-vec-part1
v3risec:challenge-23-vec-part1
2m 59s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani VeriFast (negative) #1836: Pull request #582 synchronize by v3risec
35s v3risec:challenge-26-rc
v3risec:challenge-26-rc
35s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani VeriFast (negative) #1835: Pull request #582 synchronize by v3risec
37s v3risec:challenge-26-rc
v3risec:challenge-26-rc
37s
Reject byte offsets that wrap the pointer encoding in ptr contracts VeriFast (negative) #1834: Commit fdc16bd pushed by feliperodri
14m 10s sync-2026-08-21
sync-2026-08-21
14m 10s
Update RAPx toolchain to nightly-2026-02-05 (#690) VeriFast (negative) #1833: Commit 67dfd8c pushed by github-merge-queue Bot
36s main
main
36s