LearnLib / learnlib / 16696694729

Builds Branch Commit Type Ran Committer Via Coverage
16696694729 develop add CLI membership oracles closes #149 push mtf90 github
94.29
16655640779 develop equivalence-oracles: add EarlyExitEQOracle push mtf90 github
94.38
15560723653 develop migrate to Sonatype Central Portal push mtf90 github
94.37
15186410912 develop Bump minimal Java version to 11 (#150) * initial refactoring * more aggressive cleanups at the cost of checkerframework failing * typo push web-flow github
94.37
15185035753 java11 Merge f3e28d44a into 43611f57c Pull #150 web-flow github
94.37
15185034108 java11 Merge dbb28b66d into 43611f57c Pull #150 web-flow github
94.37
15115239249 develop learner-it-support: improve nullability declarations push mtf90 github
94.37
13181815301 develop [maven-release-plugin] prepare for next development iteration push mtf90 github
94.37
13181809899 master [maven-release-plugin] prepare release learnlib-0.18.0 push mtf90 github
94.37
13181614566 release [maven-release-plugin] prepare for next development iteration push mtf90 github
94.37
13181612417 release [maven-release-plugin] prepare release learnlib-0.18.0 push mtf90 github
94.37
13181612857 refs/tags/learnlib-0.18.0 [maven-release-plugin] prepare release learnlib-0.18.0 push mtf90 github
94.37
13181494684 release partially revert e368a91 TTTLmabda does not seem to require exhaustive analysis for consistency reasons push mtf90 github
94.37
13181071769 develop partially revert e368a91 TTTLmabda does not seem to require exhaustive analysis for consistency reasons push mtf90 github
94.37
13166566074 develop test api conformance when provided with a non-counterexample, refineHypothesis should return false and not throw an exception. push mtf90 github
94.37