Code

Update toolchain to 2025-03-02#3911

Code

Merged

remi-delmas-3000 merged 11 commits intomodel-checking:mainmodel-checking/kani:mainfrom remi-delmas-3000:update-toolchain-2025-02-26remi-delmas-3000/kani:update-toolchain-2025-02-26Copy head branch name to clipboardMar 5, 2025

+183-353

Commits

Commits on Feb 27, 2025

• Update toolchain to 2025-02-27

  Show description for 26706b4
  

  Remi Delmas

  committed
  26706b4

  Copy full SHA for 26706b4

• Intrinsics rint, roundeven, nearbyint replaced by round_ties_even.

  Show description for d9ad6e1
  

  Remi Delmas

  committed
  d9ad6e1

  Copy full SHA for d9ad6e1

• Rename sub_ptr to offset_from_unsigned.

  Show description for 80fd315
  

  Remi Delmas

  committed
  80fd315

  Copy full SHA for 80fd315

Commits on Mar 3, 2025

• Dump toolchain to 2025-03-02

  

  Remi Delmas

  committed
  15fb14d

  Copy full SHA for 15fb14d

Commits on Mar 4, 2025

• Skip CrateItems that of GlobalAsm kind to avoid triggering a panic in stable MIR

  remi-delmas-3000

  committed
  5143a9b

  Copy full SHA for 5143a9b

• Fix test message

  remi-delmas-3000

  committed
  bc9a857

  Copy full SHA for bc9a857

• Merge branch 'main' into update-toolchain-2025-02-26

  remi-delmas-3000

  authored
  e7cd8bb

  Copy full SHA for e7cd8bb

Commits on Mar 5, 2025

• Update attributes.rs

  Show description for dbbad5f
  remi-delmas-3000

  authored
  dbbad5f

  Copy full SHA for dbbad5f

• Tracking issue for stable MIR panic

  remi-delmas-3000

  authored
  f7ed449

  Copy full SHA for f7ed449

• Handle new intrinsic in alias analysis

  remi-delmas-3000

  authored
  6ef84dd

  Copy full SHA for 6ef84dd

• Clippy fix

  remi-delmas-3000

  authored
  7f93979

  Copy full SHA for 7f93979