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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge subtree update for toolchain nightly-2025-10-09 Run GOTO Transcoder (ESBMC) #1060: Pull request #504 synchronize by feliperodri
15m 15s sync-2025-10-09
sync-2025-10-09
15m 15s
Fix flux to work with 2025-10-09 (#513) Run GOTO Transcoder (ESBMC) #1059: Commit f526099 pushed by feliperodri
15m 22s sync-2025-10-09
sync-2025-10-09
15m 22s
Run GOTO Transcoder (ESBMC) Run GOTO Transcoder (ESBMC) #1058: Merge group checks requested
15m 23s
15m 23s
Update Kani Metrics Run GOTO Transcoder (ESBMC) #1057: Pull request #511 reopened by tautschnig
16m 1s update-kani-metrics
update-kani-metrics
16m 1s
Update Kani Metrics Run GOTO Transcoder (ESBMC) #1056: Pull request #511 reopened by tautschnig
14m 43s update-kani-metrics
update-kani-metrics
14m 43s
Add RAPx tool description and CI workflow Run GOTO Transcoder (ESBMC) #1055: Pull request #491 synchronize by DiuDiu777
14m 40s Artisan-Lab:rapx-verify-std
Artisan-Lab:rapx-verify-std
14m 40s
Clarify documentation of can_dereference with write permissions (#510) Run GOTO Transcoder (ESBMC) #1054: Commit b5775bd pushed by github-merge-queue bot
15m 7s main
main
15m 7s
Clarify documentation of can_dereference with write permissions (#510) Run GOTO Transcoder (ESBMC) #1053: Commit b5775bd pushed by github-merge-queue bot
19m 31s gh-readonly-queue/main/pr-510-78e9eb345ae768b5b8191a5f3deb2c5619542fa1
gh-readonly-queue/main/pr-510-78e9eb345ae768b5b8191a5f3deb2c5619542fa1
19m 31s
Run GOTO Transcoder (ESBMC) Run GOTO Transcoder (ESBMC) #1052: Merge group checks requested
17m 58s
17m 58s
Improve the VeriFast scripts Run GOTO Transcoder (ESBMC) #1051: Pull request #507 synchronize by btj
17m 53s btj:verifast-scripts
btj:verifast-scripts
17m 53s
Add a tour of the RawVec proof Run GOTO Transcoder (ESBMC) #1050: Pull request #481 synchronize by btj
18m 54s btj:rawvec-tour
btj:rawvec-tour
18m 54s
Run GOTO Transcoder (ESBMC) Run GOTO Transcoder (ESBMC) #1049: Merge group checks requested
16m 24s
16m 24s
Clarify documentation of can_dereference with write permissions Run GOTO Transcoder (ESBMC) #1048: Pull request #510 opened by dawidl022
16m 30s dawidl022:docs/can-dereference-has-write-permission
dawidl022:docs/can-dereference-has-write-permission
16m 30s
Update Kani Metrics Run GOTO Transcoder (ESBMC) #1047: Pull request #509 reopened by tautschnig
14m 47s update-kani-metrics
update-kani-metrics
14m 47s
Run GOTO Transcoder (ESBMC) Run GOTO Transcoder (ESBMC) #1046: Merge group checks requested
16m 30s
16m 30s
iter: add kani proof for next_unchecked (#280) Run GOTO Transcoder (ESBMC) #1045: Pull request #501 synchronize by 0xllx0
15m 10s 0xllx0:model-checking/iter-next-unchecked
0xllx0:model-checking/iter-next-unchecked
15m 10s
Improve the VeriFast scripts Run GOTO Transcoder (ESBMC) #1044: Pull request #507 synchronize by tautschnig
16m 40s btj:verifast-scripts
btj:verifast-scripts
16m 40s
Merge subtree update for toolchain nightly-2025-10-09 Run GOTO Transcoder (ESBMC) #1043: Pull request #504 synchronize by tautschnig
15m 49s sync-2025-10-09
sync-2025-10-09
15m 49s
Improve the VeriFast scripts Run GOTO Transcoder (ESBMC) #1042: Pull request #507 opened by btj
16m 6s btj:verifast-scripts
btj:verifast-scripts
16m 6s
iter: add kani proof for next_unchecked (#280) Run GOTO Transcoder (ESBMC) #1041: Pull request #501 synchronize by 0xllx0
16m 15s 0xllx0:model-checking/iter-next-unchecked
0xllx0:model-checking/iter-next-unchecked
16m 15s
Fixup merge resolution: Add and update rewards to open challenges lacking one Run GOTO Transcoder (ESBMC) #1040: Pull request #502 synchronize by tautschnig
15m 12s tautschnig:add-rewards
tautschnig:add-rewards
15m 12s
Merge subtree update for toolchain nightly-2025-10-09 Run GOTO Transcoder (ESBMC) #1039: Pull request #504 synchronize by tautschnig
16m 37s sync-2025-10-09
sync-2025-10-09
16m 37s
Update flux Run GOTO Transcoder (ESBMC) #1038: Commit a480b93 pushed by tautschnig
17m 48s sync-2025-10-09
sync-2025-10-09
17m 48s
Add loop_invariant and harness for array reverse (#430) Run GOTO Transcoder (ESBMC) #1037: Commit 3bb48f0 pushed by github-merge-queue bot
15m 18s main
main
15m 18s
Fixup merge resolution: Add and update rewards to open challenges lacking one Run GOTO Transcoder (ESBMC) #1036: Pull request #502 opened by tautschnig
18m 41s tautschnig:add-rewards
tautschnig:add-rewards
18m 41s