Skip to content

Actions: AlexLB99/verify-rust-std

Actions

Run GOTO Transcoder (ESBMC)

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add loop_invariant and harness for array reverse (#430) Run GOTO Transcoder (ESBMC) #90: Commit 3bb48f0 pushed by AlexLB99
17m 9s main
main
17m 9s
Testable Models for SIMD Intrinsics (#423) Run GOTO Transcoder (ESBMC) #89: Commit ffda6a8 pushed by AlexLB99
15m 55s main
main
15m 55s
Merge branch 'main' into complete-transmute Run GOTO Transcoder (ESBMC) #88: Commit d246b99 pushed by thanhnguyen-aws
17m 15s complete-transmute
complete-transmute
17m 15s
Merge branch 'model-checking:main' into complete-transmute Run GOTO Transcoder (ESBMC) #87: Commit 3735522 pushed by AlexLB99
19m 15s complete-transmute
complete-transmute
19m 15s
Add missing line breaks in 0020-str-pattern-pt1.md (#426) Run GOTO Transcoder (ESBMC) #86: Commit 4c08921 pushed by AlexLB99
20m 33s main
main
20m 33s
fixed mismerge Run GOTO Transcoder (ESBMC) #85: Commit 7e8d09c pushed by AlexLB99
19m 25s check_align_to
check_align_to
19m 25s
Merge branch 'model-checking:main' into check_align_to Run GOTO Transcoder (ESBMC) #84: Commit ed67c16 pushed by AlexLB99
19m 12s check_align_to
check_align_to
19m 12s
formatting Run GOTO Transcoder (ESBMC) #83: Commit 68dd9ba pushed by AlexLB99
28m 57s check_align_to
check_align_to
28m 57s
moved align_to_mut_wrapper contract to align_to_mut Run GOTO Transcoder (ESBMC) #82: Commit fc2a863 pushed by AlexLB99
49m 44s check_align_to
check_align_to
49m 44s
Merge branch 'model-checking:main' into check_align_to Run GOTO Transcoder (ESBMC) #81: Commit 31a8d89 pushed by AlexLB99
21m 36s check_align_to
check_align_to
21m 36s
moved contract from align_to_mut_wrapper to align_to_mut Run GOTO Transcoder (ESBMC) #80: Commit 7d0c289 pushed by AlexLB99
18m 23s testing_clean
testing_clean
18m 23s
Run more automatic harnesses (use patterns w/ regex support) (#397) Run GOTO Transcoder (ESBMC) #79: Commit a4edf5f pushed by AlexLB99
18m 7s testing_clean
testing_clean
18m 7s
Merge subtree update for toolchain nightly-2025-07-02 (#407) Run GOTO Transcoder (ESBMC) #78: Commit 45ed9e9 pushed by AlexLB99
19m 34s testing_clean
testing_clean
19m 34s
updated/added comments to slice/mod.rs Run GOTO Transcoder (ESBMC) #77: Commit 9e62272 pushed by AlexLB99
26m 59s check_align_to
check_align_to
26m 59s
align_to and align_to_mut contracts Run GOTO Transcoder (ESBMC) #76: Commit 106a110 pushed by AlexLB99
24m 3s check_align_to
check_align_to
24m 3s
reformatting Run GOTO Transcoder (ESBMC) #75: Commit e795288 pushed by AlexLB99
25m 52s check_align_to
check_align_to
25m 52s
more bug fixes Run GOTO Transcoder (ESBMC) #74: Commit 3fb0c96 pushed by AlexLB99
26m 46s check_align_to
check_align_to
26m 46s
fixed ensures clause unit type edge case Run GOTO Transcoder (ESBMC) #73: Commit aa415ee pushed by AlexLB99
5m 58s check_align_to
check_align_to
5m 58s
Don't run update-subtree.yml in forks (#400) Run GOTO Transcoder (ESBMC) #72: Commit 94c1dc1 pushed by AlexLB99
22m 19s testing_clean
testing_clean
22m 19s
Don't run update-subtree.yml in forks (#400) Run GOTO Transcoder (ESBMC) #71: Commit 94c1dc1 pushed by AlexLB99
23m 9s main
main
23m 9s
moved align_to_mut_wrapper out of trait impl Run GOTO Transcoder (ESBMC) #70: Commit ee50a7a pushed by AlexLB99
23m 44s check_align_to
check_align_to
23m 44s
Merge branch 'model-checking:main' into testing_clean Run GOTO Transcoder (ESBMC) #69: Commit e18a060 pushed by AlexLB99
4m 31s testing_clean
testing_clean
4m 31s
fixed formatting Run GOTO Transcoder (ESBMC) #68: Commit ab94cc1 pushed by AlexLB99
4m 4s testing_clean
testing_clean
4m 4s
reduced slice sizes to avoid object-bits error Run GOTO Transcoder (ESBMC) #67: Commit 8afe8f6 pushed by AlexLB99
4m 4s testing_clean
testing_clean
4m 4s
misc fixes Run GOTO Transcoder (ESBMC) #66: Commit 3bf96f5 pushed by AlexLB99
28m 53s testing_clean
testing_clean
28m 53s