LearnLib / learnlib / 221

Builds Branch Commit Type Ran Committer Via Coverage
221 master [maven-release-plugin] prepare release learnlib-0.16.0 push mtf90 travis-ci pending completion   set done
220 release [maven-release-plugin] prepare for next development iteration push mtf90 travis-ci pending completion   set done
219 release [maven-release-plugin] prepare release learnlib-0.16.0 push mtf90 travis-ci pending completion   set done
218 release downgrade failsafe plugin apparently it causes problems on JDK11+ push mtf90 travis-ci pending completion   set done
217 develop downgrade failsafe plugin apparently it causes problems on JDK11+ api mtf90 travis-ci pending completion   set done
214 develop check canonicity in integration tests * make sure that automata are not only equivalent but also minimal * for the state local input ITs this requires an additional minimization step before computing the enabled symbols push mtf90 travis-ci pending completion   set done
213 develop Bugfix: Empty rows are not prime in NL*. Fixes Issue 70 (#71) Co-authored-by: Joshua Moerman <joshua@cs.rwth-aachen.de> push web-flow travis-ci pending completion   set done
212 bugfix-nlstar Bugfix: Empty rows are not prime in NL*. Fixes Issue 70 Pull #71 web-flow travis-ci pending completion   set done
211 develop small cleanup push mtf90 travis-ci pending completion   set done
210 develop cleanup parallel cache tests construct parallel oracles from cache oracles as one would in real scenarios push mtf90 travis-ci pending completion   set done
209 develop rework parallel oracles see comments in changelog push mtf90 travis-ci pending completion   set done
208 develop cleanup SUL wrappers for SymbolQueryOracles push mtf90 travis-ci pending completion   set done
206 develop cleanup PMD exclusions Use @SuppressWarnings annotations instead of properties file, which allows us to * skip hacky maven plugin workaround * more precisely limit the scope of the exclusion push mtf90 travis-ci pending completion   set done
205 develop bump dependency versions push mtf90 travis-ci pending completion   set done
203 master [maven-release-plugin] prepare release learnlib-0.15.0 push mtf90 travis-ci pending completion   set done