LearnLib / learnlib / 114

Builds Branch Commit Type Ran Committer Via Coverage
114 develop AppVeyor: update config - try to fix directory switching when build AutomataLib - copy documentation from .travis.yml regarding custom AutomataLib builds push mtf90 travis-ci pending completion   set done
113 develop travis: drop OracleJDK builds - these are now covered by AppVeyor push mtf90 travis-ci pending completion   set done
112 develop fixing platform dependent issues - replace hardcoded \n by platform independent line separators push abainczyk travis-ci pending completion   set done
111 develop api: cleanup Slf4jDelegator impl push mtf90 travis-ci pending completion   set done
110 develop oracles: fixes and tests - fixed test for RandomWMethodOracle to actually test the RandomWMethodOracle - added test for RandomWpMethodOracle - added test for RandomWalkOracle - fixed RandomWMethod to use transitionCover and reformated JavaDoc push mtf90 travis-ci pending completion   set done
109 develop travis: fix installation of LTSmin push mtf90 travis-ci pending completion   set done
107 develop oracles: some cleanups + tests - the RandomWellMatchedWordsEQOracle now uses the alphabet passed in the #findCounterexample method to generate test words - DFA/Mealy variants of the CompleteExplorationEQOracle now directly inherit from/delega... push mtf90 travis-ci pending completion   set done
106 develop datastructure/ot: cleanup + tests - added default implementation for #cellContents - removed unused NoSuchRowException exception - cleaned up JavaDoc - added tests for OT writers push mtf90 travis-ci pending completion   set done
105 develop update code-analysis configurations - use new PMD categories - consolidate checkstyle and spotbugs exclusions push mtf90 travis-ci pending completion   set done
104 develop bump PMD plugin version for JDK10 compatibility push mtf90 travis-ci pending completion   set done
103 develop checkstyle: fix unused import push mtf90 travis-ci pending completion   set done
101 develop travis: add config for JDK 9 & 10 see travis-ci/travis-build#1347 push mtf90 travis-ci pending completion   set done
100 develop oracles: fix deprecated code usage push mtf90 travis-ci pending completion   set done
99 develop Merge branch 'release' into develop push mtf90 travis-ci pending completion   set done
98 master [maven-release-plugin] prepare release learnlib-0.13.1 push mtf90 travis-ci pending completion   set done