LearnLib / learnlib / 6673521261

Builds Branch Commit Type Ran Committer Via Coverage
6673521261 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
93.33
6673301747 develop merge the release and sign-artifacts profiles push mtf90 github
91.99
6668774295 develop use explicit groupIds push mtf90 github
93.33
6660471831 develop cleanup statistics filters push mtf90 github
93.33
6618826432 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. push mtf90 github
93.33
6611855081 develop partially revert f4f47b4 Make the (Base)PTA Integer-based again and instead use explicit wrapper classes to interpret it as a DFA/MealyMachine/etc.. This simplifies the internals of the (Base)PTA class and allows for more flexible usage (e.g., us... push mtf90 github
93.27
6606273736 develop s/fromCharSequence/fromString/g push mtf90 github
93.28
6605620268 develop cleanup passive integration tests push mtf90 github
93.22
6566475675 develop fix GUI tests on (headless) JDK21 builds push mtf90 github
92.3
6488150242 develop bump logger versions * bump slf4j to 2.0.9 * bump logback-classic to 1.3.11 because the old version does target slf4j 2.x and 1.4.x requires Java 11 at runtime push mtf90 github
92.3
6474373546 develop adjust to AutomataLib refactorings push mtf90 github
92.3
6461418483 develop apply ObservationPack refactoring to jacoco exclusions push mtf90 github
92.3
6433387082 develop update Falk's developer id push mtf90 github
92.3
6412105047 develop refactor groupId of build-tools to emphasize the fact that these modules are not client-facing but rather for internal use push mtf90 github
92.3
6412002873 develop further tweak versions * downgrade maven-javadoc-plugin version because it (for whatever reason) doesn't work on Java 11+ * update previously missed doc skin version push mtf90 github
92.3