Code

Update subtree to 2025-02-11#259

Code

Merged

carolynzech merged 6 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom carolynzech:sync-2025-02-11carolynzech/rust:sync-2025-02-11Copy head branch name to clipboardMar 3, 2025

+17,927-9,499

Commits

Commits on Feb 21, 2025

• Squashed 'library/' changes from 78fc550..0b9e7db

  Show description for 9c1e515
  

  gitbot

  committed
  9c1e515

  Copy full SHA for 9c1e515

• Merge from 124cc92 with conflicts

  

  gitbot

  committed
  f7d651c

  Copy full SHA for f7d651c

Commits on Feb 26, 2025

• Fix merge conflicts

  carolynzech

  committed
  3238846

  Copy full SHA for 3238846

• rustfmt

  carolynzech

  committed
  50889e7

  Copy full SHA for 50889e7

• Update toolchain & Kani version to 2025-02-11

  Show description for 4461995
  carolynzech

  committed
  4461995

  Copy full SHA for 4461995

Commits on Mar 3, 2025

• address comments from review

  carolynzech

  committed
  c18b612

  Copy full SHA for c18b612