LearnLib / learnlib / 97

Builds Branch Commit Type Ran Committer Via Coverage
97 release [maven-release-plugin] prepare for next development iteration push mtf90 travis-ci pending completion   set done
96 release [maven-release-plugin] prepare release learnlib-0.13.1 push mtf90 travis-ci pending completion   set done
95 release set AutomataLib version to 0.7.1 push mtf90 travis-ci pending completion   set done
94 develop widen types of input parameters for specific {BBC,}Experiments rather than requiring the specific DFA/Mealy specializations of LearningAlgorithms and EquivalenceOracles, use the more general super interfaces. push mtf90 travis-ci pending completion   set done
93 release <a href="https://github.com/LearnLib/learnlib/commit/95ef80a38">&lt;a href=&quot;https://github.com/LearnLib/learnlib/commit/</a><a class="double-link" href="https://github.com/LearnLib/learnlib/commit/&lt;a class=&q... push mtf90 travis-ci pending completion   set done
92 develop travis: also build release branch Also setup travis to clone the corresponding branch of AutomataLib, so that e.g. building the release branch also uses the release branch of AutomataLib. push mtf90 travis-ci pending completion   set done
91 develop algorithms: make all learner state classes public Constructors and getters should be package private so that the suspend/resume logic cannot be interferred with. push abainczyk travis-ci pending completion   set done
90 develop algorithms: correctly handle GrowingAlphabets Fix the behaviour of the `addAlphabetSymbol` method if the learners were initiliazed with a GrowingAlphabet already. Previously, due to sharing the alphabet instance with the hypothesis automaton, ca... push mtf90 travis-ci pending completion   set done
89 develop bump failsafe plugin to version 2.21.0 Java 9 compatibility push mtf90 travis-ci pending completion   set done
87 develop util: Cleanup Experiments - Make profile keys public to prevent typos in the future - Added state checks to prevent duplicate execution - Added Test-Case push mtf90 travis-ci pending completion   set done
86 develop Rework settings implementation - Aggregate currently used system properties in an enum, which allows to have a central place for managing supported properties (also as a reference for end-users) and to prevent typos in future code. The getPro... push mtf90 travis-ci pending completion   set done
85 develop fix some code smells push mtf90 travis-ci pending completion   set done
84 develop post-PR-merge cleanup - update developer/contributor information - drop jUnit dependency - merge blackbox-, emptiness- and inclusion oracles to bbc-oracles artifact - as a result, drop learnlib-oracles-support module push mtf90 travis-ci pending completion   set done
83 develop Add Black-Box Checking. (#53) * Add black-box checking to the LearnLib. * Fix copyright date. * Add option to mvn command so that all errors are collected. * Fix default versions of dependencies. * Add several more modules to the dist... push mtf90 travis-ci pending completion   set done
77 develop cache: add various unit tests for caches push mtf90 travis-ci pending completion   set done