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
*/