LearnLib / learnlib
95%

DEFAULT BRANCH: develop
Repo Added
Files 594
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH develop
branch: develop
CHANGE BRANCH
x

coverage: 95.051%. Remained the same
Relevant lines Covered
15315 RELEVANT LINES 14557 COVERED LINES
1.74 HITS PER LINE
Source Files on develop

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
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
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
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
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
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
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
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
19131042649 develop vpa: widen required types of oracles push mtf90 github
94.29
See All Builds (314)