LearnLib / learnlib / 162

Builds Branch Commit Type Ran Committer Via Coverage
162 release switch to AutomataLib release 0.8.0 push mtf90 travis-ci pending completion   set done
161 develop switch to AutomataLib release 0.8.0 push mtf90 travis-ci pending completion   set done
160 develop small cleanup push mtf90 travis-ci pending completion   set done
159 develop add caches for systems with state-local inputs this also introduces "regular" Mealy caches with dynamic memory allocation (thus not requiring an initial alphabet) and updates to the SLI example (2) to reflect the usage of the new cache. push mtf90 travis-ci pending completion   set done
158 develop MealyCache: when resuming, construct new comparator with resumed alphabet push mtf90 travis-ci pending completion   set done
157 develop added support for resumable caches - this includes a refactoring of `ResumableLearner` to `Resumable` - the `SymbolQueryCache` now uses a `CompactMealy` internally instead of a `FastMealy` push mtf90 travis-ci pending completion   set done
156 develop refactor ObservationTable hierarchy No longer let the PartialObservationTable inherit from the GenericObservationTable, because the partial one is in fact NOT a generic one (thus previously breaking the Liskov substitution principle). Rather extr... push mtf90 travis-ci pending completion   set done
155 develop add SupportsGrowingAlphabet interface to SULCache push mtf90 travis-ci pending completion   set done
154 develop travis: switch to new xenial container push mtf90 travis-ci pending completion   set done
153 develop refactor SupportsGrowingAlphabet Use the AutomataLib version to reduce redundancy. push mtf90 travis-ci pending completion   set done
152 develop Localalphabet (#58) Reintegrates the (slightly revised) code of Maren Geske's master thesis on inferring partial mealy machines when state-local alphabets are available. Contains most of the core algorithm plus additional tests, examples and u... push mtf90 travis-ci pending completion   set done
151 localalphabet exclude PartialLStarMealyBuilder from jacoco coverage Pull #58 web-flow travis-ci pending completion   set done
149 develop appveyor: bump JDK10 to JDK11 push mtf90 travis-ci pending completion   set done
145 develop cleanup some equals/hashcode implementations using best practices from "Effective Java" push mtf90 travis-ci pending completion   set done
144 develop various cleanups and improvements * invoke Lists#sort directly * refactors methods, whose return value is ignored to void methods * remove unnecessary throws clauses * other small cleanups push mtf90 travis-ci pending completion   set done