diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 45c6f2ef..8a0da758 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -16,4 +16,4 @@ jobs: java-version: '17' distribution: 'temurin' - name: Compile, check, and run tests - run: mvn verify assembly:single + run: mvn -Pbundles verify assembly:single diff --git a/.gitignore b/.gitignore index f3713ad2..3c1a4d11 100644 --- a/.gitignore +++ b/.gitignore @@ -4,4 +4,4 @@ /.project /.classpath /.settings/ - +.idea diff --git a/pom.xml b/pom.xml index 17b1484f..0b4f672c 100644 --- a/pom.xml +++ b/pom.xml @@ -7,13 +7,104 @@ 0.1-SNAPSHOT jar - ralib - http://maven.apache.org + RALib + RALib is a library for active learning algorithms for register automata. + https://github.com/LearnLib/ralib + + + Apache License, Version 2.0 + https://www.apache.org/licenses/LICENSE-2.0.txt + + + + + + no-preserve-root + Simon Dierl + simon.dierl@tu-dortmund.de + TU Dortmund University, Dortmund, Germany + + Developer + + + + pfg666 + Paul Fiterau-Brostean + fiteraup@yahoo.com + Uppsala University, Uppsala, Sweden + + Developer + + + + fhowar + Falk Howar + falk.howar@gmail.com + TU Dortmund University, Dortmund, Germany + + Developer + + + + kostis + Kostis Sagonas + kostis@it.uu.se + Uppsala University, Uppsala, Sweden + + Developer + + + + FredrikTaquist + Fredrik TÃ¥quist + fredrik.takvist@it.uu.se + Uppsala University, Uppsala, Sweden + + Developer + + + + + + Sofia Cassel + Uppsala University, Uppsala, Sweden + + Developer + + + + Malte Isberner + malte.isberner@gmail.com + TU Dortmund University, Dortmund, Germany + + Developer + + + + + + scm:git:https://github.com/LearnLib/ralib.git + scm:git:git@github.com:LearnLib/ralib.git + https://github.com/LearnLib/ralib/tree/develop + HEAD + + + + + sonatype + https://central.sonatype.com + + + sonatype + https://central.sonatype.com/repository/maven-snapshots/ + + UTF-8 17 17 + 17 3.52.0 @@ -27,14 +118,66 @@ 3.7.1 + 0.9.0 3.14.1 3.9.0 + 3.1.3 + 3.2.7 + 3.11.2 + 3.1.0 + 3.3.1 3.0.0 4.9.8.1 3.5.4 + + + + org.sonatype.central + central-publishing-maven-plugin + ${central-publish-plugin.version} + + + org.apache.maven.plugins + maven-deploy-plugin + ${deploy-plugin.version} + + + org.apache.maven.plugins + maven-gpg-plugin + ${gpg-plugin.version} + + + org.apache.maven.plugins + maven-javadoc-plugin + ${javadoc-plugin.version} + + true + true + false + --enable-preview + + + + org.apache.maven.plugins + maven-release-plugin + ${release-plugin.version} + + true + ralib-@{version} + verify + bundles,release + + + + org.apache.maven.plugins + maven-source-plugin + ${source-plugin.version} + + + @@ -67,6 +210,7 @@ **/*.xml + .idea/**/*.xml target/**/*.xml @@ -260,4 +404,69 @@ ${gson.version} + + + + + 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.sonatype.central + central-publishing-maven-plugin + true + + RALib ${project.version} + sonatype + + + + org.apache.maven.plugins + maven-gpg-plugin + + + sign-artifacts + verify + + sign + + + + + + + + diff --git a/src/main/java/de/learnlib/ralib/oracles/mto/OptimizedSymbolicSuffixBuilder.java b/src/main/java/de/learnlib/ralib/oracles/mto/OptimizedSymbolicSuffixBuilder.java index 85cf6eba..4ed630e5 100644 --- a/src/main/java/de/learnlib/ralib/oracles/mto/OptimizedSymbolicSuffixBuilder.java +++ b/src/main/java/de/learnlib/ralib/oracles/mto/OptimizedSymbolicSuffixBuilder.java @@ -51,7 +51,6 @@ public OptimizedSymbolicSuffixBuilder(Constants consts, SymbolicSuffixRestrictio * @param prefix (last symbol will be prepended to suffix) * @param sdt * @param suffix - * @param registers - a list of registers that must be revealed by the suffix * @return a new suffix formed by prepending suffix with the last symbol of prefix */ public SymbolicSuffix extendSuffix(Word prefix, SDT sdt, SymbolicSuffix suffix, DataValue... values) { diff --git a/src/main/java/de/learnlib/ralib/words/DataWords.java b/src/main/java/de/learnlib/ralib/words/DataWords.java index 2cb307c6..6408e648 100644 --- a/src/main/java/de/learnlib/ralib/words/DataWords.java +++ b/src/main/java/de/learnlib/ralib/words/DataWords.java @@ -91,7 +91,6 @@ public static DataType[] typesOf(Word word) { /** * returns set of unique data values of some type in a data word. * - * @param * @param word * @param t * @return @@ -110,7 +109,6 @@ public static Set valSet(Word word, DataType t) { /** * - * @param * @param in * @return */