Skip to content

Actions: model-checking/verify-rust-std

Actions

Run GOTO Transcoder (ESBMC)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
goto-transcoder.yml
1,142 workflow runs
1,142 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 Run GOTO Transcoder (ESBMC) #2146: Pull request #639 synchronize by sankalpsthakur
17m 18s sankalpsthakur:challenge/29-boxed
sankalpsthakur:challenge/29-boxed
17m 18s
Run GOTO Transcoder (ESBMC) Run GOTO Transcoder (ESBMC) #2145: Merge group checks requested
17m 46s
17m 46s
Merge subtree update for toolchain nightly-2026-10-23 (#745) Run GOTO Transcoder (ESBMC) #2144: Commit f960670 pushed by github-merge-queue Bot
20m 32s gh-readonly-queue/main/pr-745-233f96f66ab3785881cead133817ed5db4c76b09
gh-readonly-queue/main/pr-745-233f96f66ab3785881cead133817ed5db4c76b09
20m 32s
New challenge: Verify the safety of BinaryHeap functions Run GOTO Transcoder (ESBMC) #2143: Pull request #747 synchronize by Kieran-Hulsman
38m 46s Kieran-Hulsman:kieran/binary-heap-challenge
Kieran-Hulsman:kieran/binary-heap-challenge
38m 46s
Challenge 2: memory safety of raw-pointer intrinsics Run GOTO Transcoder (ESBMC) #2142: Pull request #649 synchronize by stefanzetzsche
12m 26s stefanzetzsche:intrinsics-challenge-2
stefanzetzsche:intrinsics-challenge-2
12m 26s
Challenge 20: Unbounded proofs for the char Searchers of str::pattern Run GOTO Transcoder (ESBMC) #2141: Pull request #740 synchronize by hung1962003
15m 50s hung1962003:challenge-20-char-searchers
hung1962003:challenge-20-char-searchers
15m 50s
New challenge: Verify the safety of BinaryHeap functions Run GOTO Transcoder (ESBMC) #2140: Pull request #747 opened by Kieran-Hulsman
22m 7s Kieran-Hulsman:kieran/binary-heap-challenge
Kieran-Hulsman:kieran/binary-heap-challenge
22m 7s
Merge subtree update for toolchain nightly-2026-10-23 Run GOTO Transcoder (ESBMC) #2139: Pull request #745 opened by github-actions Bot
17m 37s sync-2026-10-23
sync-2026-10-23
17m 37s
Challenge 7: Verify safety of Atomic types and Atomic Intrinsics with Kani Run GOTO Transcoder (ESBMC) #2138: Pull request #683 synchronize by v3risec
15m 20s v3risec:challenge-7-atomic
v3risec:challenge-7-atomic
15m 20s
Challenge 18: Verify Slice Iter safety with Kani Run GOTO Transcoder (ESBMC) #2137: Pull request #744 synchronize by v3risec
34m 56s v3risec:challenge-18-slice-iter
v3risec:challenge-18-slice-iter
34m 56s
Challenge 18: Verify Slice Iter safety with Kani Run GOTO Transcoder (ESBMC) #2136: Pull request #744 opened by v3risec
26m 45s v3risec:challenge-18-slice-iter
v3risec:challenge-18-slice-iter
26m 45s
Challenge 21: Verify safety of StrSearcher with Kani Run GOTO Transcoder (ESBMC) #2135: Pull request #621 synchronize by v3risec
4m 10s v3risec:challenge-21-string-searcher
v3risec:challenge-21-string-searcher
4m 10s
Challenge 7: Verify safety of Atomic types and Atomic Intrinsics with Kani Run GOTO Transcoder (ESBMC) #2134: Pull request #683 synchronize by v3risec
4m 20s v3risec:challenge-7-atomic
v3risec:challenge-7-atomic
4m 20s
Challenge 29: Kani contracts for Box, convert, and ThinBox Run GOTO Transcoder (ESBMC) #2133: Pull request #639 synchronize by sankalpsthakur
14m 33s sankalpsthakur:challenge/29-boxed
sankalpsthakur:challenge/29-boxed
14m 33s
New challenge: Safety and correctness of integer logarithms Run GOTO Transcoder (ESBMC) #2132: Pull request #729 synchronize by Kieran-Hulsman
13m 14s Kieran-Hulsman:kieran/ilog-challenge-proposal
Kieran-Hulsman:kieran/ilog-challenge-proposal
13m 14s
Merge subtree update for toolchain nightly-2026-10-22 (#737) Run GOTO Transcoder (ESBMC) #2131: Commit 233f96f pushed by github-merge-queue Bot
9m 51s main
main
9m 51s
Merge subtree update for toolchain nightly-2026-10-22 (#737) Run GOTO Transcoder (ESBMC) #2130: Commit 233f96f pushed by github-merge-queue Bot
14m 37s gh-readonly-queue/main/pr-737-71410213d76deef6b6c76a00bbfac72731efccdf
gh-readonly-queue/main/pr-737-71410213d76deef6b6c76a00bbfac72731efccdf
14m 37s
Run GOTO Transcoder (ESBMC) Run GOTO Transcoder (ESBMC) #2129: Merge group checks requested
13m 57s
13m 57s
New challenge: Safety and correctness of integer logarithms Run GOTO Transcoder (ESBMC) #2128: Pull request #729 synchronize by feliperodri
14m 41s Kieran-Hulsman:kieran/ilog-challenge-proposal
Kieran-Hulsman:kieran/ilog-challenge-proposal
14m 41s
Run GOTO Transcoder (ESBMC) Run GOTO Transcoder (ESBMC) #2127: Merge group checks requested
10m 4s
10m 4s
Run autoharness jobs only in the merge queue Run GOTO Transcoder (ESBMC) #2126: Pull request #738 synchronize by feliperodri
14m 34s Tianshu-Huang:ci-autoharness-merge-queue
Tianshu-Huang:ci-autoharness-merge-queue
14m 34s
Challenge 23: verify Vec mod.rs function safety with Kani Run GOTO Transcoder (ESBMC) #2125: Pull request #692 synchronize by kasimte
14m 32s kasimte:challenge-23-vec-part1
kasimte:challenge-23-vec-part1
14m 32s
Challenge 20: Verify char-class Searcher safety in str::pattern with Kani Run GOTO Transcoder (ESBMC) #2124: Pull request #722 synchronize by kasimte
15m 8s kasimte:20-build-s2
kasimte:20-build-s2
15m 8s
Run autoharness jobs only in the merge queue Run GOTO Transcoder (ESBMC) #2123: Pull request #738 synchronize by feliperodri
13m 32s Tianshu-Huang:ci-autoharness-merge-queue
Tianshu-Huang:ci-autoharness-merge-queue
13m 32s
Run autoharness jobs only in the merge queue Run GOTO Transcoder (ESBMC) #2122: Pull request #738 synchronize by feliperodri
12m 12s Tianshu-Huang:ci-autoharness-merge-queue
Tianshu-Huang:ci-autoharness-merge-queue
12m 12s