LearnLib / automatalib / 167

Builds Branch Commit Type Ran Committer Via Coverage
167 develop various fixes and improvements * cleaned up AbstractPrintable * use pre-sized WordBuilder when a Word is passed in *OutputAtomata * fix bug in copy-constructors of Word (+ adjusted testcase) * remove (unused) ExtensionWord class * other small imp... push mtf90 travis-ci pending completion   set done
166 develop cleanup automaton builders * remove varargs variant of "withInitial" for deterministic automata * only allow a single "withInitial" statement for MooreBuilder * only ignore the generated builders during test-coverage but check our impls * added t... push mtf90 travis-ci pending completion   set done
165 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
164 develop move code-analysis configuration to pluginManagement This allows to invoke each of the code-analysis plugins independently without having to execute the whole stack. push mtf90 travis-ci pending completion   set done
163 develop travis: update config - cleanup default jobs - add a target-level=11 job - fix JDK versions on MacOS VMs - disable windows builds for now, as they seem to break if the repo has secrets env variables push mtf90 travis-ci pending completion   set done
161 develop fix bug in UnorderedCollection The addAll(Collection c) method did not correctly insert all elements. Also cleaned up the remove(Object o) method and added a few tests for basic manipulations. push mtf90 travis-ci pending completion   set done
160 develop small cleanup push mtf90 travis-ci pending completion   set done
159 develop add convenience constructor to ArrayStorage push mtf90 travis-ci pending completion   set done
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