Code

Use bound vars internally#499

Code

Open

Nadrieril wants to merge 3 commits intoAeneasVerif:mainAeneasVerif/charon:mainfrom Nadrieril:use-bound-vars-internallyNadrieril/charon:use-bound-vars-internallyCopy head branch name to clipboard

+323-159

Commits

Commits on Dec 20, 2024

• Correctly handle binders in ml printing

  Nadrieril

  committed
  2e810aa

• Correctly handle binders in name matcher

  Nadrieril

  committed
  fcd5a6f

• Don't use Free variables internally, substitute at the end

  Nadrieril

  committed
  a3a0149