Code

Scala version bump to 3.3.3#1514

Code

Merged

vkuncak merged 2 commits intoepfl-lara:mainepfl-lara/stainless:mainfrom samuelchassot:sam/scala_vsamuelchassot/stainless:sam/scala_vCopy head branch name to clipboardApr 30, 2024

+13-18

Commits

Commits on Apr 30, 2024

• scala version bump to 3.3.3; FunctionOf tree changed; Use Iterable instead of Traversable

  samuelchassot

  committed
  e470e3d

  Copy full SHA for e470e3d

• new error message for not hot fields

  samuelchassot

  committed
  28b8c2f

  Copy full SHA for 28b8c2f