Code

Update charon#139

Code

Merged

Nadrieril merged 4 commits intoAeneasVerif:mainAeneasVerif/eurydice:mainfrom Nadrieril:update-charon2Nadrieril/eurydice:update-charon2Copy head branch name to clipboardJan 30, 2025

+9-179

Commits

Commits on Jan 23, 2025

• nix: also use clang correctly in dev shell

  Nadrieril

  committed
  2a3e749

  Copy full SHA for 2a3e749

• nix: tell ocaml to print backtraces on exceptions

  Nadrieril

  committed
  95bdbd2

  Copy full SHA for 95bdbd2

• No need to update rust-overlay ourselves anymore

  Nadrieril

  committed
  0468573

  Copy full SHA for 0468573

Commits on Jan 30, 2025

• Update charon

  Nadrieril

  committed
  7c2e312

  Copy full SHA for 7c2e312