LearnLib / learnlib / 3040468801

Builds Branch Commit Type Ran Committer Via Coverage
3040468801 develop cleanup some active learners * simplify nullability in ClassicLStarMealy and ClassicLStarMoore implementations * do not call overridable methods in constructor of AbstractDTLearner * add some additional null checks in OML implementations overall... push Markus Frohme github pending completion   set done
3022876980 develop add Moore variants of L*, DT and TTT algorithms (#87) * add Moore variant to LStar, DiscriminationTree and TTT algorithms * cleanup * add additional tests + more fixes/cleanups * cleanup Moore-specific counter oracles Co-authored-by: ... push GitHub github pending completion   set done
3020860402 develop Merge f60aac7b8 into 426dd1a16 Pull #86 GitHub github pending completion   set done
2778464656 develop SPA: use repeated + bin. fwd. CE analysis in KV adapter push Markus Frohme github pending completion   set done
2561679534 develop add serialization tests for discrimination trees push Markus Frohme github pending completion   set done
2212226439 develop Bump logback-core from 1.2.3 to 1.2.9 (#85) Bumps logback-core from 1.2.3 to 1.2.9. --- updated-dependencies: - dependency-name: ch.qos.logback:logback-core dependency-type: direct:development ... Signed-off-by: dependabot[bot] <suppo... push GitHub github pending completion   set done
2212123087 develop Add OML (#81) * initial OML version * fix corner case (child not defined in dtree) * initial refactorings to pass code analysis * make OptimalTTT support growing alphabets + cleanups * add upstream fixes/improvements * ci: build de... push GitHub github pending completion   set done
2212123934 dependabot/maven/ch.qos.logback-logback-core-1.2.9 Merge d89a93cc2 into e26605c09 Pull #85 GitHub github pending completion   set done
2212123834 dependabot/maven/ch.qos.logback-logback-core-1.2.9 Bump logback-core from 1.2.3 to 1.2.9 Bumps logback-core from 1.2.3 to 1.2.9. --- updated-dependencies: - dependency-name: ch.qos.logback:logback-core dependency-type: direct:development ... Signed-off-by: dependabot[bot] <support@github.com> push GitHub github pending completion   set done
2211872152 oml Merge 1b485587e into 2517cb433 Pull #81 GitHub github pending completion   set done
1821069447 develop use native alphabet type in PaulAndMary example push Markus Frohme github pending completion   set done
1777283531 develop Bump xstream from 1.4.18 to 1.4.19 (#80) Bumps [xstream](https://github.com/x-stream/xstream) from 1.4.18 to 1.4.19. - [Release notes](https://github.com/x-stream/xstream/releases) - [Commits](https://github.com/x-stream/xstream/commits) ---... push GitHub github pending completion   set done
1777009840 develop adjust to changes in AutomataLib push Markus Frohme github pending completion   set done
1341804663 develop fix builds on JDK16/17 push Markus Frohme github pending completion   set done
1217117881 develop bump guava version to address CVE push Markus Frohme github pending completion   set done