LearnLib CLI - #166

Merged

mtf90 merged 34 commits into

LearnLib:developfrom

Aug 11, 2026

Commits on Jul 30, 2026

initial work on CLI application
mtf90
committed
0a705a8
update build profiles
mtf90
committed
a66d7f9
github: add worflow for attaching cli artifacts
mtf90
committed
fb574e9
cli: include OS classifiers in artifact name
mtf90
committed
42dc4de
do not include cli module in releases for now
mtf90
committed
aebbb34
update docs
mtf90
committed
7ab9ad1
tidy:pom
mtf90
committed
2d8d150
add support for SAF serialization
mtf90
committed
f743669
cli: add ADT and LSHARP algorithm
mtf90
committed
def64cd
cleanup CLI oracles
mtf90
committed
ed50b8d
experiment: allow for logging intermediate hypotheses
mtf90
committed
38f8774
jacoco: also depend on cli module before aggregating reports
mtf90
committed
0530809
cli: improve documentation
mtf90
committed
2183cb3
fix code-analysis
mtf90
committed
e40b54a
cli: add support for parallel oracles
mtf90
committed
273273e
cli: add unit- and integration-tests
mtf90
committed
480d1bb
add support for snapshotting
mtf90
committed
285db43
use LocalDateTime
mtf90
committed
696e39b
simplify --eqo-* param names
mtf90
committed
ba9fcb6
Revert "simplify --eqo-* param names"
mtf90
committed
1b466d3
add MalerPnueli + RivestSchapire learner and adjust learner names
mtf90
committed
15b6048

Commits on Jul 31, 2026

include license information in jlink artifact
mtf90
committed
b590ce1
cleanup checkerframework config
mtf90
committed
7689b39

Commits on Aug 4, 2026

add rudimentary class validation during deserialization + cleanups
mtf90
committed
5c29490

Commits on Aug 10, 2026

add changelog
mtf90
committed
608d866

Commits on Aug 11, 2026

add missing --add-opens + test
mtf90
committed
e61eb83
cleanup
mtf90
committed
c9c5d53
wording
mtf90
committed
10a8a72
handle python availability more gracefully
mtf90
committed
8f7a675
conditionally set --add-opens option
mtf90
committed
3a68b03
cli: invoke script via python interpreter
mtf90
committed
47d1269
sett full (and platform-specific) path in jlink IT
mtf90
committed
22417fe
wording
mtf90
committed
64d7544
coveralls: s/Example/Experiment/
mtf90
committed
35e16c0