Code

Derive eq#548

Code

Merged

sonmarcho merged 2 commits intoAeneasVerif:mainAeneasVerif/charon:mainfrom N1ark:derive_eqN1ark/charon:derive_eqCopy head branch name to clipboardFeb 12, 2025

+46-20

Commits

Commits on Feb 12, 2025

• Derive eq

  

  N1ark

  authored and

  Nadrieril

  committed
  8221be5

  Copy full SHA for 8221be5

• Pin the ocamlformat version used

  Nadrieril

  committed
  d132829

  Copy full SHA for d132829