Skip to content

Actions: vonaka/verify-rust-std

Actions

Run GOTO Transcoder (ESBMC)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
goto-transcoder.yml
40 workflow runs
40 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
Fix imports Run GOTO Transcoder (ESBMC) #15: Commit c0927a7 pushed by vonaka
19m 28s llm_contracts_fail
llm_contracts_fail
19m 28s
Fix imports Run GOTO Transcoder (ESBMC) #14: Commit 44ab559 pushed by vonaka
18m 45s llm_contracts_fail
llm_contracts_fail
18m 45s
Fix imports Run GOTO Transcoder (ESBMC) #13: Commit 743e5e4 pushed by vonaka
16m 4s llm_contracts_fail
llm_contracts_fail
16m 4s
Undo changes to stdarch Run GOTO Transcoder (ESBMC) #12: Commit 59cdd4c pushed by vonaka
16m 29s llm_contracts_fail
llm_contracts_fail
16m 29s
A bunch of LLM-generated contracts Run GOTO Transcoder (ESBMC) #11: Commit 3b7aa7b pushed by vonaka
4m 37s llm_contracts_fail
llm_contracts_fail
4m 37s
Merge subtree update for toolchain nightly-2025-08-06 (#447) Run GOTO Transcoder (ESBMC) #10: Commit 517e11e pushed by vonaka
16m 10s main
main
16m 10s
Merge branch 'main' into llm_contracts_iterator_get_unchecked Run GOTO Transcoder (ESBMC) #9: Commit eab4238 pushed by feliperodri
18m 16s llm_contracts_iterator_get_unchecked
llm_contracts_iterator_get_unchecked
18m 16s
fmt Run GOTO Transcoder (ESBMC) #8: Commit 616a43c pushed by tautschnig
26m 56s llm_contracts_iterator_get_unchecked
llm_contracts_iterator_get_unchecked
26m 56s
fmt Run GOTO Transcoder (ESBMC) #7: Commit f66c823 pushed by tautschnig
20m 18s llm_contracts_iterator_get_unchecked
llm_contracts_iterator_get_unchecked
20m 18s
fmt Run GOTO Transcoder (ESBMC) #6: Commit 4c4db85 pushed by tautschnig
20m 3s llm_contracts_iterator_get_unchecked
llm_contracts_iterator_get_unchecked
20m 3s
Another pass with Claude 3.7 as an arbiter Run GOTO Transcoder (ESBMC) #5: Commit ab019e2 pushed by vonaka
19m 10s llm_contracts_iterator_get_unchecked
llm_contracts_iterator_get_unchecked
19m 10s
LLM-generated contracts for __iterator_get_unchecked Run GOTO Transcoder (ESBMC) #4: Commit 1b1cfe6 pushed by vonaka
21m 5s llm_contracts_iterator_get_unchecked
llm_contracts_iterator_get_unchecked
21m 5s
Merge subtree update for toolchain nightly-2025-07-30 (#432) Run GOTO Transcoder (ESBMC) #3: Commit 177d0fd pushed by vonaka
20m 5s main
main
20m 5s
Generated contracts. Run GOTO Transcoder (ESBMC) #2: Commit 9684fc1 pushed by vonaka
22m 0s llm_contracts_07_30_2025
llm_contracts_07_30_2025
22m 0s
align_to and align_to_mut contract and harnesses (#405) Run GOTO Transcoder (ESBMC) #1: Commit 099ad08 pushed by vonaka
18m 42s main
main
18m 42s