LearnLib / learnlib / 143

Builds Branch Commit Type Ran Committer Via Coverage
143 develop travis: cleanup and improve config Cleanup config and reconfigure one integration build to not use LTSmin, to make sure can build without it. push mtf90 travis-ci pending completion   set done
141 develop travis: update test configurations - Add Java 11 builds - Add osx and (deactivated) windows builds. The windows builds should work in theory, but are currently disabled because of the (known) issue that VMs hang if the repository uses secret env ... push mtf90 travis-ci pending completion   set done
140 develop Aggregate membership queries in DT-based learners Refactors several DT-based learning algorithms (KV, DT [+VPDA variant], TTT [+VPDA variant]) to collect and prepare as many queries as possible before posing them to a membership oracle. The goal ... push mtf90 travis-ci pending completion   set done
139 develop improvements/cleanups to parallel oracles - fixed a bug, where the cached DynamicParallelOracle would not spawn additional threads - changed default timeout of cached threads to 60 seconds (down from 100 seconds) - removed several "withDefault*" ... push mtf90 travis-ci pending completion   set done
138 develop examples: fix PMD violation push mtf90 travis-ci pending completion   set done
134 develop adjust to refactorings in AutomataLib push mtf90 travis-ci pending completion   set done
132 develop more precise SuppressWarnings declaration push mtf90 travis-ci pending completion   set done
131 develop cleanup DiscriminationTree iterators - hide several iterators behind a new DiscriminationTreeIterators factory - add DT tests/documentation push mtf90 travis-ci pending completion   set done
130 develop examples: add tests that run the examples push mtf90 travis-ci pending completion   set done
129 develop Adding documentation Emphasizing the fact that the abbreviation "PC" of the PC* caches actually stands for 'prefix-closedness' (and not for 'partially connectness', etc.). push mtf90 travis-ci pending completion   set done
127 develop fix some compiler warnings regarding generics push mtf90 travis-ci pending completion   set done
126 develop adjust to AutomataLib refactorings push mtf90 travis-ci pending completion   set done
125 develop Improvements to black-box checking. (#59) * Travis: use latest official LTSmin release. * Several improvements related to black-box checking. - Remove the concept of a black-box oracle, instead implement an equivalent as an Equivalence... push mtf90 travis-ci pending completion   set done
117 develop travis: fixing connection timeouts in builds It seems, by default, travis adds sonatype and apache snapshot repositories to the maven build process, which results in build failures due to connection timeouts. Since we don't rely on any artifacts... push mtf90 travis-ci pending completion   set done
116 develop bump javadoc plugin version - fixes error with fetching (not yet existing SNAPSHOT) AutomataLib javadoc links push mtf90 travis-ci pending completion   set done