Code

Replace xstream with fury#127

Code

Merged

mtf90 merged 6 commits intoLearnLib:developLearnLib/learnlib:developfrom mtf90:furymtf90/learnlib:furyCopy head branch name to clipboardJun 13, 2024

+29-122

Commits

Commits on May 16, 2024

• initial fury transition

  mtf90

  committed
  1f5d043

• switch to fury nightly

  mtf90

  committed
  01a6b7a

• use new module names

  mtf90

  committed
  ab80194

• switch to stable release

  mtf90

  committed
  d73090f

• remove rebase artifact

  mtf90

  committed
  7741389

Commits on Jun 13, 2024

• bump version

  mtf90

  committed
  2f53df5