LearnLib / automatalib / 1531263711

Builds Branch Commit Type Ran Committer Via Coverage
1531263711 develop bump assertJ version The library has moved their homepage and the old version made problems when generating JavaDoc (as the old domain is no longer available) push Markus Frohme github pending completion   set done
1521810161 develop fix typo DefaultMCFPS -> DefaultCFMPS push Markus Frohme github pending completion   set done
1413220509 develop examples: rewrite SPA formulae in CTL push Markus Frohme github pending completion   set done
1341698598 develop provide default argLine fixes builds on JDK16/17 when not running the code-coverage profile push Markus Frohme github pending completion   set done
1341403299 develop fix builds on JDK16/17 push Markus Frohme github pending completion   set done
1192189213 develop update LTSmin project description push Markus Frohme github pending completion   set done
1192133295 develop Integrate M3C, a model checker for context-free modal process systems (#47) * initial m3c configuration * fix typo * add further exclusions for generated classes * M3C with JavaCC grammars * initial draft of MCFPS interfaces * Adap... push GitHub github pending completion   set done
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