LearnLib / automatalib / 20242707685

Builds Branch Commit Type Ran Committer Via Coverage
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
19566384231 develop Bump Java Version to 17/25 (#97) * initial refactorings for Java 25 compatibility spotbugs + pmd-plugin still need new releases that work on Java 25 * update CI config * JDK builds pass updates to the analysis plugins required some adjustment... push web-flow github
92.56
19556867645 java25 Merge d6a8da3c7 into 02482994f Pull #97 web-flow github
92.56
19554554901 java25 Merge 6a6645488 into 02482994f Pull #97 web-flow github
90.11
17579005088 develop incremental: improve error messages push mtf90 github
92.21
16814966032 develop Bump ADD-Lib to version 4.0 (#94) * bump add-lib version * disable addlib documentation for now * switch to stable release push web-flow github
92.21
16807753623 addlib-4.0 Merge f58e1efaf into 475037677 Pull #94 web-flow github
92.21