Skip to content

Make L^s support growing alphabets#160

Merged
mtf90 merged 5 commits into
LearnLib:developfrom
mtf90:growing-sparse
Jul 2, 2026
Merged

Make L^s support growing alphabets#160
mtf90 merged 5 commits into
LearnLib:developfrom
mtf90:growing-sparse

Merge branch 'LearnLib:develop' into growing-sparse

2719fbf
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

10 warnings
Tests and Analysis (JDK: 21)
succeeded Jul 2, 2026 in 9m 1s