Code

Rework how charon represents regions#395

Code

Merged

Nadrieril merged 6 commits intoAeneasVerif:mainAeneasVerif/aeneas:mainfrom Nadrieril:debruijn3Nadrieril/aeneas:debruijn3Copy head branch name to clipboardDec 11, 2024

+94-135

Commits

Commits on Dec 11, 2024

• Remove visit_region_id

  Nadrieril

  committed
  aa8c775

  Copy full SHA for aa8c775

• Use a single type for region ids

  Nadrieril

  committed
  fb88ad4

  Copy full SHA for fb88ad4

• DeBruijnVar takes a single type parameter

  Nadrieril

  committed
  7b7413d

  Copy full SHA for 7b7413d

• Signature-bound region vars are now Free

  Nadrieril

  committed
  c776917

  Copy full SHA for c776917

• Update to new substitution API

  Nadrieril

  committed
  ee3ac39

  Copy full SHA for ee3ac39

• Update charon pin

  Nadrieril

  committed
  06b0c9c

  Copy full SHA for 06b0c9c