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
401 workflow runs
401 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add autoharness to run-kani script and use in CI Run GOTO Transcoder (ESBMC) #401: Pull request #334 synchronize by tautschnig
April 25, 2025 21:39 17m 25s tautschnig:autoharness-support
tautschnig:autoharness-support
April 25, 2025 21:39 17m 25s
Add autoharness to run-kani script and use in CI Run GOTO Transcoder (ESBMC) #400: Pull request #334 synchronize by tautschnig
April 25, 2025 21:26 17m 15s tautschnig:autoharness-support
tautschnig:autoharness-support
April 25, 2025 21:26 17m 15s
Add autoharness to run-kani script and use in CI Run GOTO Transcoder (ESBMC) #399: Pull request #334 synchronize by tautschnig
April 25, 2025 21:13 16m 17s tautschnig:autoharness-support
tautschnig:autoharness-support
April 25, 2025 21:13 16m 17s
Parse log file of multi-threaded Kani run (terse output) into JSON Run GOTO Transcoder (ESBMC) #398: Pull request #324 synchronize by tautschnig
April 25, 2025 19:41 18m 0s tautschnig:metrics-tooling2
tautschnig:metrics-tooling2
April 25, 2025 19:41 18m 0s
Merge subtree update for toolchain nightly-2025-04-24 (#342) Run GOTO Transcoder (ESBMC) #397: Commit 23a9436 pushed by github-merge-queue bot
April 24, 2025 21:56 18m 38s main
main
April 24, 2025 21:56 18m 38s
Add autoharness to run-kani script and use in CI Run GOTO Transcoder (ESBMC) #396: Pull request #334 synchronize by tautschnig
April 24, 2025 20:19 16m 59s tautschnig:autoharness-support
tautschnig:autoharness-support
April 24, 2025 20:19 16m 59s
Add autoharness to run-kani script and use in CI Run GOTO Transcoder (ESBMC) #395: Pull request #334 synchronize by tautschnig
April 24, 2025 20:12 12s tautschnig:autoharness-support
tautschnig:autoharness-support
April 24, 2025 20:12 12s
Add autoharness to run-kani script and use in CI Run GOTO Transcoder (ESBMC) #394: Pull request #334 synchronize by tautschnig
April 24, 2025 20:08 17m 16s tautschnig:autoharness-support
tautschnig:autoharness-support
April 24, 2025 20:08 17m 16s
Merge subtree update for toolchain nightly-2025-04-24 (#342) Run GOTO Transcoder (ESBMC) #393: Commit 23a9436 pushed by github-merge-queue bot
April 24, 2025 19:58 17m 0s gh-readonly-queue/main/pr-342-c28334fd1c1b21108d212070a939cbdf43f4eefa
gh-readonly-queue/main/pr-342-c28334fd1c1b21108d212070a939cbdf43f4eefa
April 24, 2025 19:58 17m 0s
Run GOTO Transcoder (ESBMC) Run GOTO Transcoder (ESBMC) #392: Merge group checks requested
April 24, 2025 19:58 17m 19s
April 24, 2025 19:58 17m 19s
Run GOTO Transcoder (ESBMC) Run GOTO Transcoder (ESBMC) #391: Merge group checks requested
April 24, 2025 16:03 17m 4s
April 24, 2025 16:03 17m 4s
Merge subtree update for toolchain nightly-2025-04-24 Run GOTO Transcoder (ESBMC) #390: Pull request #342 synchronize by carolynzech
April 24, 2025 15:37 17m 27s sync-2025-04-24
sync-2025-04-24
April 24, 2025 15:37 17m 27s
fix conflicts Run GOTO Transcoder (ESBMC) #389: Commit 9771247 pushed by carolynzech
April 24, 2025 15:35 17m 40s sync-2025-04-24
sync-2025-04-24
April 24, 2025 15:35 17m 40s
Parse log file of multi-threaded Kani run (terse output) into JSON Run GOTO Transcoder (ESBMC) #388: Pull request #324 synchronize by tautschnig
April 24, 2025 12:16 17m 44s tautschnig:metrics-tooling2
tautschnig:metrics-tooling2
April 24, 2025 12:16 17m 44s
NonZero (unchecked_mul & unchecked_add) Proof for Contracts Run GOTO Transcoder (ESBMC) #387: Pull request #338 synchronize by tautschnig
April 24, 2025 11:50 17m 39s tautschnig:unchecked_mull_add
tautschnig:unchecked_mull_add
April 24, 2025 11:50 17m 39s
NonZero (unchecked_mul & unchecked_add) Proof for Contracts Run GOTO Transcoder (ESBMC) #386: Pull request #338 synchronize by tautschnig
April 24, 2025 11:16 16m 20s tautschnig:unchecked_mull_add
tautschnig:unchecked_mull_add
April 24, 2025 11:16 16m 20s
NonZero (unchecked_mul & unchecked_add) Proof for Contracts Run GOTO Transcoder (ESBMC) #385: Pull request #338 synchronize by tautschnig
April 24, 2025 10:37 17m 54s tautschnig:unchecked_mull_add
tautschnig:unchecked_mull_add
April 24, 2025 10:37 17m 54s
Merge subtree update for toolchain nightly-2025-04-23 (#340) Run GOTO Transcoder (ESBMC) #384: Commit 75bf5ce pushed by github-merge-queue bot
April 24, 2025 10:00 16m 14s main
main
April 24, 2025 10:00 16m 14s
NonZero (unchecked_mul & unchecked_add) Proof for Contracts Run GOTO Transcoder (ESBMC) #383: Pull request #338 synchronize by tautschnig
April 24, 2025 09:28 16m 58s tautschnig:unchecked_mull_add
tautschnig:unchecked_mull_add
April 24, 2025 09:28 16m 58s
Add autoharness to run-kani script and use in CI Run GOTO Transcoder (ESBMC) #382: Pull request #334 synchronize by tautschnig
April 24, 2025 08:55 17m 56s tautschnig:autoharness-support
tautschnig:autoharness-support
April 24, 2025 08:55 17m 56s
Add autoharness to run-kani script and use in CI Run GOTO Transcoder (ESBMC) #381: Pull request #334 synchronize by tautschnig
April 24, 2025 08:04 3m 58s tautschnig:autoharness-support
tautschnig:autoharness-support
April 24, 2025 08:04 3m 58s
Merge subtree update for toolchain nightly-2025-04-23 (#340) Run GOTO Transcoder (ESBMC) #380: Commit 75bf5ce pushed by github-merge-queue bot
April 24, 2025 08:03 16m 54s gh-readonly-queue/main/pr-340-5cf80a84afdeceec0d85e790a5cc585ff2e513ed
gh-readonly-queue/main/pr-340-5cf80a84afdeceec0d85e790a5cc585ff2e513ed
April 24, 2025 08:03 16m 54s
Run GOTO Transcoder (ESBMC) Run GOTO Transcoder (ESBMC) #379: Merge group checks requested
April 24, 2025 08:03 16m 43s
April 24, 2025 08:03 16m 43s
Merge subtree update for toolchain nightly-2025-04-23 Run GOTO Transcoder (ESBMC) #378: Pull request #340 reopened by carolynzech
April 23, 2025 14:19 18m 43s sync-2025-04-23
sync-2025-04-23
April 23, 2025 14:19 18m 43s
NonZero (unchecked_mul & unchecked_add) Proof for Contracts Run GOTO Transcoder (ESBMC) #377: Pull request #338 synchronize by tautschnig
April 23, 2025 13:12 4m 22s tautschnig:unchecked_mull_add
tautschnig:unchecked_mull_add
April 23, 2025 13:12 4m 22s