Skip to content

Actions: kasimte/verify-rust-std

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
499 workflow runs
499 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 13: contracts and proofs for CStr trait implementations and… VeriFast #66: Commit 8fa3909 pushed by kasimte
39s exp-0829
exp-0829
39s
Challenge 13: contracts and proofs for CStr trait implementations and… Rust Tests #66: Commit 8fa3909 pushed by kasimte
35m 52s exp-0829
exp-0829
35m 52s
Challenge 13: contracts and proofs for CStr trait implementations and… Run GOTO Transcoder (ESBMC) #66: Commit 8fa3909 pushed by kasimte
16m 6s exp-0829
exp-0829
16m 6s
Challenge 13: contracts and proofs for CStr trait implementations and… Kani #66: Commit 8fa3909 pushed by kasimte
1h 35m 56s exp-0829
exp-0829
1h 35m 56s
Challenge 13: contracts and proofs for CStr trait implementations and… VeriFast (negative) #66: Commit 8fa3909 pushed by kasimte
35s exp-0829
exp-0829
35s
Challenge 29: Verify the safety of Box and ThinBox in alloc::boxed Rust Tests #65: Commit d9684c5 pushed by kasimte
46m 4s ci-check-0901
ci-check-0901
46m 4s
Challenge 29: Verify the safety of Box and ThinBox in alloc::boxed Kani #65: Commit d9684c5 pushed by kasimte
1h 47m 21s ci-check-0901
ci-check-0901
1h 47m 21s
Challenge 29: Verify the safety of Box and ThinBox in alloc::boxed VeriFast (negative) #65: Commit d9684c5 pushed by kasimte
37s ci-check-0901
ci-check-0901
37s
Challenge 29: Verify the safety of Box and ThinBox in alloc::boxed Run GOTO Transcoder (ESBMC) #65: Commit d9684c5 pushed by kasimte
18m 26s ci-check-0901
ci-check-0901
18m 26s
Challenge 29: Verify the safety of Box and ThinBox in alloc::boxed VeriFast #65: Commit d9684c5 pushed by kasimte
38s ci-check-0901
ci-check-0901
38s
Bound the from_bytes_with_nul contract proof to the measured CI envelope Run GOTO Transcoder (ESBMC) #64: Commit 37bd4d8 pushed by kasimte
15m 0s exp-0829
exp-0829
15m 0s
Bound the from_bytes_with_nul contract proof to the measured CI envelope VeriFast #64: Commit 37bd4d8 pushed by kasimte
38s exp-0829
exp-0829
38s
Bound the from_bytes_with_nul contract proof to the measured CI envelope Rust Tests #64: Commit 37bd4d8 pushed by kasimte
27m 31s exp-0829
exp-0829
27m 31s
Bound the from_bytes_with_nul contract proof to the measured CI envelope VeriFast (negative) #64: Commit 37bd4d8 pushed by kasimte
37s exp-0829
exp-0829
37s
Bound the from_bytes_with_nul contract proof to the measured CI envelope Kani #64: Commit 37bd4d8 pushed by kasimte
1h 33m 52s exp-0829
exp-0829
1h 33m 52s
Strengthen the RangeFrom indexing postcondition and annotate measured… Kani #63: Commit 17ff8e9 pushed by kasimte
1h 53m 4s exp-0829
exp-0829
1h 53m 4s
Strengthen the RangeFrom indexing postcondition and annotate measured… Rust Tests #63: Commit 17ff8e9 pushed by kasimte
3m 35s exp-0829
exp-0829
3m 35s
Strengthen the RangeFrom indexing postcondition and annotate measured… VeriFast (negative) #63: Commit 17ff8e9 pushed by kasimte
32s exp-0829
exp-0829
32s
Strengthen the RangeFrom indexing postcondition and annotate measured… Run GOTO Transcoder (ESBMC) #63: Commit 17ff8e9 pushed by kasimte
14m 38s exp-0829
exp-0829
14m 38s
Strengthen the RangeFrom indexing postcondition and annotate measured… VeriFast #63: Commit 17ff8e9 pushed by kasimte
39s exp-0829
exp-0829
39s
Challenge 29: Verify the safety of Box and ThinBox in alloc::boxed VeriFast (negative) #62: Commit 3c67fe4 pushed by kasimte
34s ci-check-0830
ci-check-0830
34s
Challenge 29: Verify the safety of Box and ThinBox in alloc::boxed Run GOTO Transcoder (ESBMC) #62: Commit 3c67fe4 pushed by kasimte
15m 44s ci-check-0830
ci-check-0830
15m 44s
Challenge 29: Verify the safety of Box and ThinBox in alloc::boxed VeriFast #62: Commit 3c67fe4 pushed by kasimte
41s ci-check-0830
ci-check-0830
41s
Challenge 29: Verify the safety of Box and ThinBox in alloc::boxed Kani #62: Commit 3c67fe4 pushed by kasimte
1h 26m 56s ci-check-0830
ci-check-0830
1h 26m 56s
Challenge 29: Verify the safety of Box and ThinBox in alloc::boxed Rust Tests #62: Commit 3c67fe4 pushed by kasimte
4m 26s ci-check-0830
ci-check-0830
4m 26s