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
1,048 workflow runs
1,048 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 29: Kani contracts for Box, convert, and ThinBox Testable simd models #1062: Pull request #639 synchronize by sankalpsthakur
4m 12s sankalpsthakur:challenge/29-boxed
sankalpsthakur:challenge/29-boxed
4m 12s
Testable simd models Testable simd models #1061: Merge group checks requested
8m 22s
8m 22s
New challenge: Verify the safety of BinaryHeap functions Testable simd models #1060: Pull request #747 synchronize by Kieran-Hulsman
27m 38s Kieran-Hulsman:kieran/binary-heap-challenge
Kieran-Hulsman:kieran/binary-heap-challenge
27m 38s
Challenge 2: memory safety of raw-pointer intrinsics Testable simd models #1059: Pull request #649 synchronize by stefanzetzsche
4m 41s stefanzetzsche:intrinsics-challenge-2
stefanzetzsche:intrinsics-challenge-2
4m 41s
Challenge 20: Unbounded proofs for the char Searchers of str::pattern Testable simd models #1058: Pull request #740 synchronize by hung1962003
4m 41s hung1962003:challenge-20-char-searchers
hung1962003:challenge-20-char-searchers
4m 41s
New challenge: Verify the safety of BinaryHeap functions Testable simd models #1057: Pull request #747 opened by Kieran-Hulsman
10m 38s Kieran-Hulsman:kieran/binary-heap-challenge
Kieran-Hulsman:kieran/binary-heap-challenge
10m 38s
Merge subtree update for toolchain nightly-2026-10-23 Testable simd models #1056: Pull request #745 opened by github-actions Bot
6m 1s sync-2026-10-23
sync-2026-10-23
6m 1s
Challenge 7: Verify safety of Atomic types and Atomic Intrinsics with Kani Testable simd models #1055: Pull request #683 synchronize by v3risec
4m 38s v3risec:challenge-7-atomic
v3risec:challenge-7-atomic
4m 38s
Challenge 18: Verify Slice Iter safety with Kani Testable simd models #1054: Pull request #744 synchronize by v3risec
3m 6s v3risec:challenge-18-slice-iter
v3risec:challenge-18-slice-iter
3m 6s
Challenge 18: Verify Slice Iter safety with Kani Testable simd models #1053: Pull request #744 opened by v3risec
4m 40s v3risec:challenge-18-slice-iter
v3risec:challenge-18-slice-iter
4m 40s
Challenge 21: Verify safety of StrSearcher with Kani Testable simd models #1052: Pull request #621 synchronize by v3risec
4m 0s v3risec:challenge-21-string-searcher
v3risec:challenge-21-string-searcher
4m 0s
Challenge 7: Verify safety of Atomic types and Atomic Intrinsics with Kani Testable simd models #1051: Pull request #683 synchronize by v3risec
4m 44s v3risec:challenge-7-atomic
v3risec:challenge-7-atomic
4m 44s
Challenge 29: Kani contracts for Box, convert, and ThinBox Testable simd models #1050: Pull request #639 synchronize by sankalpsthakur
4m 45s sankalpsthakur:challenge/29-boxed
sankalpsthakur:challenge/29-boxed
4m 45s
New challenge: Safety and correctness of integer logarithms Testable simd models #1049: Pull request #729 synchronize by Kieran-Hulsman
4m 40s Kieran-Hulsman:kieran/ilog-challenge-proposal
Kieran-Hulsman:kieran/ilog-challenge-proposal
4m 40s
Testable simd models Testable simd models #1048: Merge group checks requested
3m 40s
3m 40s
New challenge: Safety and correctness of integer logarithms Testable simd models #1047: Pull request #729 synchronize by feliperodri
4m 46s Kieran-Hulsman:kieran/ilog-challenge-proposal
Kieran-Hulsman:kieran/ilog-challenge-proposal
4m 46s
Testable simd models Testable simd models #1046: Merge group checks requested
4m 42s
4m 42s
Run autoharness jobs only in the merge queue Testable simd models #1045: Pull request #738 synchronize by feliperodri
2m 35s Tianshu-Huang:ci-autoharness-merge-queue
Tianshu-Huang:ci-autoharness-merge-queue
2m 35s
Challenge 23: verify Vec mod.rs function safety with Kani Testable simd models #1044: Pull request #692 synchronize by kasimte
3m 7s kasimte:challenge-23-vec-part1
kasimte:challenge-23-vec-part1
3m 7s
Challenge 20: Verify char-class Searcher safety in str::pattern with Kani Testable simd models #1043: Pull request #722 synchronize by kasimte
4m 1s kasimte:20-build-s2
kasimte:20-build-s2
4m 1s
Run autoharness jobs only in the merge queue Testable simd models #1042: Pull request #738 synchronize by feliperodri
4m 44s Tianshu-Huang:ci-autoharness-merge-queue
Tianshu-Huang:ci-autoharness-merge-queue
4m 44s
Run autoharness jobs only in the merge queue Testable simd models #1041: Pull request #738 synchronize by feliperodri
2m 48s Tianshu-Huang:ci-autoharness-merge-queue
Tianshu-Huang:ci-autoharness-merge-queue
2m 48s
Challenge 17: Verify the safety of core::slice functions with VeriFast Testable simd models #1040: Pull request #742 synchronize by paulocsanz
1h 21m 42s paulocsanz:challenge17-verifast-slice
paulocsanz:challenge17-verifast-slice
1h 21m 42s
Challenge 20: Unbounded proofs for the char Searchers of str::pattern Testable simd models #1039: Pull request #740 synchronize by hung1962003
2h 45m 26s hung1962003:challenge-20-char-searchers
hung1962003:challenge-20-char-searchers
2h 45m 26s
Challenge 20: Unbounded proofs for the char Searchers of str::pattern Testable simd models #1038: Pull request #740 synchronize by hung1962003
1h 4m 59s hung1962003:challenge-20-char-searchers
hung1962003:challenge-20-char-searchers
1h 4m 59s