Repository navigation

Sparse Learner - #152

Merged

mtf90 merged 24 commits into

LearnLib:developfrom

stateMachinist:sparse

Dec 24, 2025

Merged

Sparse Learner#152
mtf90 merged 24 commits into
LearnLib:developfrom
stateMachinist:sparse

Commits on Dec 13, 2025
- added sparse learner
  
  stateMachinist
  authored and
  mtf90
  committed
  7c765c3
- fixed comment
  
  stateMachinist
  authored and
  mtf90
  committed
  708d34a
- adjustments for code style
  
  stateMachinist
  authored and
  mtf90
  committed
  ab61a2e
- extended contributor list
  
  stateMachinist
  authored and
  mtf90
  committed
  ed58a72
- extended test cases
  
  stateMachinist
  authored and
  mtf90
  committed
  8e69d50
- Revert "extended test cases"
  mtf90
  committed
  05593fe
- cleanups
  mtf90
  committed
  0421cdd
- some nullability augmentations
  mtf90
  committed
  3cc5a87
- more cleanups
  mtf90
  committed
  4fc147d
- more cleanups
  mtf90
  committed
  b732211
- update README
  mtf90
  committed
  4e6337b
- update changelog
  mtf90
  committed
  de2a1c0
- add DOIs
  mtf90
  committed
  50ffc67
- reverted some refactorings and extended comments
  
  stateMachinist
  authored and
  mtf90
  committed
  91f2482
- improved documentation
  
  stateMachinist
  authored and
  mtf90
  committed
  5045634
- use Java 17 language features
  mtf90
  committed
  fd1f4d7
- ctrl + f
  mtf90
  committed
  d213088
- remove redundant whitespaces
  mtf90
  committed
  f8cb2c6
- properly order contributors
  mtf90
  committed
  b8d8784
Commits on Dec 14, 2025
- make checkerframework happy
  mtf90
  committed
  b5e0f1e
Commits on Dec 24, 2025
- shortened varnames for readability
  stateMachinist
  committed
  b2936c4
- replaced confusing getOrDefault call
  stateMachinist
  committed
  547b749
- Merge branch 'develop' into sparse
  mtf90
  authored
  6a4e003
- adjust to upstream changes
  mtf90
  committed
  738cb27

Commits

Commits on Dec 13, 2025

Commits on Dec 14, 2025

Commits on Dec 24, 2025