WARNING: THIS SITE IS A MIRROR OF GITHUB.COM / IT CANNOT LOGIN OR REGISTER ACCOUNTS / THE CONTENTS ARE PROVIDED AS-IS / THIS SITE ASSUMES NO RESPONSIBILITY FOR ANY DISPLAYED CONTENT OR LINKS / IF YOU FOUND SOMETHING MAY NOT GOOD FOR EVERYONE, CONTACT ADMIN AT ilovescratch@foxmail.com

Sparse Learner#152

Merged

mtf90 merged 24 commits intoLearnLib:developfrom

stateMachinist:sparse

Dec 24, 2025

Commits on Dec 13, 2025

added sparse learner

stateMachinist
authored and
mtf90
committed
fixed comment

stateMachinist
authored and
mtf90
committed
adjustments for code style

stateMachinist
authored and
mtf90
committed
extended contributor list

stateMachinist
authored and
mtf90
committed
extended test cases

stateMachinist
authored and
mtf90
committed
Revert "extended test cases"
mtf90
committed
cleanups
mtf90
committed
some nullability augmentations
mtf90
committed
more cleanups
mtf90
committed
more cleanups
mtf90
committed
update README
mtf90
committed
update changelog
mtf90
committed
add DOIs
mtf90
committed
reverted some refactorings and extended comments

stateMachinist
authored and
mtf90
committed
improved documentation

stateMachinist
authored and
mtf90
committed
use Java 17 language features
mtf90
committed
ctrl + f
mtf90
committed
remove redundant whitespaces
mtf90
committed
properly order contributors
mtf90
committed

Commits on Dec 14, 2025

make checkerframework happy
mtf90
committed