19 Pull requests merged by 5 people

• Update Kani Metrics

  #295 merged Mar 24, 2025

• 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

• Update subtree/library to 2025-03-13

  #273 merged Mar 14, 2025

• Subtree update automation: use fast version of subtree split

  #270 merged Mar 13, 2025

• Update Kani Metrics

  #268 merged Mar 13, 2025

• Update list of PR approvers

  #272 merged Mar 13, 2025

• Update subtree/library to 2025-02-10

  #262 merged Mar 4, 2025

• Update Kani Metrics

  #263 merged Mar 4, 2025

• Move std-analysis.sh script from Kani repository

  #261 merged Mar 4, 2025

• Subtree Update Automation Fixes

  #250 merged Mar 4, 2025

• Update subtree to 2025-02-11

  #259 merged Mar 3, 2025

8 Pull requests opened by 4 people

• Add Challenge 16: Iterator

  #260 opened Feb 28, 2025

• additional transmute and transmute_unchecked harnesses

  #264 opened Mar 4, 2025

• Add Challenges 17 18 19 for slices

  #265 opened Mar 6, 2025

• Add Challenges 20 21 22 for str Pattern and iter

  #266 opened Mar 6, 2025

• Add challenge 23 24 for Vec

  #267 opened Mar 7, 2025

• Add Challenge 25: VecDeque

  #269 opened Mar 10, 2025

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

  #292 opened Mar 21, 2025

• Update Kani Metrics

  #305 opened Mar 30, 2025

4 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

• Subtree Update Automation Workflow Bugs

  #249 closed Mar 4, 2025

11 Issues opened by 2 people

• Add Tool: KMIR by Runtime Verification

  #296 opened Mar 24, 2025

• 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

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.

• 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

• NonZero (unchecked_mul & unchecked_add) Proof for Contracts (Init)

  #184 commented on Mar 13, 2025 • 0 new comments

• Add contracts for `SmallSort`

  #234 commented on Mar 13, 2025 • 0 new comments

• VeriFast solution for Challenge 5 (linked_list.rs)

  #238 commented on Mar 4, 2025 • 0 new comments