Code

Use bound vars internally#499

Code

Merged

Nadrieril merged 4 commits intoAeneasVerif:mainAeneasVerif/charon:mainfrom Nadrieril:use-bound-vars-internallyNadrieril/charon:use-bound-vars-internallyCopy head branch name to clipboardDec 30, 2024

+343-169

Commits

Commits on Dec 30, 2024

• Correctly handle binders in ml printing

  Nadrieril

  committed
  020e78f

  Copy full SHA for 020e78f

• Correctly handle binders in name matcher

  Nadrieril

  committed
  3296816

  Copy full SHA for 3296816

• Fix incorrect docs

  Nadrieril

  committed
  f8fba72

  Copy full SHA for f8fba72

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

  Nadrieril

  committed
  548d3b7

  Copy full SHA for 548d3b7