4.0.0 de.learnlib learnlib-parent 0.18.0 pom LearnLib A framework for active automata learning and experimentation https://learnlib.github.io/learnlib/maven-site/${project.version} Apache License, Version 2.0 https://www.apache.org/licenses/LICENSE-2.0.txt mtf90 Markus Frohme markus.frohme@udo.edu TU Dortmund University, Chair of Programming Systems http://ls5-www.cs.tu-dortmund.de/ Developer Maintainer fhowar Falk Howar falk.howar@gmail.com TU Dortmund University, Chair of Software Engineering http://ls14-www.cs.tu-dortmund.de/ Developer Oliver Bauer oliver.bauer@tu-dortmund.de TU Dortmund University, Chair of Programming Systems http://ls5-www.cs.tu-dortmund.de/ Developer Mohamad Bayram TU Dortmund University, Chair of Programming Systems http://ls5-www.cs.tu-dortmund.de/ Developer (Graduate) Tiago Ferreira University College London, Programming Principles, Logic and Verification Group http://pplv.cs.ucl.ac.uk/ Developer Maren Geske TU Dortmund University, Chair of Programming Systems http://ls5-www.cs.tu-dortmund.de/ Developer Malte Isberner malte.isberner@gmail.com TU Dortmund University, Chair of Programming Systems http://ls5-www.cs.tu-dortmund.de/ Developer Jeroen Meijer j.j.g.meijer@utwente.nl University of Twente, Formal Methods and Tools http://fmt.cs.utwente.nl/ Developer Aleksander Mendoza-Drosik aleksander.mendoza.drosik@gmail.com Developer Maik Merten maikmerten@googlemail.com TU Dortmund University, Chair of Programming Systems http://ls5-www.cs.tu-dortmund.de/ Developer Joshua Moerman Radboud University, Institute for Computing and Information Sciences https://www.ru.nl/icis/ Developer Leon Vitorovic TU Dortmund University, Chair of Programming Systems leon.vitorovic@tu-dortmund.de Developer (Graduate) Stephan Windmüller stephan.windmueller@tu-dortmund.de TU Dortmund University, Chair of Programming Systems http://ls5-www.cs.tu-dortmund.de/ Developer algorithms api archetypes build-config build-parent commons distribution drivers filters oracles test-support scm:git:https://github.com/LearnLib/learnlib.git scm:git:git@github.com:LearnLib/learnlib.git https://github.com/LearnLib/learnlib/tree/develop learnlib-0.18.0 GitHub Issues https://github.com/LearnLib/learnlib/issues GitHub Actions https://github.com/LearnLib/learnlib/actions ossrh https://oss.sonatype.org/service/local/staging/deploy/maven2/ ossrh https://oss.sonatype.org/content/repositories/snapshots local file://${user.home}/learnlib-site UTF-8 UTF-8 1.8 1.8 8 11 11 11 3.1.0 3.3.1 3.7.1 3.6.0 3.4.0 3.11.0 4.3.0 3.8.1 3.1.3 3.5.0 ${surefire-plugin.version} 3.2.7 3.8.0 3.1.3 3.9.0 0.8.12 3.4.2 3.11.2 1.0.0 3.26.0 3.1.0 3.3.1 3.3.0 3.21.0 3.3.1 4.8.6.6 3.5.2 1.3.0 0.12.0 0.1.1 1.11.1 3.48.3 10.21.1 1.7.0 0.9.0 2.3.1 1.5.15 1.11 5.14.2 2.0.16 7.10.2 https://learnlib.github.io/automatalib/maven-site/${automatalib.version}/apidocs/ https://checkerframework.org/releases/${checkerframework.version}/api/ de.learnlib learnlib-algorithms-parent ${project.version} pom de.learnlib learnlib-algorithms-active-parent ${project.version} pom de.learnlib learnlib-aaar ${project.version} de.learnlib learnlib-adt ${project.version} de.learnlib learnlib-dhc ${project.version} de.learnlib learnlib-kearns-vazirani ${project.version} de.learnlib learnlib-lambda ${project.version} de.learnlib learnlib-lsharp ${project.version} de.learnlib learnlib-lstar ${project.version} de.learnlib learnlib-nlstar ${project.version} de.learnlib learnlib-observation-pack ${project.version} de.learnlib learnlib-observation-pack-vpa ${project.version} de.learnlib learnlib-procedural ${project.version} de.learnlib learnlib-ttt ${project.version} de.learnlib learnlib-ttt-vpa ${project.version} de.learnlib learnlib-algorithms-passive-parent ${project.version} pom de.learnlib learnlib-ostia ${project.version} de.learnlib learnlib-rpni ${project.version} de.learnlib learnlib-api ${project.version} de.learnlib.archetypes learnlib-archetypes-parent ${project.version} pom de.learnlib.archetypes basic ${project.version} de.learnlib.archetypes complete ${project.version} de.learnlib learnlib-build-config ${project.version} de.learnlib learnlib-build-parent ${project.version} pom de.learnlib learnlib-commons-parent ${project.version} pom de.learnlib learnlib-counterexamples ${project.version} de.learnlib learnlib-datastructures ${project.version} de.learnlib learnlib-settings ${project.version} de.learnlib learnlib-util ${project.version} de.learnlib.distribution learnlib-distribution ${project.version} pom de.learnlib learnlib-drivers-parent ${project.version} pom de.learnlib learnlib-drivers-basic ${project.version} de.learnlib learnlib-mapper ${project.version} de.learnlib learnlib-drivers-simulator ${project.version} de.learnlib learnlib-filters-parent ${project.version} de.learnlib learnlib-cache ${project.version} de.learnlib learnlib-reuse ${project.version} de.learnlib learnlib-statistics ${project.version} de.learnlib learnlib-oracles-parent ${project.version} pom de.learnlib learnlib-emptiness-oracles ${project.version} de.learnlib learnlib-equivalence-oracles ${project.version} de.learnlib learnlib-membership-oracles ${project.version} de.learnlib learnlib-parallelism ${project.version} de.learnlib learnlib-property-oracles ${project.version} de.learnlib.testsupport learnlib-test-support-parent ${project.version} pom de.learnlib.testsupport learnlib-learning-examples ${project.version} test de.learnlib.testsupport learnlib-learner-it-support ${project.version} test de.learnlib.testsupport learnlib-test-support ${project.version} test net.automatalib automata-parent ${automatalib.version} pom import org.testng testng ${testng.version} test org.mockito mockito-core ${mockito.version} test com.github.caciocavallosilano cacio-tta ${cacio.version} test org.checkerframework checker-qual ${checkerframework.version} provided de.learnlib.tooling annotations ${build-tools.version} provided org.apache.fury fury-core ${fury.version} org.kohsuke.metainf-services metainf-services ${metainf-services.version} provided org.slf4j slf4j-api ${slf4j.version} ch.qos.logback logback-core ${logback.version} ch.qos.logback logback-classic ${logback.version} org.apache.maven.plugins maven-dependency-plugin ${dependency-plugin.version} true org.apache.maven.plugins maven-deploy-plugin ${deploy-plugin.version} org.apache.maven.plugins maven-checkstyle-plugin ${checkstyle-plugin.version} org.apache.maven.plugins maven-pmd-plugin ${pmd-plugin.version} true true false target/generated-sources com.github.spotbugs spotbugs-maven-plugin ${spotbugs-plugin.version} org.apache.maven.plugins maven-clean-plugin ${clean-plugin.version} org.apache.maven.plugins maven-site-plugin ${site-plugin.version} true org.apache.maven.plugins maven-surefire-plugin ${surefire-plugin.version} true org.apache.maven.plugins maven-failsafe-plugin ${failsafe-plugin.version} true integration-test verify org.jacoco jacoco-maven-plugin ${jacoco-plugin.version} prepare-report prepare-agent report test report report-integration integration-test report org.apache.maven.plugins maven-assembly-plugin ${assembly-plugin.version} org.apache.maven.plugins maven-release-plugin ${release-plugin.version} true learnlib-@{version} clean install site integration-tests,code-analysis deploy site site:stage scm-publish:publish-scm release,bundles,!examples,!integration-tests,!code-analysis org.apache.maven.plugins maven-source-plugin ${source-plugin.version} org.apache.maven.plugins maven-javadoc-plugin ${javadoc-plugin.version} true true false org.apache.maven.plugins maven-project-info-reports-plugin ${info-reports-plugin.version} org.eluder.coveralls coveralls-maven-plugin ${coveralls-plugin.version} ${basedir}/distribution/target/site/jacoco-aggregate/jacoco.xml javax.xml.bind jaxb-api ${jaxb-api.version} org.apache.maven.plugins maven-antrun-plugin ${antrun-plugin.version} org.eclipse.m2e lifecycle-mapping ${lifecycle-mapping.version} org.apache.maven.plugins maven-gpg-plugin ${gpg-plugin.version} org.apache.maven.plugins maven-enforcer-plugin ${enforcer-plugin.version} org.apache.maven.plugins maven-scm-publish-plugin ${scm-publish-plugin.version} org.apache.maven.plugins maven-resources-plugin ${resources-plugin.version} org.apache.maven.plugins maven-compiler-plugin ${compiler-plugin.version} de.learnlib.tooling processors ${build-tools.version} org.kohsuke.metainf-services metainf-services ${metainf-services.version} default-compile compile 9 false java-8-compile compile ${project.build.sourceDirectory} ${project.build.directory}/generated-sources none module-info.java org.apache.maven.plugins maven-jar-plugin ${jar-plugin.version} org.apache.maven.plugins maven-install-plugin ${install-plugin.version} org.apache.maven.plugins maven-invoker-plugin ${invoker-plugin.version} org.codehaus.mojo tidy-maven-plugin ${tidy-pom.version} org.apache.maven.plugins maven-site-plugin attach-descriptor false attach-descriptor org.apache.maven.plugins maven-project-info-reports-plugin index licenses team scm issue-management ci-management dependencies dependency-info modules org.apache.maven.plugins maven-javadoc-plugin 11 non-aggregate aggregate false aggregate integration-tests org.apache.maven.plugins maven-failsafe-plugin code-analysis org.codehaus.mojo tidy-maven-plugin validate verify check org.apache.maven.plugins maven-enforcer-plugin enforce-bytecode-version verify enforce ${maven.compiler.target} test,runtime true org.codehaus.mojo extra-enforcer-rules ${extra-enforcer-rules.version} org.apache.maven.plugins maven-dependency-plugin analyze analyze-only true true code-coverage org.apache.maven.plugins maven-antrun-plugin touch-jacoco generate-test-resources run org.jacoco jacoco-maven-plugin netbeans-private-testng netbeans.testng.action org.apache.maven.plugins maven-surefire-plugin target/nb-private/testng-suite.xml eclipse-m2e-configs m2e.version org.eclipse.m2e lifecycle-mapping org.apache.maven.plugins maven-enforcer-plugin [1.0.0,) enforce bundles org.apache.maven.plugins maven-source-plugin attach-sources jar-no-fork org.apache.maven.plugins maven-javadoc-plugin attach-javadocs jar release org.apache.maven.plugins maven-gpg-plugin sign-artifacts verify sign org.apache.maven.plugins maven-site-plugin ${session.executionRootDirectory}/target/staging/maven-site/${project.version} org.apache.maven.plugins maven-scm-publish-plugin ${project.scm.developerConnection} gh-pages true true true true jdk17-compat 17 1.17.3 examples !learnlib.release examples