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
Merge branch 'main' into llm_contracts_ty_invariants Run GOTO Transcoder (ESBMC) #40: Commit 026b849 pushed by feliperodri
22m 6s llm_contracts_ty_invariants
llm_contracts_ty_invariants
22m 6s
Undo formatting of portable-simd. Run GOTO Transcoder (ESBMC) #39: Commit 4d704a2 pushed by vonaka
15m 46s llm_08_22
llm_08_22
15m 46s
Fix from_boxed_utf8 proof Run GOTO Transcoder (ESBMC) #38: Commit 52176d3 pushed by vonaka
15m 49s llm_08_22
llm_08_22
15m 49s
Fix imports Run GOTO Transcoder (ESBMC) #37: Commit be59263 pushed by vonaka
19m 18s llm_08_22
llm_08_22
19m 18s
Merge branch 'model-checking:main' into llm_08_22 Run GOTO Transcoder (ESBMC) #36: Commit 839cf59 pushed by vonaka
17m 38s llm_08_22
llm_08_22
17m 38s
Update Kani Metrics (#478) Run GOTO Transcoder (ESBMC) #35: Commit 8de7d8f pushed by vonaka
17m 49s main
main
17m 49s
Fix imports Run GOTO Transcoder (ESBMC) #34: Commit 3704250 pushed by vonaka
16m 52s llm_08_22
llm_08_22
16m 52s
More LLM-generated pre-condition Run GOTO Transcoder (ESBMC) #33: Commit bed0eeb pushed by vonaka
16m 46s llm_08_22
llm_08_22
16m 46s
VeriFast solution for Challenge 5 (linked_list.rs) (#238) Run GOTO Transcoder (ESBMC) #32: Commit 1231f86 pushed by vonaka
21m 14s main
main
21m 14s
Merge branch 'model-checking:main' into llm_contracts_ty_invariants Run GOTO Transcoder (ESBMC) #31: Commit 58ff655 pushed by vonaka
15m 28s llm_contracts_ty_invariants
llm_contracts_ty_invariants
15m 28s
Update library/alloctests/tests/sort/known_good_stable_sort.rs Run GOTO Transcoder (ESBMC) #30: Commit 18a102c pushed by tautschnig
21m 18s llm_contracts_ty_invariants
llm_contracts_ty_invariants
21m 18s
Update library/core/src/fmt/rt.rs Run GOTO Transcoder (ESBMC) #29: Commit 81301b0 pushed by tautschnig
16m 47s llm_contracts_ty_invariants
llm_contracts_ty_invariants
16m 47s
Fix imports Run GOTO Transcoder (ESBMC) #28: Commit 751d1a7 pushed by vonaka
16m 51s llm_contracts_ty_invariants
llm_contracts_ty_invariants
16m 51s
Merge branch 'llm_contracts_ty_invariants' of github.com:vonaka/verif… Run GOTO Transcoder (ESBMC) #27: Commit 1cf8201 pushed by vonaka
17m 23s llm_contracts_ty_invariants
llm_contracts_ty_invariants
17m 23s
Merge branch 'model-checking:main' into llm_contracts_ty_invariants Run GOTO Transcoder (ESBMC) #26: Commit 00f3bc8 pushed by vonaka
17m 21s llm_contracts_ty_invariants
llm_contracts_ty_invariants
17m 21s
Merge subtree update for toolchain nightly-2025-08-18 (#467) Run GOTO Transcoder (ESBMC) #25: Commit c090506 pushed by vonaka
18m 16s main
main
18m 16s
Fix imports Run GOTO Transcoder (ESBMC) #24: Commit 9346adc pushed by vonaka
4m 18s llm_contracts_ty_invariants
llm_contracts_ty_invariants
4m 18s
Fix imports Run GOTO Transcoder (ESBMC) #23: Commit 1b72505 pushed by vonaka
6m 24s llm_contracts_ty_invariants
llm_contracts_ty_invariants
6m 24s
LLM-generated contracts + type invariants Run GOTO Transcoder (ESBMC) #22: Commit 78910a4 pushed by vonaka
5m 1s llm_contracts_ty_invariants
llm_contracts_ty_invariants
5m 1s
Add Flux to list of approved tools (#455) Run GOTO Transcoder (ESBMC) #21: Commit 80da01f pushed by vonaka
16m 8s main
main
16m 8s
Stability attribute Run GOTO Transcoder (ESBMC) #20: Commit 1242e65 pushed by tautschnig
17m 20s llm_contracts_fail
llm_contracts_fail
17m 20s
Fix syntax Run GOTO Transcoder (ESBMC) #19: Commit 9ef3aa9 pushed by tautschnig
4m 48s llm_contracts_fail
llm_contracts_fail
4m 48s
Update library/core/src/hint.rs Run GOTO Transcoder (ESBMC) #18: Commit f8afdfe pushed by tautschnig
8m 18s llm_contracts_fail
llm_contracts_fail
8m 18s
Update library/core/src/iter/adapters/step_by.rs Run GOTO Transcoder (ESBMC) #17: Commit 583e475 pushed by tautschnig
9m 35s llm_contracts_fail
llm_contracts_fail
9m 35s
Add type invariant Run GOTO Transcoder (ESBMC) #16: Commit d41de3f pushed by tautschnig
5m 12s llm_contracts_fail
llm_contracts_fail
5m 12s