Skip to content

Actions: btj/verify-rust-std

Actions

Run GOTO Transcoder (ESBMC)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
goto-transcoder.yml
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' into verifast-raw-vec Run GOTO Transcoder (ESBMC) #23: Commit db7f020 pushed by tautschnig
August 19, 2025 12:18 17m 25s verifast-raw-vec
verifast-raw-vec
August 19, 2025 12:18 17m 25s
Merge branch 'main' into verifast-raw-vec Run GOTO Transcoder (ESBMC) #22: Commit 229c478 pushed by btj
August 13, 2025 18:50 17m 16s verifast-raw-vec
verifast-raw-vec
August 13, 2025 18:50 17m 16s
Merge branch 'main' into verifast-linked-list Run GOTO Transcoder (ESBMC) #21: Commit eac968c pushed by btj
August 13, 2025 18:49 17m 12s verifast-linked-list
verifast-linked-list
August 13, 2025 18:49 17m 12s
Merge branch 'main' into verifast-linked-list Run GOTO Transcoder (ESBMC) #20: Commit b12bb9b pushed by btj
August 9, 2025 11:08 16m 40s verifast-linked-list
verifast-linked-list
August 9, 2025 11:08 16m 40s
Bump VeriFast to 25.07 Run GOTO Transcoder (ESBMC) #19: Commit 7d4ae6d pushed by btj
August 9, 2025 10:55 16m 47s bump-verifast
bump-verifast
August 9, 2025 10:55 16m 47s
Merge branch 'main' into verifast-raw-vec Run GOTO Transcoder (ESBMC) #18: Commit fa16327 pushed by feliperodri
August 6, 2025 16:02 18m 59s verifast-raw-vec
verifast-raw-vec
August 6, 2025 16:02 18m 59s
Merge branch 'main' into verifast-linked-list Run GOTO Transcoder (ESBMC) #17: Commit b96760a pushed by btj
August 6, 2025 06:44 19m 48s verifast-linked-list
verifast-linked-list
August 6, 2025 06:44 19m 48s
Merge branch 'main' into verifast-raw-vec Run GOTO Transcoder (ESBMC) #16: Commit a68ae47 pushed by feliperodri
August 6, 2025 01:58 18m 41s verifast-raw-vec
verifast-raw-vec
August 6, 2025 01:58 18m 41s
VeriFast solution for challenge 19 (RawVec) Run GOTO Transcoder (ESBMC) #15: Commit 54e0fef pushed by btj
July 24, 2025 05:06 16m 54s verifast-raw-vec
verifast-raw-vec
July 24, 2025 05:06 16m 54s
Merge branch 'main' into verifast-linked-list Run GOTO Transcoder (ESBMC) #14: Commit 84296da pushed by btj
July 23, 2025 10:52 17m 12s verifast-linked-list
verifast-linked-list
July 23, 2025 10:52 17m 12s
Merge branch 'main' into verifast-linked-list Run GOTO Transcoder (ESBMC) #13: Commit 31d55fc pushed by btj
July 6, 2025 13:23 21m 10s verifast-linked-list
verifast-linked-list
July 6, 2025 13:23 21m 10s
Don't run update-subtree.yml in forks (#400) Run GOTO Transcoder (ESBMC) #12: Commit 94c1dc1 pushed by btj
June 30, 2025 06:43 25m 52s main
main
June 30, 2025 06:43 25m 52s
Refinement-checked linked_list.rs proof Run GOTO Transcoder (ESBMC) #11: Commit 10df662 pushed by btj
June 3, 2025 07:59 21m 37s verifast-linked-list
verifast-linked-list
June 3, 2025 07:59 21m 37s
Update Kani Metrics (#376) Run GOTO Transcoder (ESBMC) #10: Commit bacd51c pushed by btj
June 3, 2025 06:43 26m 27s main
main
June 3, 2025 06:43 26m 27s
Merge subtree update for toolchain nightly-2025-05-22 (#364) Run GOTO Transcoder (ESBMC) #9: Commit b4f59e8 pushed by btj
May 29, 2025 19:58 18m 48s main
main
May 29, 2025 19:58 18m 48s
Fix typo in comment ('contact' -> 'contract') (#352) Run GOTO Transcoder (ESBMC) #8: Commit e0e6e83 pushed by btj
May 10, 2025 19:40 16m 47s main
main
May 10, 2025 19:40 16m 47s
Add Challenges 17 18 for slices (#265) Run GOTO Transcoder (ESBMC) #7: Commit d2b6a64 pushed by btj
April 3, 2025 20:20 18m 4s main
main
April 3, 2025 20:20 18m 4s
Patch VeriFast proofs Run GOTO Transcoder (ESBMC) #6: Commit a92a295 pushed by btj
April 3, 2025 15:30 18m 36s patch-verifast-proofs
patch-verifast-proofs
April 3, 2025 15:30 18m 36s
VeriFast docs: rename fn to reverse_in_place Run GOTO Transcoder (ESBMC) #5: Commit 0f5042e pushed by btj
February 12, 2025 07:53 14m 3s verifast-tool
verifast-tool
February 12, 2025 07:53 14m 3s
Add proof of LinkedList::unlink_node Run GOTO Transcoder (ESBMC) #4: Commit 7fb4275 pushed by btj
February 11, 2025 12:18 11m 45s verifast-tool
verifast-tool
February 11, 2025 12:18 11m 45s
Update Kani Metrics (#245) Run GOTO Transcoder (ESBMC) #3: Commit e2146fa pushed by btj
February 11, 2025 12:15 12m 5s main
main
February 11, 2025 12:15 12m 5s
Fix a sloppy sentence in the VeriFast chapter Run GOTO Transcoder (ESBMC) #2: Commit 2abfa2e pushed by btj
February 1, 2025 08:45 10m 46s verifast-linked-list
verifast-linked-list
February 1, 2025 08:45 10m 46s
Fix a sloppy sentence in the VeriFast chapter Run GOTO Transcoder (ESBMC) #1: Commit 4d7a0ff pushed by btj
February 1, 2025 08:42 11m 21s verifast-tool
verifast-tool
February 1, 2025 08:42 11m 21s