All pull requests

Pull requests

• Merge subtree update for toolchain nightly-2026-10-11

  #727·github-actions[bot] opened Oct 13, 2026Bot·

  ·
  14

• Update subtree/library to 2026-10-11

  #726·github-actions[bot] opened Oct 13, 2026Bot·

  ·
  1

• Challenge 10: Verify String safety with Kani

  #725·v3risec opened Oct 13, 2026·

  ·
  1

• Challenge 20: Verify char-class Searcher safety in str::pattern with Kani

  Challenge
  #722·kasimte opened Oct 8, 2026·

  ·
  1

• Challenge 21: Verify StrSearcher safety in str::pattern with Kani

  Challenge
  #721·kasimte opened Oct 7, 2026·

  ·
  1

• Bump rand from 0.9.2 to 0.9.5 in /library/portable-simd

  dependenciesrust
  #720·dependabot[bot] opened Oct 6, 2026Bot·

  ·

• Challenge 22: Verify the safety of str iter functions

  Challenge
  #706·kasimte opened Oct 2, 2026·

  ·
  9

• Verify safety of slice functions (Challenge 17)

  Challenge
  #703·kasimte opened Sep 29, 2026·

  ·

• Challenge 10: Verify memory safety of String functions with Kani

  Challenge
  #702·Talha-Dmr opened Sep 29, 2026·

  ·
  15

• Challenge 8: Verify SmallSort with Kani

  Challenge
  #701·v3risec opened Sep 29, 2026·

  ·
  1

• Add CI-generated autoharness dashboard

  Maintenance
  #700·wodex1nhaoIeng opened Sep 29, 2026·

  ·

• Challenge 8: verify smallsort safety and sorting correctness with Kani

  Challenge
  #694·kasimte opened Sep 23, 2026·

  ·

• Challenge 23: verify Vec mod.rs function safety with Kani

  Challenge
  #692·kasimte opened Sep 22, 2026·

  ·

• Challenge 24: verify Vec IntoIter and spec_* function safety with Kani

  Challenge
  #689·kasimte opened Sep 18, 2026·

  ·

• Challenge 4: Verify memory safety of BTreeMap node module with Kani

  Challenge
  #684·v3risec opened Sep 10, 2026·

  ·
  1

  3

• Challenge 7: Verify safety of Atomic types and Atomic Intrinsics with Kani

  Accepted SolutionChallenge
  #683·v3risec opened Sep 8, 2026·

  ·
  1

  3

• Challenge 25: Verify the safety of VecDeque (unbounded, symbolic ring layouts, contracts on all 13 unsafe fns)

  Accepted SolutionChallenge
  #681·jrey8343 opened Sep 8, 2026·

  ·
  7

  

• Challenge 8 (partial): no-UB proofs and sorting-correctness harnesses for smallsort

  Challenge
  #678·samiam713 opened Sep 7, 2026·

  ·

• Challenge 13: contracts and proofs for CStr trait implementations and safe methods

  Challenge
  #670·kasimte opened Sep 2, 2026·

  ·
  8

• Challenge 29: Verify the safety of Box and ThinBox in alloc::boxed

  Challenge
  #669·kasimte opened Sep 2, 2026·

  ·
  5

• Challenge 2: Verify safety of raw-pointer intrinsics with Kani

  Challenge
  #668·v3risec opened Sep 1, 2026·

  ·
  1

  1

• Challenge 21 (partial): bounded Kani PROBE of shipped TwoWaySearcher::next_back short-period arms

  Challenge
  #664·ivmat opened Aug 29, 2026·

  ·
  2

• Challenge 26: Verify the safety of Rc and Weak in alloc::rc

  Challenge
  #661·kasimte opened Aug 27, 2026·

  ·
  1

• Strengthen Duration::from_secs contract to exclude fractional seconds

  Challenge
  #658·Adkid-Zephyr opened Aug 27, 2026·

  ·
  2

• Challenge 17: Verify slice safety with Kani

  Challenge
  #657·v3risec opened Aug 27, 2026·

  ·
  1