Skip to content

Actions: kasimte/verify-rust-std

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
637 workflow runs
637 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Challenge 17: safety of slice functions Rust Tests #94: Commit 1547959 pushed by kasimte
6m 3s ch17-canary-mandoline
ch17-canary-mandoline
6m 3s
Challenge 17: safety of slice functions Run GOTO Transcoder (ESBMC) #94: Commit 1547959 pushed by kasimte
15m 1s ch17-canary-mandoline
ch17-canary-mandoline
15m 1s
Challenge 17: safety of slice functions VeriFast #94: Commit 1547959 pushed by kasimte
40s ch17-canary-mandoline
ch17-canary-mandoline
40s
Challenge 17: safety of slice functions Kani #94: Commit 1547959 pushed by kasimte
In progress ch17-canary-mandoline
ch17-canary-mandoline
In progress
Challenge 17: safety of slice functions VeriFast (negative) #94: Commit 1547959 pushed by kasimte
41s ch17-canary-mandoline
ch17-canary-mandoline
41s
Challenge 24: verify try_fold, next_chunk, into_vecdeque from reachab… Run GOTO Transcoder (ESBMC) #93: Commit 25d1371 pushed by kasimte
15m 11s 24-build
24-build
15m 11s
Challenge 24: verify try_fold, next_chunk, into_vecdeque from reachab… Kani #93: Commit 25d1371 pushed by kasimte
2h 2m 53s 24-build
24-build
2h 2m 53s
Challenge 24: verify try_fold, next_chunk, into_vecdeque from reachab… VeriFast #93: Commit 25d1371 pushed by kasimte
36s 24-build
24-build
36s
Challenge 24: verify try_fold, next_chunk, into_vecdeque from reachab… VeriFast (negative) #93: Commit 25d1371 pushed by kasimte
33s 24-build
24-build
33s
Challenge 24: verify try_fold, next_chunk, into_vecdeque from reachab… Rust Tests #93: Commit 25d1371 pushed by kasimte
5m 44s 24-build
24-build
5m 44s
Ch17: bsearch LEN-capture (kani#3700); dedup/swap bounded Kani #92: Commit 9f06f79 pushed by kasimte
1h 49m 1s ch17-canary-mandoline
ch17-canary-mandoline
1h 49m 1s
Ch17: bsearch LEN-capture (kani#3700); dedup/swap bounded Run GOTO Transcoder (ESBMC) #92: Commit 9f06f79 pushed by kasimte
18m 12s ch17-canary-mandoline
ch17-canary-mandoline
18m 12s
Ch17: bsearch LEN-capture (kani#3700); dedup/swap bounded VeriFast #92: Commit 9f06f79 pushed by kasimte
34s ch17-canary-mandoline
ch17-canary-mandoline
34s
Ch17: bsearch LEN-capture (kani#3700); dedup/swap bounded Rust Tests #92: Commit 9f06f79 pushed by kasimte
21m 49s ch17-canary-mandoline
ch17-canary-mandoline
21m 49s
Ch17: bsearch LEN-capture (kani#3700); dedup/swap bounded VeriFast (negative) #92: Commit 9f06f79 pushed by kasimte
38s ch17-canary-mandoline
ch17-canary-mandoline
38s
Challenge 24: verify try_fold, next_chunk, into_vecdeque from reachab… Run GOTO Transcoder (ESBMC) #91: Commit 25d1371 pushed by kasimte
14m 11s 24-a6-canary
24-a6-canary
14m 11s
Challenge 24: verify try_fold, next_chunk, into_vecdeque from reachab… Rust Tests #91: Commit 25d1371 pushed by kasimte
1h 7m 54s 24-a6-canary
24-a6-canary
1h 7m 54s
Challenge 24: verify try_fold, next_chunk, into_vecdeque from reachab… VeriFast (negative) #91: Commit 25d1371 pushed by kasimte
35s 24-a6-canary
24-a6-canary
35s
Challenge 24: verify try_fold, next_chunk, into_vecdeque from reachab… VeriFast #91: Commit 25d1371 pushed by kasimte
39s 24-a6-canary
24-a6-canary
39s
Challenge 24: verify try_fold, next_chunk, into_vecdeque from reachab… Kani #91: Commit 25d1371 pushed by kasimte
1h 21m 25s 24-a6-canary
24-a6-canary
1h 21m 25s
Challenge 24: verify IntoIter safety from arbitrary reachable iterato… Run GOTO Transcoder (ESBMC) #90: Commit 56cabac pushed by kasimte
46m 23s 24-a6-canary
24-a6-canary
46m 23s
Challenge 24: verify IntoIter safety from arbitrary reachable iterato… VeriFast #90: Commit 56cabac pushed by kasimte
29m 41s 24-a6-canary
24-a6-canary
29m 41s
Challenge 24: verify IntoIter safety from arbitrary reachable iterato… VeriFast (negative) #90: Commit 56cabac pushed by kasimte
29s 24-a6-canary
24-a6-canary
29s
Challenge 24: verify IntoIter safety from arbitrary reachable iterato… Rust Tests #90: Commit 56cabac pushed by kasimte
31m 17s 24-a6-canary
24-a6-canary
31m 17s
Challenge 24: verify IntoIter safety from arbitrary reachable iterato… Kani #90: Commit 56cabac pushed by kasimte
2h 26m 36s 24-a6-canary
24-a6-canary
2h 26m 36s