LearnLib / automatalib / 1192051787

Builds Branch Commit Type Ran Committer Via Coverage
1192051787 m3c Merge 20303da13 into ea3936b4b Pull #47 GitHub github pending completion   set done
1153619982 develop cleanups push Markus Frohme github pending completion   set done
1087761716 develop cleanups * remove dead code * refactor some class visibilities * add tests push Markus Frohme github pending completion   set done
987323472 develop ci: make secrets available as environment variables push Markus Frohme github pending completion   set done
987223861 develop Switch CI to GitHub Actions (#45) * initial try at github actions * use correct ltsmin repo * fix dependencies * update README * update stage names * updates and cleanups * test different coveralls build number * only deploy ... push GitHub github pending completion   set done
288 develop cleanup code comments formatting and copying IncrementalMealyDAGBuilder to IncrementalDFADAGBuilder as they are helpful there, too. push mtf90 travis-ci pending completion   set done
287 develop bump cacio version ... which adds support for headless GUI testing on JDK11 push mtf90 travis-ci pending completion   set done
286 develop simplify private constructors Throwing any kind of error is unreachable and unnecessary code. Private constructors are a guidance for library users and not a security relevant concept (where we should prevent reflective instantiation of classes). push mtf90 travis-ci pending completion   set done
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