LearnLib / automatalib / 158

Builds Branch Commit Type Ran Committer Via Coverage
158 develop Fix/Cleanup example tests - fix compilation error introduced by PR merge - split up LTSmin and LTSminMonitor example push mtf90 travis-ci pending completion   set done
154 develop Remove RichArray and ArrayIterator Most of the offered functionality was unused and effectively dead code waiting to become a maintenance burden. Note: the common utility classes are mainly aimed at helping internal development (AutomataLib/Lear... push mtf90 travis-ci pending completion   set done
151 develop fix PMD check push mtf90 travis-ci pending completion   set done
148 develop scope javax.annotation dependency to 'provided' makes our dependency analyzer happy push mtf90 travis-ci pending completion   set done
145 develop jacoco: do not ignore examples push mtf90 travis-ci pending completion   set done
144 develop wording push mtf90 travis-ci pending completion   set done
143 develop run examples as part of integration tests push mtf90 travis-ci pending completion   set done
142 develop Adding documentation Emphasizing the fact that the abbreviation "PC" of the incremental PC* builder actually stands for 'prefix-closedness' (and not for 'partially connectness', etc.). push mtf90 travis-ci pending completion   set done
139 develop commons: fix codestyle push mtf90 travis-ci pending completion   set done
137 develop Compact overhaul (#29) * initial draft for encapsulating shared functionality * intermediate commit * some cleanup and test conformance * Finalizing changes - Removed AbstractCompactGenericDeterministic - Implement update operations ... push web-flow travis-ci pending completion   set done
136 compactOverhaul core: adjust for model-checking refactorings Pull #29 web-flow travis-ci pending completion   set done
135 develop Improvements to model checking. (#28) * Travis: use latest official LTSmin release. * Improve the API related to modelchecking. - Remove two parameters from interface Lasso. - Remove the return type parameter from the ModelChecker interf... push mtf90 travis-ci pending completion   set done
134 develop small cleanup/fix for MapMapping related code push mtf90 travis-ci pending completion   set done
133 develop use more idiomatic alphabet constructions - also adds coverage to CharStringRange push mtf90 travis-ci pending completion   set done
132 master use consistent terminology in javadoc Pull #28 web-flow travis-ci pending completion   set done