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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Subtree update automation: do not use git subtree merge --squash Run GOTO Transcoder (ESBMC) #205: Pull request #292 opened by tautschnig
March 21, 2025 14:55 18m 18s tautschnig:automation-fixes
tautschnig:automation-fixes
March 21, 2025 14:55 18m 18s
Track metrics for core and std crates, add loop metrics (#258) Run GOTO Transcoder (ESBMC) #204: Commit 9aa99c3 pushed by github-merge-queue bot
March 21, 2025 00:32 17m 57s main
main
March 21, 2025 00:32 17m 57s
Track metrics for core and std crates, add loop metrics (#258) Run GOTO Transcoder (ESBMC) #203: Commit 9aa99c3 pushed by github-merge-queue bot
March 20, 2025 22:48 17m 18s gh-readonly-queue/main/pr-258-18c4e957be6782c788ce4a6a2031f11106fa8d74
gh-readonly-queue/main/pr-258-18c4e957be6782c788ce4a6a2031f11106fa8d74
March 20, 2025 22:48 17m 18s
Run GOTO Transcoder (ESBMC) Run GOTO Transcoder (ESBMC) #202: Merge group checks requested
March 20, 2025 22:48 17m 16s
March 20, 2025 22:48 17m 16s
Track metrics for core and std crates, add loop metrics Run GOTO Transcoder (ESBMC) #201: Pull request #258 synchronize by tautschnig
March 20, 2025 21:20 17m 12s tautschnig:metrics-std
tautschnig:metrics-std
March 20, 2025 21:20 17m 12s
Track metrics for core and std crates, add loop metrics Run GOTO Transcoder (ESBMC) #200: Pull request #258 synchronize by tautschnig
March 20, 2025 18:50 19m 9s tautschnig:metrics-std
tautschnig:metrics-std
March 20, 2025 18:50 19m 9s
Track metrics for core and std crates, add loop metrics (#258) Run GOTO Transcoder (ESBMC) #199: Commit ab4179e pushed by github-merge-queue bot
March 20, 2025 18:14 18m 2s gh-readonly-queue/main/pr-258-18c4e957be6782c788ce4a6a2031f11106fa8d74
gh-readonly-queue/main/pr-258-18c4e957be6782c788ce4a6a2031f11106fa8d74
March 20, 2025 18:14 18m 2s
Run GOTO Transcoder (ESBMC) Run GOTO Transcoder (ESBMC) #198: Merge group checks requested
March 20, 2025 18:14 17m 49s
March 20, 2025 18:14 17m 49s
Add Challenges 20 21 22 for str Pattern and iter Run GOTO Transcoder (ESBMC) #197: Pull request #266 synchronize by thanhnguyen-aws
March 20, 2025 17:03 17m 56s thanhnguyen-aws:strIterchallenges
thanhnguyen-aws:strIterchallenges
March 20, 2025 17:03 17m 56s
Close Challenges 6 & 14; remove optional correctness work in Challenge 12 Run GOTO Transcoder (ESBMC) #196: Pull request #247 synchronize by thanhnguyen-aws
March 20, 2025 16:38 21m 50s thanhnguyen-aws:refinechallenges
thanhnguyen-aws:refinechallenges
March 20, 2025 16:38 21m 50s
Track metrics for core and std crates, add loop metrics Run GOTO Transcoder (ESBMC) #195: Pull request #258 synchronize by tautschnig
March 20, 2025 11:52 17m 17s tautschnig:metrics-std
tautschnig:metrics-std
March 20, 2025 11:52 17m 17s
Run GOTO Transcoder (ESBMC) Run GOTO Transcoder (ESBMC) #194: Merge group checks requested
March 19, 2025 21:28 18m 12s
March 19, 2025 21:28 18m 12s
Merge subtree update for toolchain nightly-2025-03-17 Run GOTO Transcoder (ESBMC) #193: Pull request #290 synchronize by tautschnig
March 19, 2025 21:00 17m 50s sync-2025-03-17
sync-2025-03-17
March 19, 2025 21:00 17m 50s
Fixup automated mis-merge Run GOTO Transcoder (ESBMC) #192: Commit 9b0c0d6 pushed by tautschnig
March 19, 2025 21:00 19m 37s sync-2025-03-17
sync-2025-03-17
March 19, 2025 21:00 19m 37s
Add challenge 23 24 for Vec Run GOTO Transcoder (ESBMC) #191: Pull request #267 synchronize by thanhnguyen-aws
March 19, 2025 20:41 18m 41s thanhnguyen-aws:vecchallenge
thanhnguyen-aws:vecchallenge
March 19, 2025 20:41 18m 41s
Update Kani Metrics Run GOTO Transcoder (ESBMC) #190: Pull request #276 reopened by tautschnig
March 19, 2025 19:44 24m 23s update-kani-metrics
update-kani-metrics
March 19, 2025 19:44 24m 23s
Run GOTO Transcoder (ESBMC) Run GOTO Transcoder (ESBMC) #189: Merge group checks requested
March 19, 2025 17:55 17m 39s
March 19, 2025 17:55 17m 39s
Add Challenge 25: VecDeque Run GOTO Transcoder (ESBMC) #188: Pull request #269 synchronize by thanhnguyen-aws
March 19, 2025 16:45 17m 50s thanhnguyen-aws:vecdequechallenge
thanhnguyen-aws:vecdequechallenge
March 19, 2025 16:45 17m 50s
Add challenge 23 24 for Vec Run GOTO Transcoder (ESBMC) #187: Pull request #267 synchronize by thanhnguyen-aws
March 19, 2025 16:41 19m 58s thanhnguyen-aws:vecchallenge
thanhnguyen-aws:vecchallenge
March 19, 2025 16:41 19m 58s
Add challenge 23 24 for Vec Run GOTO Transcoder (ESBMC) #186: Pull request #267 synchronize by thanhnguyen-aws
March 19, 2025 16:36 17m 6s thanhnguyen-aws:vecchallenge
thanhnguyen-aws:vecchallenge
March 19, 2025 16:36 17m 6s
Add Challenges 20 21 22 for str Pattern and iter Run GOTO Transcoder (ESBMC) #185: Pull request #266 synchronize by thanhnguyen-aws
March 19, 2025 16:35 17m 40s thanhnguyen-aws:strIterchallenges
thanhnguyen-aws:strIterchallenges
March 19, 2025 16:35 17m 40s
Subtree update automation: remove extraneous library folder Run GOTO Transcoder (ESBMC) #184: Pull request #288 synchronize by thanhnguyen-aws
March 19, 2025 16:04 23m 4s tautschnig:automation-cleanup-submodule
tautschnig:automation-cleanup-submodule
March 19, 2025 16:04 23m 4s
Merge subtree update for toolchain nightly-2025-03-13 (#274) Run GOTO Transcoder (ESBMC) #183: Commit 1184942 pushed by github-merge-queue bot
March 19, 2025 16:04 23m 29s main
main
March 19, 2025 16:04 23m 29s
Add Challenges 20 21 22 for str Pattern and iter Run GOTO Transcoder (ESBMC) #182: Pull request #266 synchronize by thanhnguyen-aws
March 19, 2025 15:48 18m 31s thanhnguyen-aws:strIterchallenges
thanhnguyen-aws:strIterchallenges
March 19, 2025 15:48 18m 31s
Add Challenges 20 21 22 for str Pattern and iter Run GOTO Transcoder (ESBMC) #181: Pull request #266 synchronize by thanhnguyen-aws
March 19, 2025 15:48 18m 46s thanhnguyen-aws:strIterchallenges
thanhnguyen-aws:strIterchallenges
March 19, 2025 15:48 18m 46s
ProTip! You can narrow down the results and go further in time using created:<2025-03-19 or the other filters available.