3 Pull requests merged by 3 people

• Add Flux tool description and CI workflow

  #403 merged Jul 16, 2025

• Add contracts for NonZero::from_mut_unchecked

  #345 merged Jul 15, 2025

• Update Kani Metrics

  #415 merged Jul 14, 2025

3 Pull requests opened by 3 people

• Update subtree/library to 2025-07-11

  #414 opened Jul 12, 2025

• Simplify Flux contract for int conversion

  #416 opened Jul 16, 2025

• Update for toolchain nightly-2025-07-10 + Fix loop-invariant

  #417 opened Jul 18, 2025

1 Issue closed by 1 person

• Add Tool: Flux

  #362 closed Jul 16, 2025

4 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.

• align_to and align_to_mut contract and harnesses

  #405 commented on Jul 11, 2025 • 1 new comment

• Challenge 7: Safety of Methods for Atomic Types & Atomic Intrinsics

  #83 commented on Jul 16, 2025 • 0 new comments

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

  #367 commented on Jul 14, 2025 • 0 new comments

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

  #413 commented on Jul 17, 2025 • 0 new comments