Code

Update inox#1587

Code

Merged

vkuncak merged 4 commits intoepfl-lara:mainepfl-lara/stainless:mainfrom samuelchassot:sam/updateInoxsamuelchassot/stainless:sam/updateInoxCopy head branch name to clipboardOct 28, 2024

+8-2

Commits

Commits on Oct 10, 2024

• update inox

  samuelchassot

  committed
  cc4ac5d

  Copy full SHA for cc4ac5d

• exclude dependencies to compile

  samuelchassot

  committed
  03e7d57

  Copy full SHA for 03e7d57

• exclude scala xml 3 and not 2.13

  samuelchassot

  committed
  be67f3e

  Copy full SHA for be67f3e

Commits on Oct 27, 2024

• Merge branch 'main' into sam/updateInox

  vkuncak

  authored
  1717ac7

  Copy full SHA for 1717ac7