LearnLib / automatalib / 24129838356

Builds Branch Commit Type Ran Committer Via Coverage
24129838356 develop bump analysis plugins + corresponding cleanups push mtf90 github
92.97
22064887880 develop add supported formalisms to serializers' documentation push mtf90 github
92.94
21822444536 develop Add DOT parser for CFMPSs (#102) * initial work on CFMPS parser * some more work * add more tests and documentation * improve documentation push web-flow github
92.94
21821568820 cfmps-parser Merge 404be977f into 429f928ee Pull #102 web-flow github
92.94
21819280377 cfmps-parser Merge 92f4e0f6a into 429f928ee Pull #102 web-flow github
92.94
21665074655 develop bump m3c version push mtf90 github
92.88
21282361789 develop Clean up CF definitions (#101) * initial refactoring * some more cleanups * cleanups push web-flow github
92.9
21281365611 cf-assert-rework Merge e9327aa07 into bcaf38043 Pull #101 web-flow github
92.9
21281370896 cf-assert-rework Merge ed8fd0161 into bcaf38043 Pull #101 web-flow github
92.9
21281237210 develop bump logback version as suggested by dependabot on the LearnLib repo push mtf90 github
92.94
21247581665 develop NFAs: add Brzozowski's algorithm push mtf90 github
92.94
20242707685 develop Add conformance test generators based on k-way state/transition coverage (#99) * initial work on kWay tests * some more polishing added tests that still fail * add missing functionality + consolidations * finalizing things bugfixes, document... push web-flow github
92.93
20242050438 kway Merge 68218e55f into 4ed436ef7 Pull #99 web-flow github
92.93
20242010772 develop ci: replace deprecated macos image (#100) push web-flow github
92.83
20241368989 macos-intel Merge 6a70f0a88 into 3b61aeedb Pull #100 web-flow github
92.83