LearnLib / learnlib / 20487913496

Builds Branch Commit Type Ran Committer Via Coverage
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
20199500552 sparse Merge b8d878417 into f27846552 Pull #152 web-flow github
95.0
20199022329 develop Implementation for learning MMLTs, new model for collecting statistics (#153) * Made RowImpl public to enable access in custom observation table implementations. * Made several methods of RowImpl public, to enable external access from observatio... push web-flow github
94.91
20198569605 local_timer_mealy Merge 6a71fc929 into 879958926 Pull #153 web-flow github
94.91
19995166277 develop adjust to AutomataLib refactorings push mtf90 github
94.47
19568292192 develop Bump ch.qos.logback:logback-core from 1.5.15 to 1.5.19 (#154) Bumps [ch.qos.logback:logback-core](https://github.com/qos-ch/logback) from 1.5.15 to 1.5.19. - [Release notes](https://github.com/qos-ch/logback/releases) - [Commits](https://github.c... push web-flow github
94.47
19567629790 dependabot/maven/ch.qos.logback-logback-core-1.5.19 Bump ch.qos.logback:logback-core from 1.5.15 to 1.5.19 Bumps [ch.qos.logback:logback-core](https://github.com/qos-ch/logback) from 1.5.15 to 1.5.19. - [Release notes](https://github.com/qos-ch/logback/releases) - [Commits](https://github.com/qos-... Pull #154 web-flow github
94.47
19567340642 develop Bump Java Version to 17/25 (#155) * initial refactorings for Java 25 compatibility spotbugs + pmd-plugin still need new releases that work on Java 25 * update CI config * JDK builds pass updates to the analysis plugins required some adjustmen... push web-flow github
94.47