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,127 workflow runs
1,127 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Run GOTO Transcoder (ESBMC) Run GOTO Transcoder (ESBMC) #1027: Merge group checks requested
16m 43s
16m 43s
Remove spurious comments about the need for quantifiers (#457) Run GOTO Transcoder (ESBMC) #1026: Commit 6be9ca4 pushed by github-merge-queue bot
15m 11s main
main
15m 11s
Run GOTO Transcoder (ESBMC) Run GOTO Transcoder (ESBMC) #1025: Merge group checks requested
17m 25s
17m 25s
Remove spurious comments about the need for quantifiers (#457) Run GOTO Transcoder (ESBMC) #1024: Commit 6be9ca4 pushed by github-merge-queue bot
15m 44s gh-readonly-queue/main/pr-457-53e9e1b08363d315c246e14e5f9988466c0d2683
gh-readonly-queue/main/pr-457-53e9e1b08363d315c246e14e5f9988466c0d2683
15m 44s
Run GOTO Transcoder (ESBMC) Run GOTO Transcoder (ESBMC) #1023: Merge group checks requested
15m 44s
15m 44s
Merge subtree update for toolchain nightly-2025-09-09 Run GOTO Transcoder (ESBMC) #1022: Pull request #488 synchronize by feliperodri
22m 1s sync-2025-09-09
sync-2025-09-09
22m 1s
Update README.md now that Challenge 1 is resolved Run GOTO Transcoder (ESBMC) #1021: Pull request #486 synchronize by feliperodri
15m 59s tautschnig:update-readme-challenge-1
tautschnig:update-readme-challenge-1
15m 59s
LLM-generated contracts Run GOTO Transcoder (ESBMC) #1020: Pull request #473 synchronize by feliperodri
16m 41s vonaka:llm_contracts_ty_invariants
vonaka:llm_contracts_ty_invariants
16m 41s
Remove spurious comments about the need for quantifiers Run GOTO Transcoder (ESBMC) #1019: Pull request #457 synchronize by feliperodri
14m 47s tautschnig:use-quantifiers
tautschnig:use-quantifiers
14m 47s
Add loop invariants and harnesses for DecimalSeq functions Run GOTO Transcoder (ESBMC) #1018: Pull request #439 synchronize by feliperodri
16m 19s thanhnguyen-aws:decseqinvariant
thanhnguyen-aws:decseqinvariant
16m 19s
Add loop_invariant and harness for array reverse Run GOTO Transcoder (ESBMC) #1017: Pull request #430 synchronize by feliperodri
17m 53s thanhnguyen-aws:reverseinvariant
thanhnguyen-aws:reverseinvariant
17m 53s
add unsafe-finder tool Run GOTO Transcoder (ESBMC) #1016: Pull request #369 synchronize by feliperodri
15m 44s patricklam:unsafe-finder-tool
patricklam:unsafe-finder-tool
15m 44s
Add and update rewards to open challenges lacking one Run GOTO Transcoder (ESBMC) #1015: Pull request #459 synchronize by feliperodri
15m 2s tautschnig:add-rewards
tautschnig:add-rewards
15m 2s
Add and update rewards to open challenges lacking one Run GOTO Transcoder (ESBMC) #1014: Pull request #459 synchronize by feliperodri
16m 57s tautschnig:add-rewards
tautschnig:add-rewards
16m 57s
Add and update rewards to open challenges lacking one Run GOTO Transcoder (ESBMC) #1013: Pull request #459 synchronize by feliperodri
17m 5s tautschnig:add-rewards
tautschnig:add-rewards
17m 5s
iter: add kani proof for next_unchecked (#280) Run GOTO Transcoder (ESBMC) #1012: Pull request #501 opened by 0xllx0
16m 48s 0xllx0:model-checking/iter-next-unchecked
0xllx0:model-checking/iter-next-unchecked
16m 48s
Run GOTO Transcoder (ESBMC) Run GOTO Transcoder (ESBMC) #1011: Merge group checks requested
17m 24s
17m 24s
Update Kani Metrics Run GOTO Transcoder (ESBMC) #1010: Pull request #497 reopened by tautschnig
16m 33s update-kani-metrics
update-kani-metrics
16m 33s
Run GOTO Transcoder (ESBMC) Run GOTO Transcoder (ESBMC) #1009: Merge group checks requested
18m 59s
18m 59s
Update Kani Metrics Run GOTO Transcoder (ESBMC) #1008: Pull request #496 reopened by tautschnig
16m 9s update-kani-metrics
update-kani-metrics
16m 9s
Add loop invariant and harness for repeat Run GOTO Transcoder (ESBMC) #1007: Pull request #468 synchronize by thanhnguyen-aws
15m 57s thanhnguyen-aws:repeatinvariant
thanhnguyen-aws:repeatinvariant
15m 57s
add unsafe-finder tool Run GOTO Transcoder (ESBMC) #1006: Pull request #369 synchronize by patricklam
16m 30s patricklam:unsafe-finder-tool
patricklam:unsafe-finder-tool
16m 30s
add unsafe-finder tool Run GOTO Transcoder (ESBMC) #1005: Pull request #369 synchronize by patricklam
15m 0s patricklam:unsafe-finder-tool
patricklam:unsafe-finder-tool
15m 0s
add unsafe-finder tool Run GOTO Transcoder (ESBMC) #1004: Pull request #369 synchronize by patricklam
17m 6s patricklam:unsafe-finder-tool
patricklam:unsafe-finder-tool
17m 6s
Run GOTO Transcoder (ESBMC) Run GOTO Transcoder (ESBMC) #1003: Merge group checks requested
14m 55s
14m 55s