LearnLib / automatalib / 21665074655

Builds Branch Commit Type Ran Committer Via Coverage
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
19995144613 develop simplify procedural implementations since the output semantics now better handle partial systems, get rid of explicit sink management push mtf90 github
92.83
19967145117 develop lassos: cleanup type information push mtf90 github
92.8
19940171930 mata Merge 1e03e47d3 into 13c4755b3 Pull #98 web-flow github
92.8
19864403395 develop Code for Mealy machines with local timers. (#96) * Added MMLT classes * Added basic tests for MMLTs; included sample MMLT model file. * Added serialization test for MMLTs. * Separated more files into API and implementation to enable use from L... push web-flow github
92.77
19853794526 develop-local-timer-mealy Merge cbacc09aa into f5349326b Pull #96 web-flow github
92.77