LearnLib / automatalib / 1821090531

Builds Branch Commit Type Ran Committer Via Coverage
1821090531 develop cleanup Symbol implementation push Markus Frohme github pending completion   set done
1795287531 develop cleanup nullability annotations push Markus Frohme github pending completion   set done
1777008956 develop add generic interface for k-SEVPAs push Markus Frohme github pending completion   set done
1748286697 develop cleanups push Markus Frohme github pending completion   set done
1745544342 develop cleanup visibility of fields push Markus Frohme github pending completion   set done
1683815627 develop clarify IntSet constraints push Markus Frohme github pending completion   set done
1650405677 develop fix bug in CharacterizingSets push Markus Frohme github pending completion   set done
1558758185 develop m3c: fix error message push Markus Frohme github pending completion   set done
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