4.0.0 de.learnlib learnlib-parent 0.15.0 pom LearnLib A framework for active automata learning and experimentation http://learnlib.github.io/learnlib/maven-site/${project.version} Apache License, Version 2.0 http://www.apache.org/licenses/LICENSE-2.0.txt mtf90 Markus Frohme markus.frohme@udo.edu TU Dortmund, Chair for Programming Systems http://ls5-www.cs.tu-dortmund.de/ Developer Maintainer falkhowar Falk Howar falk.howar@gmail.com TU Dortmund, Chair for Software Engineering http://ls14-www.cs.tu-dortmund.de/ Developer misberner Malte Isberner malte.isberner@gmail.com Developer (inactive) Stephan Windmüller stephan.windmueller@tu-dortmund.de Developer Maik Merten maikmerten@googlemail.com Developer Oliver Bauer oliver.bauer@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 Q&A List learnlib-qa+subscribe@googlegroups.com learnlib-qa+unsubscribe@googlegroups.com learnlib-qa@googlegroups.com https://groups.google.com/d/forum/learnlib-qa Discussion List learnlib-discussion+subscribe@googlegroups.com learnlib-discussion+unsubscribe@googlegroups.com learnlib-discussion@googlegroups.com https://groups.google.com/d/forum/learnlib-discussion Developers List learnlib-internal+subscribe@googlegroups.com learnlib-internal+unsubscribe@googlegroups.com learnlib-internal@googlegroups.com https://groups.google.com/d/forum/learnlib-internal algorithms api archetypes build-parent build-tools commons datastructures distribution drivers oracles test-support scm:git:git@github.com:LearnLib/learnlib.git scm:git:git@github.com:LearnLib/learnlib.git https://github.com/LearnLib/learnlib/tree/develop learnlib-0.15.0 https://github.com/LearnLib/learnlib/issues GitHub Issues Travis https://travis-ci.org/LearnLib/learnlib 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 1.8 3.0.1 3.1.0 3.0.0 3.8.0 4.3.0 3.1.1 3.0.0-M1 3.0.0-M2 2.22.1 1.6 3.0.0 0.8.4 3.1.0 1.0.0 3.12.0 2.5.3 3.0.2 3.0.0 3.7.1 3.0.1 3.1.12.2 3.0.0-M3 1.1.0 0.0.2 0.9.0 0.1 1.9 3.0.1 8.19 9+181-r4173-1 28.2-jre 1.11.1 1.43 1.2.3 1.8 3.2.0 1.7.30 7.1.0 http://docs.oracle.com/javase/8/docs/api/ http://learnlib.github.io/automatalib/maven-site/${automatalib.version}/apidocs/ https://checkerframework.org/releases/${checkerframework.version}/api/ http://google.github.io/guava/releases/${guava.version}/api/docs/ de.learnlib learnlib-algorithms-parent ${project.version} pom de.learnlib learnlib-algorithms-active-parent ${project.version} pom de.learnlib learnlib-adt ${project.version} de.learnlib learnlib-dhc ${project.version} de.learnlib learnlib-discrimination-tree ${project.version} de.learnlib learnlib-discrimination-tree-vpda ${project.version} de.learnlib learnlib-kearns-vazirani ${project.version} de.learnlib learnlib-lstar ${project.version} de.learnlib learnlib-nlstar ${project.version} de.learnlib learnlib-ttt ${project.version} de.learnlib learnlib-ttt-vpda ${project.version} de.learnlib learnlib-algorithms-passive-parent ${project.version} pom de.learnlib learnlib-rpni ${project.version} de.learnlib learnlib-rpni-edsm ${project.version} de.learnlib learnlib-rpni-mdl ${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-parent ${project.version} pom de.learnlib learnlib-build-tools-parent ${project.version} pom de.learnlib learnlib-build-config ${project.version} provided de.learnlib learnlib-annotation-processor ${project.version} provided de.learnlib learnlib-commons-parent ${project.version} pom de.learnlib learnlib-acex ${project.version} de.learnlib learnlib-counterexamples ${project.version} de.learnlib learnlib-settings ${project.version} de.learnlib learnlib-util ${project.version} de.learnlib learnlib-datastructures-parent ${project.version} pom de.learnlib learnlib-datastructure-dt ${project.version} de.learnlib learnlib-datastructure-list ${project.version} de.learnlib learnlib-datastructure-ot ${project.version} de.learnlib learnlib-datastructure-pta ${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-oracles-parent ${project.version} pom de.learnlib learnlib-emptiness-oracles ${project.version} de.learnlib learnlib-equivalence-oracles ${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-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 org.jmockit jmockit ${jmockit.version} test net.java.openjdk.cacio cacio-tta ${cacio.version} test com.google.guava guava ${guava.version} com.google.code.findbugs jsr305 com.squareup javapoet ${javapoet.version} org.checkerframework checker-qual ${checkerframework.version} com.github.misberner.buildergen buildergen ${buildergen.version} provided com.github.misberner.ap-commons ap-commons ${ap-commons.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} 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-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} -Dlearnlib.release=true deploy site site:stage scm-publish:publish-scm true learnlib-@{version} clean install site -Pcode-analysis -Pintegration-tests org.apache.maven.plugins maven-source-plugin ${source-plugin.version} org.apache.maven.plugins maven-javadoc-plugin ${javadoc-plugin.version} true ${maven.compiler.source} true false ${java.apidocs} ${guava.apidocs} ${automatalib.apidocs} 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 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-compiler-plugin ${compiler-plugin.version} -Xlint:all,-options,-path 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 mailing-lists scm issue-management ci-management dependencies dependency-info modules org.apache.maven.plugins maven-javadoc-plugin non-aggregate javadoc 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-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 learnlib.release true org.apache.maven.plugins maven-source-plugin attach-sources jar-no-fork org.apache.maven.plugins maven-javadoc-plugin attach-javadocs jar sign-artifacts learnlib.release true org.apache.maven.plugins maven-gpg-plugin sign-artifacts verify sign org.apache.maven.plugins maven-enforcer-plugin enforce-maven enforce (,2.1.0),(2.1.0,2.2.0),(2.2.0,) Maven 2.1.0 and 2.2.0 produce incorrect GPG signatures and checksums respectively. release learnlib.release true 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.connection} gh-pages true true true true jdk9+-compat [9,) true org.apache.maven.plugins maven-javadoc-plugin ${javadoc-plugin.version} ${javadoc-plugin.conf.release} examples learnlib.release !true examples