Code

Mad rustc update#272

Code

Merged

Nadrieril merged 6 commits intoAeneasVerif:mainAeneasVerif/charon:mainfrom Nadrieril:mad-rustc-updateNadrieril/charon:mad-rustc-updateCopy head branch name to clipboardJun 28, 2024

+976-791

Commits

Commits on Jun 26, 2024

• Bump hax

  Nadrieril

  committed
  2a67e79

  Copy full SHA for 2a67e79

• Bump hax

  Nadrieril

  committed
  a9fef17

  Copy full SHA for a9fef17

• Tiny factor

  Nadrieril

  committed
  e165cbe

  Copy full SHA for e165cbe

• Bump hax

  Nadrieril

  committed
  af136c1

  Copy full SHA for af136c1

• ci: Use latest rust-overlay for aeneas and eurydice

  Show description for 232d6e7
  Nadrieril

  committed
  232d6e7

  Copy full SHA for 232d6e7

Commits on Jun 28, 2024

• Update hax and rustc

  Show description for 0fb1b5d
  Nadrieril

  committed
  0fb1b5d

  Copy full SHA for 0fb1b5d