LearnLib / automatalib / 6685668398

Builds Branch Commit Type Ran Committer Via Coverage
6685668398 develop add some more package documentation push mtf90 github
89.86
6685076669 develop align core packages with api packages push mtf90 github
89.86
6673475267 develop use property-based profile activation the <activeByDefault> activation gets disabled as soon as any other profile is selected. Therefore, use the previous property-based activation as we only need the profile encapsulation to disable it during re... push mtf90 github
89.8
6673214172 develop cleanup release configuration push mtf90 github
89.17
6672550055 develop bump ADDLib version push mtf90 github
89.8
6668764019 develop cleanup (Idefinite)Graph interfaces push mtf90 github
89.69
6654683895 develop util: handle some more corner-cases in equivalence checks push mtf90 github
89.68
6618813592 develop cleanup VisualizationHelpers * do not make the decision whether to render a node/edge depend on the parent (in most cases DefaultVisualizationHelper) because the helpers themselves make this decision. * remove unused NodeAttrs.ACCEPTING push mtf90 github
89.4
6606273079 develop s/fromCharSequence/fromString/g push mtf90 github
89.28
6603915640 develop fix bugs/API inconsistencies in Ranges * includes tests as well push mtf90 github
89.26
6587553989 develop fix renamed dependency push mtf90 github
89.02
6566010328 develop fix GUI tests on (headless) JDK21 builds push mtf90 github
89.02
6563695942 develop cleanups * remove dead code * fix bugs * add test-cases * add documentation push mtf90 github
88.98
6499156355 develop simplify SBA-to-CFMPS conversion push mtf90 github
88.16
6487929592 develop refactor missed package of 'core' tests push mtf90 github
88.19