Skip to content

Actions: model-checking/verify-rust-std

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Subtree Update Subtree Update #561: Scheduled
3m 31s main
main
3m 31s
Challenge 12: safety and correctness of NonZero VeriFast #1365: Pull request #637 synchronize by stefanzetzsche
37s stefanzetzsche:nonzero-challenge-12
stefanzetzsche:nonzero-challenge-12
37s
Challenge 12: safety and correctness of NonZero VeriFast (negative) #1351: Pull request #637 synchronize by stefanzetzsche
33s stefanzetzsche:nonzero-challenge-12
stefanzetzsche:nonzero-challenge-12
33s
Challenge 12: safety and correctness of NonZero Flux #625: Pull request #637 synchronize by stefanzetzsche
3m 5s stefanzetzsche:nonzero-challenge-12
stefanzetzsche:nonzero-challenge-12
3m 5s
Challenge 12: safety and correctness of NonZero Build Book #2524: Pull request #637 synchronize by stefanzetzsche
6m 42s stefanzetzsche:nonzero-challenge-12
stefanzetzsche:nonzero-challenge-12
6m 42s
Challenge 12: safety and correctness of NonZero Run GOTO Transcoder (ESBMC) #1413: Pull request #637 synchronize by stefanzetzsche
14m 12s stefanzetzsche:nonzero-challenge-12
stefanzetzsche:nonzero-challenge-12
14m 12s
Challenge 12: safety and correctness of NonZero Testable simd models #390: Pull request #637 synchronize by stefanzetzsche
5m 4s stefanzetzsche:nonzero-challenge-12
stefanzetzsche:nonzero-challenge-12
5m 4s
Challenge 12: safety and correctness of NonZero Rust Tests #2648: Pull request #637 synchronize by stefanzetzsche
5m 41s stefanzetzsche:nonzero-challenge-12
stefanzetzsche:nonzero-challenge-12
5m 41s
Challenge 12: safety and correctness of NonZero Kani #2689: Pull request #637 synchronize by stefanzetzsche
1h 46m 11s stefanzetzsche:nonzero-challenge-12
stefanzetzsche:nonzero-challenge-12
1h 46m 11s
Challenge 12: safety and correctness of NonZero Testable simd models #389: Pull request #637 opened by stefanzetzsche
4m 10s stefanzetzsche:nonzero-challenge-12
stefanzetzsche:nonzero-challenge-12
4m 10s
Challenge 12: safety and correctness of NonZero Rust Tests #2647: Pull request #637 opened by stefanzetzsche
4m 39s stefanzetzsche:nonzero-challenge-12
stefanzetzsche:nonzero-challenge-12
4m 39s
Challenge 12: safety and correctness of NonZero VeriFast #1364: Pull request #637 opened by stefanzetzsche
37s stefanzetzsche:nonzero-challenge-12
stefanzetzsche:nonzero-challenge-12
37s
Challenge 12: safety and correctness of NonZero Flux #624: Pull request #637 opened by stefanzetzsche
3m 19s stefanzetzsche:nonzero-challenge-12
stefanzetzsche:nonzero-challenge-12
3m 19s
Challenge 12: safety and correctness of NonZero Run GOTO Transcoder (ESBMC) #1412: Pull request #637 opened by stefanzetzsche
12m 43s stefanzetzsche:nonzero-challenge-12
stefanzetzsche:nonzero-challenge-12
12m 43s
Challenge 12: safety and correctness of NonZero VeriFast (negative) #1350: Pull request #637 opened by stefanzetzsche
29s stefanzetzsche:nonzero-challenge-12
stefanzetzsche:nonzero-challenge-12
29s
Challenge 12: safety and correctness of NonZero Build Book #2523: Pull request #637 opened by stefanzetzsche
7m 5s stefanzetzsche:nonzero-challenge-12
stefanzetzsche:nonzero-challenge-12
7m 5s
Challenge 12: safety and correctness of NonZero Kani #2688: Pull request #637 opened by stefanzetzsche
1h 15m 52s stefanzetzsche:nonzero-challenge-12
stefanzetzsche:nonzero-challenge-12
1h 15m 52s
Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani Run GOTO Transcoder (ESBMC) #1411: Pull request #589 synchronize by v3risec
6h 0m 23s v3risec:challenge-29-boxed
v3risec:challenge-29-boxed
6h 0m 23s
Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani VeriFast (negative) #1349: Pull request #589 synchronize by v3risec
36s v3risec:challenge-29-boxed
v3risec:challenge-29-boxed
36s
Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani Kani #2687: Pull request #589 synchronize by v3risec
6h 0m 24s v3risec:challenge-29-boxed
v3risec:challenge-29-boxed
6h 0m 24s
Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani Testable simd models #388: Pull request #589 synchronize by v3risec
4m 14s v3risec:challenge-29-boxed
v3risec:challenge-29-boxed
4m 14s
Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani Flux #623: Pull request #589 synchronize by v3risec
3m 17s v3risec:challenge-29-boxed
v3risec:challenge-29-boxed
3m 17s
Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani Build Book #2522: Pull request #589 synchronize by v3risec
7m 1s v3risec:challenge-29-boxed
v3risec:challenge-29-boxed
7m 1s
Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani Rust Tests #2646: Pull request #589 synchronize by v3risec
4m 21s v3risec:challenge-29-boxed
v3risec:challenge-29-boxed
4m 21s
Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani VeriFast #1363: Pull request #589 synchronize by v3risec
40s v3risec:challenge-29-boxed
v3risec:challenge-29-boxed
40s