Code

Add support for exported methods#1501

Code

Merged

mario-bucev merged 1 commit intoepfl-lara:mainepfl-lara/stainless:mainfrom mario-bucev:export-methodsmario-bucev/stainless:export-methodsCopy head branch name to clipboardFeb 29, 2024

+762-6

Commits

Commits on Feb 29, 2024

• Add support for exported methods

  mario-bucev

  committed
  d865ac1