Code

Parallelize ADT Learner#129

Code

Closed

mtf90 wants to merge 16 commits intoLearnLib:developLearnLib/learnlib:developfrom leonthalee:developleonthalee/learnlib:developCopy head branch name to clipboard

+2,642-995

Commits

Commits on Jul 24, 2024

• short:

  Show description for cce1a70
  

  vito

  committed
  cce1a70

Commits on Jul 29, 2024

• added contact info to the parent pom.xml

  

  vito

  committed
  ee24333

Commits on Jul 30, 2024

• initial refacotring ideas

  Show description for 1316db8
  mtf90

  committed
  1316db8

Commits on Aug 1, 2024

• add parallelism tests

  mtf90

  committed
  f6a2d3a

• some experimentation with adaptive caches

  Show description for 5bc042b
  mtf90

  committed
  5bc042b

Commits on Aug 13, 2024

• some progress

  mtf90

  committed
  e6e1f6f

Commits on Aug 15, 2024

• some progress

  mtf90

  committed
  5e51756

Commits on Aug 17, 2024

• tests now pass

  mtf90

  committed
  ebe656e

Commits on Aug 19, 2024

• Merge branch 'LearnLib:develop' into develop

  mtf90

  authored
  b49a9c2

• fix code-analysis remarks

  mtf90

  committed
  e03c326

• remove old SymbolQuery code

  mtf90

  committed
  a9acaa8

• some cleanups

  mtf90

  committed
  745d403

Commits on Aug 20, 2024

• share some functionality

  mtf90

  committed
  1fb41d7

• add documentation + small cleanups

  mtf90

  committed
  6cfe43f

• update CHANGELOG

  mtf90

  committed
  836a667

Commits on Aug 22, 2024

• remove obsolete method

  mtf90

  committed
  ce66855