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
Challenge 10: Verify memory safety of String functions with Kani Check PR Approvals #2227: Pull request #702 submitted by Talha-Dmr
18s
18s
Challenge 10: Verify memory safety of String functions with Kani Kani #3212: Pull request #702 synchronize by Talha-Dmr
1h 8m 53s Talha-Dmr:challenge-10-string
Talha-Dmr:challenge-10-string
1h 8m 53s
Challenge 10: Verify memory safety of String functions with Kani Run GOTO Transcoder (ESBMC) #1931: Pull request #702 synchronize by Talha-Dmr
15m 19s Talha-Dmr:challenge-10-string
Talha-Dmr:challenge-10-string
15m 19s
Challenge 10: Verify memory safety of String functions with Kani Rust Tests #3160: Pull request #702 synchronize by Talha-Dmr
5m 17s Talha-Dmr:challenge-10-string
Talha-Dmr:challenge-10-string
5m 17s
Challenge 10: Verify memory safety of String functions with Kani Testable simd models #870: Pull request #702 synchronize by Talha-Dmr
5m 2s Talha-Dmr:challenge-10-string
Talha-Dmr:challenge-10-string
5m 2s
Challenge 10: Verify memory safety of String functions with Kani KMIR #444: Pull request #702 synchronize by Talha-Dmr
26m 11s Talha-Dmr:challenge-10-string
Talha-Dmr:challenge-10-string
26m 11s
Challenge 10: Verify memory safety of String functions with Kani VeriFast #1878: Pull request #702 synchronize by Talha-Dmr
43s Talha-Dmr:challenge-10-string
Talha-Dmr:challenge-10-string
43s
Challenge 10: Verify memory safety of String functions with Kani VeriFast (negative) #1864: Pull request #702 synchronize by Talha-Dmr
36s Talha-Dmr:challenge-10-string
Talha-Dmr:challenge-10-string
36s
Challenge 10: Verify memory safety of String functions with Kani Build Book #3012: Pull request #702 synchronize by Talha-Dmr
4m 42s Talha-Dmr:challenge-10-string
Talha-Dmr:challenge-10-string
4m 42s
Challenge 10: Verify memory safety of String functions with Kani RAPx #299: Pull request #702 synchronize by Talha-Dmr
2m 9s Talha-Dmr:challenge-10-string
Talha-Dmr:challenge-10-string
2m 9s
Challenge 10: Verify memory safety of String functions with Kani Flux #1097: Pull request #702 synchronize by Talha-Dmr
3m 7s Talha-Dmr:challenge-10-string
Talha-Dmr:challenge-10-string
3m 7s
Challenge 13: contracts and proofs for CStr trait implementations and safe methods Check PR Approvals #2226: Pull request #670 submitted by rajath-mk
16s
16s
Challenge 10: Verify memory safety of String functions with Kani Check PR Approvals #2225: Pull request #702 submitted by rajath-mk
16s
16s
Challenge 22: Verify the safety of str iter functions KMIR #443: Pull request #706 opened by kasimte
47m 42s kasimte:merlin
kasimte:merlin
47m 42s
Challenge 22: Verify the safety of str iter functions Kani #3211: Pull request #706 opened by kasimte
3h 33m 55s kasimte:merlin
kasimte:merlin
3h 33m 55s
Challenge 22: Verify the safety of str iter functions Flux #1096: Pull request #706 opened by kasimte
24m 29s kasimte:merlin
kasimte:merlin
24m 29s
Challenge 22: Verify the safety of str iter functions RAPx #298: Pull request #706 opened by kasimte
23m 20s kasimte:merlin
kasimte:merlin
23m 20s
Challenge 22: Verify the safety of str iter functions VeriFast (negative) #1863: Pull request #706 opened by kasimte
21m 8s kasimte:merlin
kasimte:merlin
21m 8s
Challenge 22: Verify the safety of str iter functions Testable simd models #869: Pull request #706 opened by kasimte
24m 53s kasimte:merlin
kasimte:merlin
24m 53s
Challenge 22: Verify the safety of str iter functions VeriFast #1877: Pull request #706 opened by kasimte
20m 58s kasimte:merlin
kasimte:merlin
20m 58s
Challenge 22: Verify the safety of str iter functions Rust Tests #3159: Pull request #706 opened by kasimte
1h 25m 48s kasimte:merlin
kasimte:merlin
1h 25m 48s
Challenge 22: Verify the safety of str iter functions Run GOTO Transcoder (ESBMC) #1930: Pull request #706 opened by kasimte
36m 3s kasimte:merlin
kasimte:merlin
36m 3s
Challenge 22: Verify the safety of str iter functions Build Book #3011: Pull request #706 opened by kasimte
27m 46s kasimte:merlin
kasimte:merlin
27m 46s
Subtree Update Subtree Update #604: Scheduled
4m 5s main
main
4m 5s
Verify safety of slice functions (Challenge 17) Rust Tests #3158: Pull request #703 synchronize by kasimte
1h 23m 8s kasimte:ch17-slice
kasimte:ch17-slice
1h 23m 8s