LearnLib / learnlib / 29596832013

Builds Branch Commit Type Ran Committer Via Coverage
29596832013 develop experiment: only require collection of inputs push mtf90 github
97.45
29577503301 develop aaar: make learner wrapper publicly available push mtf90 github
95.34
29356092790 develop update javadoc config do not autoDetect links push mtf90 github
95.34
29342576138 reactive Merge 5930dc17a into e7aa897db Pull #165 web-flow github
95.32
29331912340 develop Bump ch.qos.logback:logback-core from 1.5.33 to 1.5.35 (#164) Bumps [ch.qos.logback:logback-core](https://github.com/qos-ch/logback) from 1.5.33 to 1.5.35. - [Release notes](https://github.com/qos-ch/logback/releases) - [Commits](https://github.c... push web-flow github
95.27
29163491345 dependabot/maven/ch.qos.logback-logback-core-1.5.35 Bump ch.qos.logback:logback-core from 1.5.33 to 1.5.35 Bumps [ch.qos.logback:logback-core](https://github.com/qos-ch/logback) from 1.5.33 to 1.5.35. - [Release notes](https://github.com/qos-ch/logback/releases) - [Commits](https://github.com/qos-... Pull #164 web-flow github
95.27
29163492763 dependabot/maven/ch.qos.logback-logback-core-1.5.35 Merge 6f1ebbd70 into 1cc3cbb8e Pull #164 web-flow github
95.27
29163433967 develop add support + examples of context-free BBC includes cleanups for property oracles as well push mtf90 github
95.27
29126998725 dependabot/maven/ch.qos.logback-logback-core-1.5.35 Bump ch.qos.logback:logback-core from 1.5.33 to 1.5.35 Bumps [ch.qos.logback:logback-core](https://github.com/qos-ch/logback) from 1.5.33 to 1.5.35. - [Release notes](https://github.com/qos-ch/logback/releases) - [Commits](https://github.com/qos-... Pull #164 web-flow github
95.18
28967372161 develop Enforce `LearningAlgorithm` contracts more rigorously (#163) * first chunk of regular learners * add non-regular learners * share common functionality in utility interface * formatting * add changelog push web-flow github
95.18
28964883329 learning-algorithm-contracts Merge 861a570dc into 525b3afa5 Pull #163 web-flow github
95.18
28964873450 learning-algorithm-contracts Merge 98bdbddc6 into 525b3afa5 Pull #163 web-flow github
95.18
28877115845 develop Bump ch.qos.logback:logback-core from 1.5.25 to 1.5.33 (#162) Bumps [ch.qos.logback:logback-core](https://github.com/qos-ch/logback) from 1.5.25 to 1.5.33. - [Release notes](https://github.com/qos-ch/logback/releases) - [Commits](https://github.c... push web-flow github
95.13
28875269687 dependabot/maven/ch.qos.logback-logback-core-1.5.33 Bump ch.qos.logback:logback-core from 1.5.25 to 1.5.33 Bumps [ch.qos.logback:logback-core](https://github.com/qos-ch/logback) from 1.5.25 to 1.5.33. - [Release notes](https://github.com/qos-ch/logback/releases) - [Commits](https://github.com/qos-... Pull #162 web-flow github
95.13
28875275814 dependabot/maven/ch.qos.logback-logback-core-1.5.33 Merge 1ff810bf7 into 44070fc7c Pull #162 web-flow github
95.13