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
Add Kani proof harnesses and contracts for unchecked_div_exact Rust Tests #2877: Pull request #672 opened by CYJ904
4m 12s CYJ904:yanjunchen904
CYJ904:yanjunchen904
4m 12s
Add Kani proof harnesses and contracts for unchecked_div_exact Testable simd models #605: Pull request #672 opened by CYJ904
5m 19s CYJ904:yanjunchen904
CYJ904:yanjunchen904
5m 19s
Add Kani proof harnesses and contracts for unchecked_div_exact KMIR #179: Pull request #672 opened by CYJ904
18m 26s CYJ904:yanjunchen904
CYJ904:yanjunchen904
18m 26s
Add Kani proof harnesses and contracts for unchecked_div_exact VeriFast #1593: Pull request #672 opened by CYJ904
41s CYJ904:yanjunchen904
CYJ904:yanjunchen904
41s
Add Kani proof harnesses and contracts for unchecked_div_exact Flux #838: Pull request #672 opened by CYJ904
3m 9s CYJ904:yanjunchen904
CYJ904:yanjunchen904
3m 9s
Add Kani proof harnesses and contracts for unchecked_div_exact Run GOTO Transcoder (ESBMC) #1642: Pull request #672 opened by CYJ904
16m 20s CYJ904:yanjunchen904
CYJ904:yanjunchen904
16m 20s
Add Kani proof harnesses and contracts for unchecked_div_exact RAPx #40: Pull request #672 opened by CYJ904
2m 23s CYJ904:yanjunchen904
CYJ904:yanjunchen904
2m 23s
Add Kani proof harnesses and contracts for unchecked_div_exact Build Book #2747: Pull request #672 opened by CYJ904
7m 7s CYJ904:yanjunchen904
CYJ904:yanjunchen904
7m 7s
Add Kani proof harnesses and contracts for unchecked_div_exact VeriFast (negative) #1579: Pull request #672 opened by CYJ904
42s CYJ904:yanjunchen904
CYJ904:yanjunchen904
42s
Add Kani proof harnesses and contracts for unchecked_div_exact Kani #2917: Pull request #672 opened by CYJ904
1h 26m 49s CYJ904:yanjunchen904
CYJ904:yanjunchen904
1h 26m 49s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani RAPx #39: Pull request #582 synchronize by v3risec
2m 37s v3risec:challenge-26-rc
v3risec:challenge-26-rc
2m 37s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Rust Tests #2876: Pull request #582 synchronize by v3risec
5m 18s v3risec:challenge-26-rc
v3risec:challenge-26-rc
5m 18s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani VeriFast #1592: Pull request #582 synchronize by v3risec
40s v3risec:challenge-26-rc
v3risec:challenge-26-rc
40s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Flux #837: Pull request #582 synchronize by v3risec
3m 11s v3risec:challenge-26-rc
v3risec:challenge-26-rc
3m 11s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Testable simd models #604: Pull request #582 synchronize by v3risec
5m 5s v3risec:challenge-26-rc
v3risec:challenge-26-rc
5m 5s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani VeriFast (negative) #1578: Pull request #582 synchronize by v3risec
41s v3risec:challenge-26-rc
v3risec:challenge-26-rc
41s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani KMIR #178: Pull request #582 synchronize by v3risec
26m 15s v3risec:challenge-26-rc
v3risec:challenge-26-rc
26m 15s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Build Book #2746: Pull request #582 synchronize by v3risec
5m 38s v3risec:challenge-26-rc
v3risec:challenge-26-rc
5m 38s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Run GOTO Transcoder (ESBMC) #1641: Pull request #582 synchronize by v3risec
19m 29s v3risec:challenge-26-rc
v3risec:challenge-26-rc
19m 29s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Kani #2916: Pull request #582 synchronize by v3risec
2h 12m 32s v3risec:challenge-26-rc
v3risec:challenge-26-rc
2h 12m 32s
Challenge 13: contracts and proofs for CStr trait implementations and safe methods Run GOTO Transcoder (ESBMC) #1640: Pull request #670 opened by kasimte
41m 53s kasimte:challenge-13-cstr
kasimte:challenge-13-cstr
41m 53s
Challenge 13: contracts and proofs for CStr trait implementations and safe methods VeriFast #1591: Pull request #670 opened by kasimte
27m 45s kasimte:challenge-13-cstr
kasimte:challenge-13-cstr
27m 45s
Challenge 13: contracts and proofs for CStr trait implementations and safe methods KMIR #177: Pull request #670 opened by kasimte
46m 25s kasimte:challenge-13-cstr
kasimte:challenge-13-cstr
46m 25s
Challenge 13: contracts and proofs for CStr trait implementations and safe methods Kani #2915: Pull request #670 opened by kasimte
3h 10m 48s kasimte:challenge-13-cstr
kasimte:challenge-13-cstr
3h 10m 48s
Challenge 13: contracts and proofs for CStr trait implementations and safe methods RAPx #38: Pull request #670 opened by kasimte
29m 25s kasimte:challenge-13-cstr
kasimte:challenge-13-cstr
29m 25s