Code

Clarify uses of Vector::len#562

Code

Merged

Nadrieril merged 1 commit intoAeneasVerif:mainAeneasVerif/charon:mainfrom Nadrieril:fix-inconsistent-genericsNadrieril/charon:fix-inconsistent-genericsCopy head branch name to clipboardFeb 18, 2025

+168-81

Commits

Commits on Feb 17, 2025

• Clarify uses of Vector::len

  Show description for fdeb0d0
  Nadrieril

  committed
  fdeb0d0

  Copy full SHA for fdeb0d0