Skip to content

Actions: model-checking/verify-rust-std

Actions

Testable simd models

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
testable-simd-models.yml
864 workflow runs
864 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 23: verify Vec mod.rs function safety with Kani Testable simd models #873: Pull request #692 synchronize by kasimte
5m 2s kasimte:challenge-23-vec-part1
kasimte:challenge-23-vec-part1
5m 2s
Challenge 24: verify Vec IntoIter and spec_* function safety with Kani Testable simd models #872: Pull request #689 synchronize by kasimte
8m 13s kasimte:24-build
kasimte:24-build
8m 13s
Challenge 26: Verify the safety of Rc and Weak in alloc::rc Testable simd models #871: Pull request #661 synchronize by kasimte
5m 32s kasimte:challenge-26
kasimte:challenge-26
5m 32s
Challenge 10: Verify memory safety of String functions with Kani Testable simd models #870: Pull request #702 synchronize by Talha-Dmr
5m 2s Talha-Dmr:challenge-10-string
Talha-Dmr:challenge-10-string
5m 2s
Challenge 22: Verify the safety of str iter functions Testable simd models #869: Pull request #706 opened by kasimte
24m 53s kasimte:merlin
kasimte:merlin
24m 53s
Verify safety of slice functions (Challenge 17) Testable simd models #868: Pull request #703 synchronize by kasimte
20m 54s kasimte:ch17-slice
kasimte:ch17-slice
20m 54s
Challenge 10: Verify memory safety of String functions with Kani Testable simd models #867: Pull request #702 synchronize by Talha-Dmr
1h 3m 24s Talha-Dmr:challenge-10-string
Talha-Dmr:challenge-10-string
1h 3m 24s
Challenge 13: contracts and proofs for CStr trait implementations and safe methods Testable simd models #866: Pull request #670 synchronize by kasimte
4m 5s kasimte:challenge-13-cstr
kasimte:challenge-13-cstr
4m 5s
Add CI-generated autoharness dashboard Testable simd models #865: Pull request #700 synchronize by wodex1nhaoIeng
5m 6s wodex1nhaoIeng:dashboard-ci
wodex1nhaoIeng:dashboard-ci
5m 6s
Add CI-generated autoharness dashboard Testable simd models #864: Pull request #700 synchronize by wodex1nhaoIeng
4m 56s wodex1nhaoIeng:dashboard-ci
wodex1nhaoIeng:dashboard-ci
4m 56s
Verify safety of slice functions (Challenge 17) Testable simd models #863: Pull request #703 opened by kasimte
9m 55s kasimte:ch17-slice
kasimte:ch17-slice
9m 55s
Challenge 10: Verify memory safety of String functions with Kani Testable simd models #862: Pull request #702 synchronize by Talha-Dmr
28m 9s Talha-Dmr:challenge-10-string
Talha-Dmr:challenge-10-string
28m 9s
Challenge 10: Verify memory safety of String functions with Kani Testable simd models #861: Pull request #702 opened by Talha-Dmr
30m 43s Talha-Dmr:challenge-10-string
Talha-Dmr:challenge-10-string
30m 43s
Challenge 8: Verify SmallSort with Kani Testable simd models #860: Pull request #701 opened by v3risec
32m 46s v3risec:challenge-8-smallsort
v3risec:challenge-8-smallsort
32m 46s
Challenge 17: Verify slice safety with Kani Testable simd models #859: Pull request #657 synchronize by v3risec
5m 1s v3risec:challenge-17-slice
v3risec:challenge-17-slice
5m 1s
Add CI-generated autoharness dashboard Testable simd models #858: Pull request #700 opened by wodex1nhaoIeng
17m 5s wodex1nhaoIeng:dashboard-ci
wodex1nhaoIeng:dashboard-ci
17m 5s
Challenge 24: verify Vec IntoIter and spec_* function safety with Kani Testable simd models #857: Pull request #689 synchronize by kasimte
31m 48s kasimte:24-build
kasimte:24-build
31m 48s
Challenge 24: Verify Vec Part2 safety with Kani Testable simd models #856: Pull request #599 synchronize by v3risec
5m 35s v3risec:challenge-24-vec-part2
v3risec:challenge-24-vec-part2
5m 35s
Challenge 24: Verify Vec Part2 safety with Kani Testable simd models #855: Pull request #599 synchronize by v3risec
5m 5s v3risec:challenge-24-vec-part2
v3risec:challenge-24-vec-part2
5m 5s
Testable simd models Testable simd models #854: Merge group checks requested
4m 4s
4m 4s
Testable simd models Testable simd models #853: Merge group checks requested
4m 6s
4m 6s
Update Kani Metrics Testable simd models #852: Pull request #699 reopened by feliperodri
3m 44s update-kani-metrics
update-kani-metrics
3m 44s
Update Kani Metrics Testable simd models #851: 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 Testable simd models #850: Pull request #692 synchronize by kasimte
3m 46s kasimte:challenge-23-vec-part1
kasimte:challenge-23-vec-part1
3m 46s
Strip the crate prefix from scanner names so contract metrics match again Testable simd models #849: Pull request #696 synchronize by Tianshu-Huang
5m 1s Tianshu-Huang:metrics-strip-crate-prefix
Tianshu-Huang:metrics-strip-crate-prefix
5m 1s