Check PR Approvals

Workflow runs for Check PR Approvals

• Challenge 10: Verify memory safety of String functions

  failed:
  Check PR Approvals#2309:Pull request#571submittedbyfeliperodri
  Nov 3, 202614s
  More actions for workflow run 2309

• Challenge 10: Verify String safety with Kani

  failed:
  Check PR Approvals#2308:Pull request#725submittedbyfeliperodri
  Nov 3, 202614s
  More actions for workflow run 2308

• Challenge 10: Verify memory safety of String functions with Kani

  failed:
  Check PR Approvals#2307:Pull request#702submittedbyfeliperodri
  Nov 3, 202617s
  More actions for workflow run 2307

• Verify memory safety of String functions (Challenge 10)

  failed:
  Check PR Approvals#2306:Pull request#558submittedbyfeliperodri
  Nov 3, 202612s
  More actions for workflow run 2306

• Challenge 25: Verify the safety of VecDeque (unbounded, symbolic ring layouts, contracts on all 13 unsafe fns)

  failed:
  Check PR Approvals#2305:Pull request#681submittedbyfeliperodri
  Nov 3, 202611s
  More actions for workflow run 2305

• Challenge 24: Verify safety of Vec IntoIter functions

  failed:
  Check PR Approvals#2304:Pull request#570submittedbyfeliperodri
  Nov 3, 202614s
  More actions for workflow run 2304

• Challenge 24: verify Vec IntoIter and spec_* function safety with Kani

  failed:
  Check PR Approvals#2303:Pull request#689submittedbyfeliperodri
  Nov 3, 202612s
  More actions for workflow run 2303

• Challenge 23: Verify safety of Vec functions part 1

  failed:
  Check PR Approvals#2302:Pull request#569submittedbyfeliperodri
  Nov 3, 202612s
  More actions for workflow run 2302

• Challenge 23: Verify Vec Part1 safety with Kani

  failed:
  Check PR Approvals#2301:Pull request#598submittedbyfeliperodri
  Nov 3, 202613s
  More actions for workflow run 2301

• Challenge 23: verify Vec mod.rs function safety with Kani

  failed:
  Check PR Approvals#2300:Pull request#692submittedbyfeliperodri
  Nov 3, 202618s
  More actions for workflow run 2300

• Verify safety of str iter functions (Challenge 22)

  failed:
  Check PR Approvals#2299:Pull request#557submittedbyfeliperodri
  Nov 3, 202616s
  More actions for workflow run 2299

• Challenge 22: Verify the safety of str iter functions

  failed:
  Check PR Approvals#2298:Pull request#706submittedbyfeliperodri
  Nov 3, 202615s
  More actions for workflow run 2298

• Challenge 22: Verify safety of str iter with Kani

  failed:
  Check PR Approvals#2297:Pull request#741submittedbyfeliperodri
  Nov 3, 202622s
  More actions for workflow run 2297

• Verify safety of StrSearcher (Challenge 21)

  failed:
  Check PR Approvals#2296:Pull request#538submittedbyfeliperodri
  Nov 3, 202612s
  More actions for workflow run 2296

• New challenge: Safety and correctness of integer logarithms

  failed:
  Check PR Approvals#2295:Pull request#729submittedbyfeliperodri
  Nov 3, 202612s
  More actions for workflow run 2295

• Challenge 21: Verify safety of StrSearcher with Kani

  failed:
  Check PR Approvals#2294:Pull request#621submittedbyfeliperodri
  Nov 3, 202611s
  More actions for workflow run 2294

• Challenge 21: Verify StrSearcher safety in str::pattern with Kani

  failed:
  Check PR Approvals#2293:Pull request#721submittedbyfeliperodri
  Nov 3, 202616s
  More actions for workflow run 2293

• Verify safety of char-related Searcher methods (Challenge 20)

  failed:
  Check PR Approvals#2292:Pull request#537submittedbyfeliperodri
  Nov 3, 202613s
  More actions for workflow run 2292

• Challenge 20: Verify Char Searcher with Kani

  failed:
  Check PR Approvals#2291:Pull request#620submittedbyfeliperodri
  Nov 3, 202613s
  More actions for workflow run 2291

• Challenge 20: Verify char-class Searcher safety in str::pattern with Kani

  failed:
  Check PR Approvals#2290:Pull request#722submittedbyfeliperodri
  Nov 3, 202616s
  More actions for workflow run 2290

• Add Kani harnesses for Challenge 18: slice iter functions

  failed:
  Check PR Approvals#2289:Pull request#651submittedbyfeliperodri
  Nov 3, 202615s
  More actions for workflow run 2289

• Verify safety of slice functions (Challenge 17)

  failed:
  Check PR Approvals#2288:Pull request#703submittedbyfeliperodri
  Nov 3, 202612s
  More actions for workflow run 2288

• Verify safety of iterator adapter functions (Challenge 16)

  failed:
  Check PR Approvals#2287:Pull request#549submittedbyfeliperodri
  Nov 3, 202621s
  More actions for workflow run 2287

• Challenge 16: Verify safety of iterator adapter functions with Kani

  failed:
  Check PR Approvals#2286:Pull request#632submittedbyfeliperodri
  Nov 3, 202613s
  More actions for workflow run 2286

• Challenge 4: Verify memory safety of BTreeMap node module

  failed:
  Check PR Approvals#2285:Pull request#577submittedbyfeliperodri
  Nov 3, 202612s
  More actions for workflow run 2285