LearnLib / learnlib / 24312053666

Builds Branch Commit Type Ran Committer Via Coverage
24312053666 develop make most regular learners implement AccessSequenceTransformer push mtf90 github
95.13
24134909303 develop bump analysis plugins + corresponding cleanups push mtf90 github
95.07
22071837837 develop Llambda: implement the OTLearner interface push mtf90 github
95.07
21987934897 develop Add `Resumable` support for remaining Lambda learners (#159) * initial work on resumable TTTLambda * add test cases * do not store refernce to oracle in datastructures * warn on mismatching alphabets * add changelog push web-flow github
95.05
21986866513 lambda-resume Merge 869f122fe into 8bc278716 Pull #159 web-flow github
95.05
21281258482 develop Bump ch.qos.logback:logback-core from 1.5.19 to 1.5.25 (#158) Bumps [ch.qos.logback:logback-core](https://github.com/qos-ch/logback) from 1.5.19 to 1.5.25. - [Release notes](https://github.com/qos-ch/logback/releases) - [Commits](https://github.c... push web-flow github
95.05
21260090237 dependabot/maven/ch.qos.logback-logback-core-1.5.25 Bump ch.qos.logback:logback-core from 1.5.19 to 1.5.25 Bumps [ch.qos.logback:logback-core](https://github.com/qos-ch/logback) from 1.5.19 to 1.5.25. - [Release notes](https://github.com/qos-ch/logback/releases) - [Commits](https://github.com/qos-... Pull #158 web-flow github
95.05
20487913496 develop Sparse Learner (#152) * added sparse learner * fixed comment * adjustments for code style * extended contributor list * extended test cases * Revert "extended test cases" This reverts commit 32953b5fd. * clea... push web-flow github
95.05
20487429341 sparse Merge 738cb2734 into c01b89001 Pull #152 web-flow github
95.05
20312261241 develop parallelism: add tests for adaptive SULs push mtf90 github
94.96
20272600261 develop Add checks for stable hypothesis constructions (#157) * add initial test-infrastructure for detecting unstable hypothesis constructions * typo * fix TTT lambda * fix L* (MMLT) * account for AAAR behavior * further TTT lambda cleanups * simp... push web-flow github
94.93
20271846148 stable-hypotheses Merge f042d5d97 into 88d7cb1ba Pull #157 web-flow github
94.93
20244430024 develop Add equivalence oracles based on k-way state/transition coverage (#156) * initial work on kWayOracles * cleanups * adjust to AutomataLib + consolidations * adjust to upstream changes * reorder attributes * test the correct oracle * hide som... push web-flow github
94.93
20242753747 kway Merge 3b815a288 into f27846552 Pull #156 web-flow github
94.93
20200339813 sparse Merge b5e0f1eee into f27846552 Pull #152 web-flow github
95.0