LearnLib / automatalib / 189

Builds Branch Commit Type Ran Committer Via Coverage
189 release migrate goals of reports plugin version 3.0.0 has introduced some incompatible renames push mtf90 travis-ci pending completion   set done
186 develop migrate goals of reports plugin version 3.0.0 has introduced some incompatible renames push mtf90 travis-ci pending completion   set done
182 release add tests for serializing automata and alphabets Check that our automata and alphabet implementations are properly serializable. This is mainly a test-case for LearnLibs "resumable" feature, so that users don't run into suprises when using our st... push mtf90 travis-ci pending completion   set done
181 develop add tests for serializing automata and alphabets Check that our automata and alphabet implementations are properly serializable. This is mainly a test-case for LearnLibs "resumable" feature, so that users don't run into suprises when using our st... push mtf90 travis-ci pending completion   set done
180 develop update archetypes - remove license header from generated pom.xml because the generated project is not part of AutomataLib - do not generate an empty src/main/test folder - add a small Example.java and logback.xml config to generated projects - re... push mtf90 travis-ci pending completion   set done
179 develop add a specific incremental OutputAndLocalInputs implementation Add an incremental version specificly for systems with observable inputs symbols. This furthermore adds a "DynamicIncrementalTreeBuilder" since the concept of "dynamic" alphabets may ... push mtf90 travis-ci pending completion   set done
178 develop added some Serializable interfaces required for resumable caches push mtf90 travis-ci pending completion   set done
177 develop small cleanups - remove unnecessary copying - remove unnecessary generics - initialilze Sets/Maps with proper size push mtf90 travis-ci pending completion   set done
176 develop travis: switch to new xenial container push mtf90 travis-ci pending completion   set done
175 develop refactor GrowableAlphabetAutomaton to SupportsGrowingAlphabet This more general interface is also used by the incremental constructions as well as classes in LearnLib. push mtf90 travis-ci pending completion   set done
174 develop update tests to check for BricsDFA determinization Manually construct RegExp automaton to force a non-deterministic representation. This allows us to properly test the determinization in our DFA wrapper. push mtf90 travis-ci pending completion   set done
172 develop Fixed inverted determinization logic for BricsDFA construction Pull #31 web-flow travis-ci pending completion   set done
171 develop add utility classes needed for inferring partial automata push mtf90 travis-ci pending completion   set done
170 develop appveyor: bump JDK10 to JDK11 push mtf90 travis-ci pending completion   set done
168 develop drop lombok dependency replace @EqualsAndHashCode with self-supplied "equals" and "hashcode" implementations according to "Effective Java" best practices. Speeds up the build process and reduces the dependencies on other projects. push mtf90 travis-ci pending completion   set done