Code

Add minor utilities#500

Code

Merged

sonmarcho merged 2 commits intomainAeneasVerif/charon:mainfrom son/borrowsAeneasVerif/charon:son/borrowsCopy head branch name to clipboardDec 17, 2024

+15

Commits

Commits on Dec 16, 2024

• Add some utilities

  sonmarcho

  committed
  1eb5945

  Copy full SHA for 1eb5945

Commits on Dec 17, 2024

• Merge branch 'main' into son/borrows

  sonmarcho

  authored
  dc586ec

  Copy full SHA for dc586ec