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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Verify safety of slice iterator functions (Challenge 18) Run GOTO Transcoder (ESBMC) #1127: Pull request #545 synchronize by jrey8343
18m 9s jrey8343:challenge-18-slice-iter
jrey8343:challenge-18-slice-iter
18m 9s
Verify safety of StrSearcher (Challenge 21) Run GOTO Transcoder (ESBMC) #1126: Pull request #538 synchronize by jrey8343
15m 40s jrey8343:challenge-21-str-searcher
jrey8343:challenge-21-str-searcher
15m 40s
Verify safety of char-related Searcher methods (Challenge 20) Run GOTO Transcoder (ESBMC) #1125: Pull request #537 synchronize by jrey8343
14m 53s jrey8343:challenge-20-str-pattern
jrey8343:challenge-20-str-pattern
14m 53s
Verify CStr CloneToUninit and Index<RangeFrom> safety (Challenge 13) Run GOTO Transcoder (ESBMC) #1124: Pull request #543 synchronize by jrey8343
14m 41s jrey8343:challenge-13-cstr
jrey8343:challenge-13-cstr
14m 41s
Verify safety of str iter functions (Challenge 22) Run GOTO Transcoder (ESBMC) #1123: Pull request #539 synchronize by jrey8343
15m 57s jrey8343:challenge-22-str-iter
jrey8343:challenge-22-str-iter
15m 57s
Verify safety of Vec iterator and specialization functions (Challenge 24) Run GOTO Transcoder (ESBMC) #1122: Pull request #547 synchronize by jrey8343
17m 9s jrey8343:challenge-24-vec-pt2
jrey8343:challenge-24-vec-pt2
17m 9s
Verify safety of Vec functions (Challenge 23) Run GOTO Transcoder (ESBMC) #1121: Pull request #546 synchronize by jrey8343
17m 59s jrey8343:challenge-23-vec-pt1
jrey8343:challenge-23-vec-pt1
17m 59s
Verify safety of NonZero operations (Challenge 12) Run GOTO Transcoder (ESBMC) #1120: Pull request #544 synchronize by jrey8343
15m 3s jrey8343:challenge-12-nonzero
jrey8343:challenge-12-nonzero
15m 3s
Verify memory safety of String functions (Challenge 10) Run GOTO Transcoder (ESBMC) #1119: Pull request #541 synchronize by jrey8343
15m 14s jrey8343:challenge-10-string
jrey8343:challenge-10-string
15m 14s
Verify safety of slice functions (Challenge 17) Run GOTO Transcoder (ESBMC) #1118: Pull request #540 synchronize by jrey8343
15m 8s jrey8343:challenge-17-slice
jrey8343:challenge-17-slice
15m 8s
Run GOTO Transcoder (ESBMC) Run GOTO Transcoder (ESBMC) #1117: Merge group checks requested
14m 37s
14m 37s
Update Kani Metrics Run GOTO Transcoder (ESBMC) #1116: Pull request #542 reopened by tautschnig
16m 24s update-kani-metrics
update-kani-metrics
16m 24s
Verify safety of Vec iterator and specialization functions (Challenge 24) Run GOTO Transcoder (ESBMC) #1115: Pull request #547 opened by jrey8343
16m 33s jrey8343:challenge-24-vec-pt2
jrey8343:challenge-24-vec-pt2
16m 33s
Verify safety of Vec functions (Challenge 23) Run GOTO Transcoder (ESBMC) #1114: Pull request #546 opened by jrey8343
15m 27s jrey8343:challenge-23-vec-pt1
jrey8343:challenge-23-vec-pt1
15m 27s
Verify safety of slice iterator functions (Challenge 18) Run GOTO Transcoder (ESBMC) #1113: Pull request #545 opened by jrey8343
18m 42s jrey8343:challenge-18-slice-iter
jrey8343:challenge-18-slice-iter
18m 42s
Verify safety of NonZero operations (Challenge 12) Run GOTO Transcoder (ESBMC) #1112: Pull request #544 opened by jrey8343
15m 1s jrey8343:challenge-12-nonzero
jrey8343:challenge-12-nonzero
15m 1s
Verify CStr CloneToUninit and Index<RangeFrom> safety (Challenge 13) Run GOTO Transcoder (ESBMC) #1111: Pull request #543 opened by jrey8343
15m 52s jrey8343:challenge-13-cstr
jrey8343:challenge-13-cstr
15m 52s
Verify memory safety of String functions (Challenge 10) Run GOTO Transcoder (ESBMC) #1110: Pull request #541 opened by jrey8343
16m 6s jrey8343:challenge-10-string
jrey8343:challenge-10-string
16m 6s
Verify safety of slice functions (Challenge 17) Run GOTO Transcoder (ESBMC) #1109: Pull request #540 opened by jrey8343
15m 22s jrey8343:challenge-17-slice
jrey8343:challenge-17-slice
15m 22s
Verify safety of str iter functions (Challenge 22) Run GOTO Transcoder (ESBMC) #1108: Pull request #539 opened by jrey8343
15m 19s jrey8343:challenge-22-str-iter
jrey8343:challenge-22-str-iter
15m 19s
Verify safety of StrSearcher (Challenge 21) Run GOTO Transcoder (ESBMC) #1107: Pull request #538 synchronize by jrey8343
16m 21s jrey8343:challenge-21-str-searcher
jrey8343:challenge-21-str-searcher
16m 21s
Verify safety of StrSearcher (Challenge 21) Run GOTO Transcoder (ESBMC) #1106: Pull request #538 synchronize by jrey8343
15m 52s jrey8343:challenge-21-str-searcher
jrey8343:challenge-21-str-searcher
15m 52s
Verify safety of StrSearcher (Challenge 21) Run GOTO Transcoder (ESBMC) #1105: Pull request #538 synchronize by jrey8343
15m 26s jrey8343:challenge-21-str-searcher
jrey8343:challenge-21-str-searcher
15m 26s
Verify safety of StrSearcher (Challenge 21) Run GOTO Transcoder (ESBMC) #1104: Pull request #538 opened by jrey8343
14m 49s jrey8343:challenge-21-str-searcher
jrey8343:challenge-21-str-searcher
14m 49s
Verify safety of char-related Searcher methods (Challenge 20) Run GOTO Transcoder (ESBMC) #1103: Pull request #537 synchronize by jrey8343
14m 57s jrey8343:challenge-20-str-pattern
jrey8343:challenge-20-str-pattern
14m 57s