L# Algorithm - #141

Merged

mtf90 merged 38 commits into

LearnLib:developfrom

tiferrei:feat/lsharp

Jan 27, 2025

Commits on Nov 24, 2023

feat: lsharp
tiferrei
committed
a25f85e
fix: LSoracle Rule3 SepSeq mode
tiferrei
committed
eff33af
fix: tidy pom
tiferrei
committed
292f73b
chore: tidy imports
tiferrei
committed
9063d00
chore: spotbugs
tiferrei
committed
84091e0
chore: spotbugs
tiferrei
committed
df6bd5b
chore: spotbugs
tiferrei
committed
64cb06f
chore: spotbugs
tiferrei
committed
e085263
chore: spotbugs
tiferrei
committed
1d9c6e5
chore: pmd
tiferrei
committed
4bb54ab
chore: pmd
tiferrei
committed
51f362e
chore: pmd
tiferrei
committed
7695c3d
chore: pmd
tiferrei
committed
7ebb34b
chore: pmd
tiferrei
committed
9481acc

Commits on Nov 25, 2023

chore: pmd
tiferrei
committed
81e8cc7

Commits on Nov 27, 2023

chore: checkstyle
tiferrei
committed
4f43440
chore: checkstyle
tiferrei
committed
ca93112
chore: checkstyle
tiferrei
committed
b2402f2
chore: checkstyle
tiferrei
committed
6e91dff

Commits on Jan 13, 2025

Commits on Jan 25, 2025

Merge branch 'develop' into feat/lsharp
mtf90
authored
6e5a1b4
update to latest refactorings
mtf90
committed
8944920
restore old integration test
mtf90
committed
2c106c6
initial cleanup
mtf90
committed
af2bda6
replace LSMealyMachine with CompactMealy
mtf90
committed
2906e50
determinize integration tests
mtf90
committed
b77b096
de-stream-ify code
mtf90
committed
e1b42d1

Commits on Jan 26, 2025

do not use exceptions for control flow
mtf90
committed
cee5dac
cleanup dependencies
mtf90
committed
d77c4c2
fix issues reported by checkerframework
mtf90
committed
b27294b
include into existing hierarchies
mtf90
committed
dac8dd7
general cleanups
mtf90
committed
23297f7
documentation
mtf90
committed
45e0e8a
ignore LSharp builder in coverage
mtf90
committed
a2d6e45

Commits on Jan 27, 2025

add comment detailing the scope of the implementation
mtf90
committed
e148d9b