6 Pull requests merged by 5 people

• Add challenge 23 24 for Vec

  #267 merged Jun 10, 2025

• Updates for goto-transcoder and ESBMC

  #387 merged Jun 10, 2025

• Kani: use -Z unstable-options instead of --enable-unstable

  #386 merged Jun 9, 2025

• Update Kani Metrics

  #385 merged Jun 8, 2025

• Setting the appropriate target when running autoharness-analyzer

  #384 merged Jun 8, 2025

• Merge subtree update for toolchain nightly-2025-06-02

  #378 merged Jun 4, 2025

2 Pull requests opened by 1 person

• Update subtree/library to 2025-06-03

  #379 opened Jun 4, 2025

• Merge subtree update for toolchain nightly-2025-06-03

  #380 opened Jun 5, 2025

1 Issue closed by 1 person

• Running autoharness-analyzer from run-kani.sh on MacOS

  #381 closed Jun 8, 2025

2 Issues opened by 1 person

• Challenge 27: Verify atomically reference-counted Cell implementation

  #383 opened Jun 6, 2025

• Challenge 26: Verify reference-counted Cell implementation

  #382 opened Jun 6, 2025

5 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• New challenges for Rc, Arc, and related Weak implementations

  #367 commented on Jun 10, 2025 • 3 new comments

• make_ascii_uppercase/lowercase harnesses

  #368 commented on Jun 5, 2025 • 1 new comment

• Challenge 23: Verify the safety of `Vec` functions part 1

  #284 commented on Jun 4, 2025 • 0 new comments

• VeriFast solution for Challenge 5 (linked_list.rs)

  #238 commented on Jun 5, 2025 • 0 new comments

• Add kmir tool description and CI workflow

  #310 commented on Jun 4, 2025 • 0 new comments