Skip to content

Actions: model-checking/verify-rust-std

Actions

VeriFast

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verifast.yml
988 workflow runs
988 workflow runs

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
Verify safety of iterator adapter functions (Challenge 16) VeriFast #1188: Pull request #549 synchronize by kasimte
36s kasimte:challenge-16
kasimte:challenge-16
36s
Verify safety of iterator adapter functions (Challenge 16) VeriFast #1187: Pull request #549 synchronize by kasimte
36s kasimte:challenge-16
kasimte:challenge-16
36s
VeriFast VeriFast #1186: Merge group checks requested
35s
35s
Update Kani Metrics VeriFast #1185: Pull request #579 reopened by feliperodri
36s update-kani-metrics
update-kani-metrics
36s
Challenge 7: Verify safety of Atomic from_ptr methods VeriFast #1184: Pull request #578 synchronize by Samuelsills
38s Samuelsills:challenge-7-atomic
Samuelsills:challenge-7-atomic
38s
Challenge 7: Verify safety of Atomic from_ptr methods VeriFast #1183: Pull request #578 synchronize by Samuelsills
37s Samuelsills:challenge-7-atomic
Samuelsills:challenge-7-atomic
37s
Challenge 7: Verify safety of Atomic from_ptr methods VeriFast #1182: Pull request #578 synchronize by Samuelsills
36s Samuelsills:challenge-7-atomic
Samuelsills:challenge-7-atomic
36s
Challenge 7: Verify safety of Atomic from_ptr methods VeriFast #1181: Pull request #578 synchronize by Samuelsills
35s Samuelsills:challenge-7-atomic
Samuelsills:challenge-7-atomic
35s
Challenge 7: Verify safety of Atomic from_ptr methods VeriFast #1180: Pull request #578 synchronize by Samuelsills
37s Samuelsills:challenge-7-atomic
Samuelsills:challenge-7-atomic
37s
Challenge 7: Verify safety of Atomic from_ptr methods VeriFast #1179: Pull request #578 opened by Samuelsills
39s Samuelsills:challenge-7-atomic
Samuelsills:challenge-7-atomic
39s
Challenge 4: Verify memory safety of BTreeMap node module VeriFast #1178: Pull request #577 synchronize by Samuelsills
36s Samuelsills:challenge-4-btree
Samuelsills:challenge-4-btree
36s
Challenge 4: Verify memory safety of BTreeMap node module VeriFast #1177: Pull request #577 opened by Samuelsills
35s Samuelsills:challenge-4-btree
Samuelsills:challenge-4-btree
35s
Challenge 8: Verify safety and sorting correctness of SmallSort VeriFast #1176: Pull request #576 synchronize by Samuelsills
39s Samuelsills:challenge-8-smallsort
Samuelsills:challenge-8-smallsort
39s
Challenge 8: Verify safety and sorting correctness of SmallSort VeriFast #1175: Pull request #576 synchronize by Samuelsills
34s Samuelsills:challenge-8-smallsort
Samuelsills:challenge-8-smallsort
34s
Challenge 8: Verify safety and sorting correctness of SmallSort VeriFast #1174: Pull request #576 synchronize by Samuelsills
38s Samuelsills:challenge-8-smallsort
Samuelsills:challenge-8-smallsort
38s
Challenge 8: Verify safety and sorting correctness of SmallSort VeriFast #1173: Pull request #576 synchronize by Samuelsills
36s Samuelsills:challenge-8-smallsort
Samuelsills:challenge-8-smallsort
36s
Challenge 8: Verify safety and sorting correctness of SmallSort VeriFast #1172: Pull request #576 opened by Samuelsills
40s Samuelsills:challenge-8-smallsort
Samuelsills:challenge-8-smallsort
40s
Challenge 27: Verify safety of Arc functions VeriFast #1171: Pull request #575 synchronize by Samuelsills
36s Samuelsills:challenge-27-arc
Samuelsills:challenge-27-arc
36s
Challenge 27: Verify safety of Arc functions VeriFast #1170: Pull request #575 opened by Samuelsills
35s Samuelsills:challenge-27-arc
Samuelsills:challenge-27-arc
35s
Challenge 26: Verify safety of Rc functions VeriFast #1169: Pull request #574 synchronize by Samuelsills
39s Samuelsills:challenge-26-rc
Samuelsills:challenge-26-rc
39s
Challenge 26: Verify safety of Rc functions VeriFast #1168: Pull request #574 opened by Samuelsills
40s Samuelsills:challenge-26-rc
Samuelsills:challenge-26-rc
40s
Challenge 29: Verify safety of Box functions VeriFast #1167: Pull request #573 synchronize by Samuelsills
53s Samuelsills:challenge-29-box
Samuelsills:challenge-29-box
53s
Challenge 10: Verify memory safety of String functions VeriFast #1166: Pull request #571 synchronize by Samuelsills
43s Samuelsills:challenge-10-string
Samuelsills:challenge-10-string
43s
Challenge 29: Verify safety of Box functions VeriFast #1165: Pull request #573 opened by Samuelsills
39s Samuelsills:challenge-29-box
Samuelsills:challenge-29-box
39s
Challenge 22: Verify safety of str iter functions VeriFast #1164: Pull request #572 opened by Samuelsills
35s Samuelsills:challenge-22-str-iter
Samuelsills:challenge-22-str-iter
35s