Code

Update rustc all at once#735

Code

Merged

W95Psp merged 18 commits intocryspen:maincryspen/hax:mainfrom Nadrieril:update-rustc-madnessNadrieril/hax:update-rustc-madnessCopy head branch name to clipboardJun 27, 2024

+524-539

Commits

Commits on Jun 24, 2024

• Bump rustc

  Nadrieril

  committed
  23a5e94

  Copy full SHA for 23a5e94

• Bump rustc

  Nadrieril

  committed
  eb68953

  Copy full SHA for eb68953

• Bump rustc

  Nadrieril

  committed
  8124bf4

  Copy full SHA for 8124bf4

• Linter no longer needs to hold on to a Session

  Nadrieril

  committed
  a8d0a7d

  Copy full SHA for a8d0a7d

Commits on Jun 25, 2024

• Add nix utility to retrieve the rustc commit for the given toolchain

  Nadrieril

  committed
  a4c0c26

  Copy full SHA for a4c0c26

• Update rustc

  Nadrieril

  committed
  241c7f6

  Copy full SHA for 241c7f6

• Update rustc

  Nadrieril

  committed
  50b195b

  Copy full SHA for 50b195b

• Cleanup

  Nadrieril

  committed
  bbbd02d

  Copy full SHA for bbbd02d

• Update rustc

  Nadrieril

  committed
  e1439bf

  Copy full SHA for e1439bf

• Update rustc

  Nadrieril

  committed
  caaf85b

  Copy full SHA for caaf85b

• Fix type of Cmp

  Nadrieril

  committed
  34482ef

  Copy full SHA for 34482ef

• Update rustc

  Nadrieril

  committed
  ff74ed2

  Copy full SHA for ff74ed2

Commits on Jun 26, 2024

• Update rustc

  Nadrieril

  committed
  88614bc

  Copy full SHA for 88614bc

• Add a bit of information to traces

  Nadrieril

  committed
  f5b704f

  Copy full SHA for f5b704f

• One day more to fix a bug

  Show description for 09f3985
  Nadrieril

  committed
  09f3985

  Copy full SHA for 09f3985

• Get the type of uneval constants properly

  Show description for 40b4786
  Nadrieril

  committed
  40b4786

  Copy full SHA for 40b4786

Commits on Jun 27, 2024

• Merge branch 'main' into update-rustc-madness

  W95Psp

  authored
  2b39ef6

  Copy full SHA for 2b39ef6

• Merge branch 'main' into update-rustc-madness

  W95Psp

  authored
  a9adabf

  Copy full SHA for a9adabf