LearnLib / automatalib / 19995144613

Builds Branch Commit Type Ran Committer Via Coverage
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
16745684263 addlib-4.0 Merge 2b6161dc2 into 475037677 Pull #94 web-flow github
92.21
16696482329 develop try alternative path computation push mtf90 github
92.16
16652156184 addlib-4.0 Merge ffabcbeb6 into f518c761c Pull #94 web-flow github
92.16
16053467743 develop cleanups push mtf90 github
92.11