8 Pull requests merged by 3 people

• Merge subtree update for toolchain nightly-2025-07-30

  #432 merged Jul 30, 2025

• Update subtree/library to 2025-07-30

  #431 merged Jul 30, 2025

• Merge subtree update for toolchain nightly-2025-07-21

  #428 merged Jul 30, 2025

• Update subtree/library to 2025-07-21

  #427 merged Jul 29, 2025

• Add missing line breaks in 0020-str-pattern-pt1.md

  #426 merged Jul 28, 2025

• Fix table in 0025-vecdeque.md

  #425 merged Jul 28, 2025

• Update Kani Metrics

  #424 merged Jul 27, 2025

• align_to and align_to_mut contract and harnesses

  #405 merged Jul 24, 2025

6 Pull requests opened by 5 people

• VeriFast solution for challenge 19 (RawVec)

  #422 opened Jul 24, 2025

• Testable Models for SIMD Intrinsics

  #423 opened Jul 25, 2025

• Loop invariants and harnesses for memchr functions

  #429 opened Jul 29, 2025

• Add loop_invariant and harness for array reverse

  #430 opened Jul 29, 2025

• Challenge 1 status update

  #433 opened Jul 30, 2025

• LLM-generated contracts for `__iterator_get_unchecked`

  #435 opened Jul 30, 2025