9 Pull requests merged by 4 people

• Fix link rendering in 0014-convert-num.md

  #293 merged Mar 22, 2025

• Fix link rendering in 0015-intrinsics-simd.md

  #294 merged Mar 21, 2025

• Close Challenges 6 & 14; remove optional correctness work in Challenge 12

  #247 merged Mar 21, 2025

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

  #290 merged Mar 21, 2025

• Track metrics for core and std crates, add loop metrics

  #258 merged Mar 21, 2025

• Update Kani Metrics

  #276 merged Mar 19, 2025

• Update subtree/library to 2025-03-17

  #289 merged Mar 19, 2025

• Subtree update automation: remove extraneous library folder

  #288 merged Mar 19, 2025

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

  #274 merged Mar 19, 2025

2 Pull requests opened by 2 people

• Subtree update automation: do not use `git subtree merge --squash`

  #292 opened Mar 21, 2025

• Update Kani Metrics

  #295 opened Mar 23, 2025

3 Issues closed by 3 people

• Challenge 6: Safety of `NonNull`

  #53 closed Mar 21, 2025

• Challenge 14: Safety of Primitive Conversions

  #220 closed Mar 21, 2025

• Add runtime implementation of requires and ensures

  #17 closed Mar 21, 2025

10 Issues opened by 1 person

• Challenge 25: Verify the safety of `VecDeque` functions

  #286 opened Mar 18, 2025

• Challenge 24: Verify the safety of `Vec` functions part 2

  #285 opened Mar 18, 2025

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

  #284 opened Mar 18, 2025

• Challenge 19: Verify the safety of `slice` iter functions - part 2

  #283 opened Mar 18, 2025

• Challenge 18: Verify the safety of `slice` iter functions - part 1

  #282 opened Mar 18, 2025

• Challenge 17: Verify the safety of `slice` functions

  #281 opened Mar 18, 2025

• Challenge 16: Verify the safety of Iterator functions

  #280 opened Mar 18, 2025

• Challenge 22: Verify the safety of `str` iter functions

  #279 opened Mar 18, 2025

• Challenge 21: Verify the safety of substring-related functions in str::pattern

  #278 opened Mar 18, 2025

• Challenge 20: Verify the safety of char-related functions in str::pattern

  #277 opened Mar 18, 2025

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

• Add Challenges 20 21 22 for str Pattern and iter

  #266 commented on Mar 22, 2025 • 44 new comments

• Add Challenges 17 18 19 for slices

  #265 commented on Mar 22, 2025 • 15 new comments

• Add Challenge 16: Iterator

  #260 commented on Mar 22, 2025 • 9 new comments

• Add challenge 23 24 for Vec

  #267 commented on Mar 22, 2025 • 5 new comments

• Add Challenge 25: VecDeque

  #269 commented on Mar 22, 2025 • 4 new comments

• additional transmute and transmute_unchecked harnesses

  #264 commented on Mar 20, 2025 • 1 new comment

• Add safety preconditions to alloc/src/alloc.rs

  #118 commented on Mar 22, 2025 • 0 new comments

• Add safety preconditions to alloc/src/collections/binary_heap/mod.rs

  #120 commented on Mar 22, 2025 • 0 new comments