Code

Parallelize ADT Learner#132

Code

Merged

mtf90 merged 16 commits intoLearnLib:developLearnLib/learnlib:developfrom leonthalee:developleonthalee/learnlib:developCopy head branch name to clipboardSep 1, 2024

+2,642-995

Commits

Commits on Jul 24, 2024

• short:

  Show description for cce1a70
  

  vito

  committed
  cce1a70

  Copy full SHA for cce1a70

Commits on Jul 29, 2024

• added contact info to the parent pom.xml

  

  vito

  committed
  ee24333

  Copy full SHA for ee24333

Commits on Jul 30, 2024

• initial refacotring ideas

  Show description for 1316db8
  mtf90

  committed
  1316db8

  Copy full SHA for 1316db8

Commits on Aug 1, 2024

• add parallelism tests

  mtf90

  committed
  f6a2d3a

  Copy full SHA for f6a2d3a

• some experimentation with adaptive caches

  Show description for 5bc042b
  mtf90

  committed
  5bc042b

  Copy full SHA for 5bc042b

Commits on Aug 13, 2024

• some progress

  mtf90

  committed
  e6e1f6f

  Copy full SHA for e6e1f6f

Commits on Aug 15, 2024

• some progress

  mtf90

  committed
  5e51756

  Copy full SHA for 5e51756

Commits on Aug 17, 2024

• tests now pass

  mtf90

  committed
  ebe656e

  Copy full SHA for ebe656e

Commits on Aug 19, 2024

• Merge branch 'LearnLib:develop' into develop

  mtf90

  authored
  b49a9c2

  Copy full SHA for b49a9c2

• fix code-analysis remarks

  mtf90

  committed
  e03c326

  Copy full SHA for e03c326

• remove old SymbolQuery code

  mtf90

  committed
  a9acaa8

  Copy full SHA for a9acaa8

• some cleanups

  mtf90

  committed
  745d403

  Copy full SHA for 745d403

Commits on Aug 20, 2024

• share some functionality

  mtf90

  committed
  1fb41d7

  Copy full SHA for 1fb41d7

• add documentation + small cleanups

  mtf90

  committed
  6cfe43f

  Copy full SHA for 6cfe43f

• update CHANGELOG

  mtf90

  committed
  836a667

  Copy full SHA for 836a667

Commits on Aug 22, 2024

• remove obsolete method

  mtf90

  committed
  ce66855

  Copy full SHA for ce66855