Run GOTO Transcoder (ESBMC)

Workflow runs for Run GOTO Transcoder (ESBMC)

• Challenge 18: Verify Slice Iter safety with Kani

  completed successfully:
  Run GOTO Transcoder (ESBMC)#2137:Pull request#744synchronizebyv3risec
  v3risec:challenge-18-slice-iter

  Nov 3, 202634m 56s
  More actions for workflow run 2137

• Challenge 18: Verify Slice Iter safety with Kani

  completed successfully:
  Run GOTO Transcoder (ESBMC)#2136:Pull request#744openedbyv3risec
  v3risec:challenge-18-slice-iter

  Nov 3, 202626m 45s
  More actions for workflow run 2136

• Challenge 21: Verify safety of StrSearcher with Kani

  failed:
  Run GOTO Transcoder (ESBMC)#2135:Pull request#621synchronizebyv3risec
  v3risec:challenge-21-string-searcher

  Nov 3, 20264m 10s
  More actions for workflow run 2135

• Challenge 7: Verify safety of Atomic types and Atomic Intrinsics with Kani

  failed:
  Run GOTO Transcoder (ESBMC)#2134:Pull request#683synchronizebyv3risec
  v3risec:challenge-7-atomic

  Nov 3, 20264m 20s
  More actions for workflow run 2134

• Challenge 29: Kani contracts for Box, convert, and ThinBox

  completed successfully:
  Run GOTO Transcoder (ESBMC)#2133:Pull request#639synchronizebysankalpsthakur
  sankalpsthakur:challenge/29-boxed

  Nov 3, 202614m 33s
  More actions for workflow run 2133

• New challenge: Safety and correctness of integer logarithms

  completed successfully:
  Run GOTO Transcoder (ESBMC)#2132:Pull request#729synchronizebyKieran-Hulsman
  Kieran-Hulsman:kieran/ilog-challenge-proposal

  Nov 3, 202613m 14s
  More actions for workflow run 2132

• Merge subtree update for toolchain nightly-2026-10-22 (#737)

  completed successfully:
  Run GOTO Transcoder (ESBMC)#2131:Commit233f96fpushedbygithub-merge-queue[bot]Bot
  main

  Nov 3, 20269m 51s
  More actions for workflow run 2131

• Merge subtree update for toolchain nightly-2026-10-22 (#737)

  completed successfully:
  Run GOTO Transcoder (ESBMC)#2130:Commit233f96fpushedbygithub-merge-queue[bot]Bot
  gh-readonly-queue/main/pr-737-71410213d76deef6b6c76a00bbfac72731efccdf

  Nov 2, 202614m 37s
  More actions for workflow run 2130

• Run GOTO Transcoder (ESBMC)

  completed successfully:
  Run GOTO Transcoder (ESBMC)#2129:Merge group checks requested
  Nov 2, 202613m 57s
  More actions for workflow run 2129

• New challenge: Safety and correctness of integer logarithms

  completed successfully:
  Run GOTO Transcoder (ESBMC)#2128:Pull request#729synchronizebyfeliperodri
  Kieran-Hulsman:kieran/ilog-challenge-proposal

  Nov 2, 202614m 41s
  More actions for workflow run 2128

• Run GOTO Transcoder (ESBMC)

  completed successfully:
  Run GOTO Transcoder (ESBMC)#2127:Merge group checks requested
  Nov 2, 202610m 4s
  More actions for workflow run 2127

• Run autoharness jobs only in the merge queue

  completed successfully:
  Run GOTO Transcoder (ESBMC)#2126:Pull request#738synchronizebyfeliperodri
  Tianshu-Huang:ci-autoharness-merge-queue

  Nov 2, 202614m 34s
  More actions for workflow run 2126

• Challenge 23: verify Vec mod.rs function safety with Kani

  completed successfully:
  Run GOTO Transcoder (ESBMC)#2125:Pull request#692synchronizebykasimte
  kasimte:challenge-23-vec-part1

  Nov 1, 202614m 32s
  More actions for workflow run 2125

• Challenge 20: Verify char-class Searcher safety in str::pattern with Kani

  completed successfully:
  Run GOTO Transcoder (ESBMC)#2124:Pull request#722synchronizebykasimte
  kasimte:20-build-s2

  Oct 31, 202615m 8s
  More actions for workflow run 2124

• Run autoharness jobs only in the merge queue

  completed successfully:
  Run GOTO Transcoder (ESBMC)#2123:Pull request#738synchronizebyfeliperodri
  Tianshu-Huang:ci-autoharness-merge-queue

  Oct 30, 202613m 32s
  More actions for workflow run 2123

• Run autoharness jobs only in the merge queue

  completed successfully:
  Run GOTO Transcoder (ESBMC)#2122:Pull request#738synchronizebyfeliperodri
  Tianshu-Huang:ci-autoharness-merge-queue

  Oct 30, 202612m 12s
  More actions for workflow run 2122

• Challenge 17: Verify the safety of core::slice functions with VeriFast

  completed successfully:
  Run GOTO Transcoder (ESBMC)#2121:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 28, 20261h 29m 29s
  More actions for workflow run 2121

• Challenge 20: Unbounded proofs for the char Searchers of str::pattern

  completed successfully:
  Run GOTO Transcoder (ESBMC)#2120:Pull request#740synchronizebyhung1962003
  hung1962003:challenge-20-char-searchers

  Oct 28, 20262h 55m 46s
  More actions for workflow run 2120

• Challenge 20: Unbounded proofs for the char Searchers of str::pattern

  completed successfully:
  Run GOTO Transcoder (ESBMC)#2119:Pull request#740synchronizebyhung1962003
  hung1962003:challenge-20-char-searchers

  Oct 28, 20261h 15m 41s
  More actions for workflow run 2119

• Challenge 17: Verify the safety of core::slice functions with VeriFast

  completed successfully:
  Run GOTO Transcoder (ESBMC)#2118:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 28, 202636m 15s
  More actions for workflow run 2118

• Challenge 17: Verify the safety of core::slice functions with VeriFast

  completed successfully:
  Run GOTO Transcoder (ESBMC)#2117:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 28, 202626m 27s
  More actions for workflow run 2117

• Challenge 17: Verify the safety of core::slice functions with VeriFast

  completed successfully:
  Run GOTO Transcoder (ESBMC)#2116:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 28, 202617m 24s
  More actions for workflow run 2116

• Challenge 17: Verify the safety of core::slice functions with VeriFast

  completed successfully:
  Run GOTO Transcoder (ESBMC)#2115:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 28, 202613m 58s
  More actions for workflow run 2115

• Challenge 17: Verify the safety of core::slice functions with VeriFast

  completed successfully:
  Run GOTO Transcoder (ESBMC)#2114:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 28, 202615m 58s
  More actions for workflow run 2114

• Challenge 20: Unbounded proofs for the char Searchers of str::pattern

  completed successfully:
  Run GOTO Transcoder (ESBMC)#2113:Pull request#740synchronizebyhung1962003
  hung1962003:challenge-20-char-searchers

  Oct 28, 202617m 23s
  More actions for workflow run 2113