Skip to content

Actions: tautschnig/verify-rust-std

Actions

Run GOTO Transcoder (ESBMC)

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix help Run GOTO Transcoder (ESBMC) #45: Commit 96baf9d pushed by tautschnig
17m 10s autoharness-support
autoharness-support
17m 10s
Amend help Run GOTO Transcoder (ESBMC) #44: Commit 8064562 pushed by tautschnig
21s autoharness-support
autoharness-support
21s
Make autoharness in run-kani.sh --run list optional Run GOTO Transcoder (ESBMC) #43: Commit d4c6ec5 pushed by tautschnig
17m 51s autoharness-support
autoharness-support
17m 51s
Address comments, update to more recent Kani version Run GOTO Transcoder (ESBMC) #42: Commit 4bc3a53 pushed by tautschnig
18m 11s metrics-tooling2
metrics-tooling2
18m 11s
Remove stray space Run GOTO Transcoder (ESBMC) #41: Commit 8bd1151 pushed by tautschnig
17m 33s unchecked_mull_add
unchecked_mull_add
17m 33s
rustfmt 2 Run GOTO Transcoder (ESBMC) #40: Commit 3b69e21 pushed by tautschnig
17m 1s unchecked_mull_add
unchecked_mull_add
17m 1s
Merge remote-tracking branch 'origin/main' into unchecked_mull_add Run GOTO Transcoder (ESBMC) #39: Commit 0c0318f pushed by tautschnig
17m 46s unchecked_mull_add
unchecked_mull_add
17m 46s
Lookup, once more Run GOTO Transcoder (ESBMC) #38: Commit 0a7a3c6 pushed by tautschnig
22m 38s unchecked_mull_add
unchecked_mull_add
22m 38s
Use .0 instead of .as_usize Run GOTO Transcoder (ESBMC) #37: Commit 267fa99 pushed by tautschnig
16m 47s autoharness-support
autoharness-support
16m 47s
Use .0 instead of .as_usize Run GOTO Transcoder (ESBMC) #36: Commit 31bed92 pushed by tautschnig
4m 3s autoharness-support
autoharness-support
4m 3s
Contracts lookup, again Run GOTO Transcoder (ESBMC) #35: Commit 014a44e pushed by tautschnig
4m 7s unchecked_mull_add
unchecked_mull_add
4m 7s
Proof target names Run GOTO Transcoder (ESBMC) #34: Commit d8e3977 pushed by tautschnig
4m 8s unchecked_mull_add
unchecked_mull_add
4m 8s
Disable what does not currently compile Run GOTO Transcoder (ESBMC) #33: Commit 06fad10 pushed by tautschnig
4m 20s unchecked_mull_add
unchecked_mull_add
4m 20s
Fix syntax error, naming Run GOTO Transcoder (ESBMC) #32: Commit 6dab042 pushed by tautschnig
3m 57s unchecked_mull_add
unchecked_mull_add
3m 57s
Add contract to from_mut_unchecked Run GOTO Transcoder (ESBMC) #31: Commit 7603984 pushed by tautschnig
4m 51s unchecked_mull_add
unchecked_mull_add
4m 51s
Squash duplicate space in markdown file Run GOTO Transcoder (ESBMC) #30: Commit 673fec8 pushed by tautschnig
18m 41s autoharness-support
autoharness-support
18m 41s
Merge branch 'main' into autoharness-support Run GOTO Transcoder (ESBMC) #29: Commit 3c48d5a pushed by tautschnig
16m 53s autoharness-support
autoharness-support
16m 53s
Don't use doc comment Run GOTO Transcoder (ESBMC) #28: Commit fbba41c pushed by tautschnig
18m 43s autoharness-support
autoharness-support
18m 43s
Use autoharness for several Alignment functions Run GOTO Transcoder (ESBMC) #27: Commit 7d4ed19 pushed by tautschnig
4m 2s autoharness-support
autoharness-support
4m 2s
Add autoharness to run-kani script and use in CI Run GOTO Transcoder (ESBMC) #26: Commit 445a381 pushed by tautschnig
17m 11s autoharness-support
autoharness-support
17m 11s
Add autoharness to run-kani script and use in CI Run GOTO Transcoder (ESBMC) #25: Commit 8fef60f pushed by tautschnig
17m 13s alloc-rs-contracts
alloc-rs-contracts
17m 13s
Fix format Run GOTO Transcoder (ESBMC) #24: Commit e2c02cf pushed by tautschnig
28m 17s iter-range-rs-contracts
iter-range-rs-contracts
28m 17s
Fix format Run GOTO Transcoder (ESBMC) #23: Commit d97b770 pushed by tautschnig
35m 47s alloc-rs-contracts
alloc-rs-contracts
35m 47s
Add safety preconditions to core/src/iter/range.rs Run GOTO Transcoder (ESBMC) #22: Commit c2f3b8b pushed by tautschnig
20m 32s iter-range-rs-contracts
iter-range-rs-contracts
20m 32s
Add safety preconditions to std/src/alloc.rs Run GOTO Transcoder (ESBMC) #21: Commit e503889 pushed by tautschnig
18m 4s alloc-rs-contracts
alloc-rs-contracts
18m 4s