3 Pull requests merged by 1 person

• Update subtree/library to 2025-06-13

  #390 merged Jun 17, 2025

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

  #380 merged Jun 17, 2025

• Update Kani Metrics

  #389 merged Jun 15, 2025

2 Pull requests opened by 1 person

• Update subtree/library to 2025-06-17

  #391 opened Jun 18, 2025

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

  #392 opened Jun 19, 2025

1 Unresolved conversation

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.

• Challenge 19: Verify the safety of RawVec

  #283 commented on Jun 20, 2025 • 0 new comments