LearnLib / automatalib / 285

Builds Branch Commit Type Ran Committer Via Coverage
285 develop remove unused SuffixTries push mtf90 travis-ci pending completion   set done
284 develop make some SPA utility methods public push mtf90 travis-ci pending completion   set done
283 develop move Graph implementation of AbstractOneSEVPA to GraphViewable interface push mtf90 travis-ci pending completion   set done
282 develop simplify Minimizer do not enforce ThreadLocal synchronization but allow for regular instantiation. push mtf90 travis-ci pending completion   set done
281 develop do not open output stream unless necessary push mtf90 travis-ci pending completion   set done
280 develop initial integration of SPAs push mtf90 travis-ci pending completion   set done
278 develop Refactorings * Make FiniteKTS actually extend TransitionSystems * Rename labeled graphs * Remove IndefiniteLTS * Simplify some of the MTS code push mtf90 travis-ci pending completion   set done
277 develop reduce memory footprint of CompactNFA by switching from Set of Integers to BitSets and introducing an IntSet wrapper for compatibility with the Java Collection Framework. push mtf90 travis-ci pending completion   set done
276 develop activate some more PMD checks + fixes push mtf90 travis-ci pending completion   set done
275 develop Cleanup serialization markup AutomataLib does not (want to) properly support serialization across different class versions. Therefore use the automated serial IDs to fail-fast on any unintended usage of this feature. push mtf90 travis-ci pending completion   set done
274 develop Reintegrate MTS Branch (#43) * initial MTS code import This is still missing some functionality. * refactorings and updates - move 'PartialOrder' code to 'MTSUtil' - remove constraint of rooted MTSs in 'ModalConjuction' and 'ModalParall... push web-flow travis-ci pending completion   set done
271 develop bump license header push mtf90 travis-ci pending completion   set done
270 develop add support for subsequential transducers push mtf90 travis-ci pending completion   set done
269 mts Merge 5be9635ef into 326372f0a Pull #43 web-flow travis-ci pending completion   set done
268 develop remove usage of parallel code to cater to more environments (e.g. application servers with external process management), AutomataLib follows a single-threaded code style push mtf90 travis-ci pending completion   set done