Code

Toolchain update 06-01-2025#3814

Code

Merged

remi-delmas-3000 merged 10 commits intomodel-checking:mainmodel-checking/kani:mainfrom remi-delmas-3000:toolchain-update-06-01-2025remi-delmas-3000/kani:toolchain-update-06-01-2025Copy head branch name to clipboardJan 10, 2025

+187-29

Commits

Commits on Jan 7, 2025

• Update toolchain to 2025-01-06

  

  Remi Delmas

  committed
  df9924e

  Copy full SHA for df9924e

• Implement SourceRegion locally in Kani

  Show description for 1c8fd4b
  

  Remi Delmas

  committed
  1c8fd4b

  Copy full SHA for 1c8fd4b

• Propagate upstream representation change for enums with no variants

  Show description for feca7ab
  

  Remi Delmas

  committed
  feca7ab

  Copy full SHA for feca7ab

• Add UnsafeBinder variant (WIP in rustc).

  Show description for 75ce5d6
  

  Remi Delmas

  committed
  75ce5d6

  Copy full SHA for 75ce5d6

• Propagate removal of RValue::Len(place) in MIR.

  Show description for 8159275
  

  Remi Delmas

  committed
  8159275

  Copy full SHA for 8159275

• Rename typed_swap to typed_swap_nonoverlapping.

  Show description for 49745b8
  

  Remi Delmas

  committed
  49745b8

  Copy full SHA for 49745b8

• Clippy fixes.

  

  Remi Delmas

  committed
  30fec9e

  Copy full SHA for 30fec9e

• Clippy fixes.

  

  Remi Delmas

  committed
  cc4abe6

  Copy full SHA for cc4abe6

Commits on Jan 9, 2025

• Add todo message for UnsafeBinder

  

  Remi Delmas

  committed
  3c43721

  Copy full SHA for 3c43721

• rustfmt fixes

  

  Remi Delmas

  committed
  f9134c8

  Copy full SHA for f9134c8