bump version to 2.0.0

Alexander Bainczyk · Alexander Bainczyk · commit ef72d0f18954 · 2020-06-12T11:44:01.000+02:00
diff --git a/Dockerfile b/Dockerfile
@@ -18,7 +18,7 @@ RUN tar -xzf ltsmin-v3.0.2-linux.tgz
 RUN mv v3.0.2 ltsmin
 
 FROM openjdk:12
-COPY --from=builder-backend /root/workdir/build/target/alex-2.0.0-SNAPSHOT.war /usr/share/java/alex/alex.war
+COPY --from=builder-backend /root/workdir/build/target/alex-2.0.0.war /usr/share/java/alex/alex.war
 COPY --from=builder-ltsmin /root/workdir/ltsmin /opt/ltsmin
 WORKDIR /var/lib/alex
 EXPOSE 8000
diff --git a/README.md b/README.md
@@ -19,7 +19,7 @@ Make sure you have Java 8 or 11 installed on your system.
 We advise to use a modern web browser like Google Chrome, Mozilla Firefox or Microsoft Edge with JavaScript enabled.
 
 1. [Download](https://github.com/LearnLib/alex/releases/latest) the latest version.
-2. Open a terminal and start ALEX via `java -jar alex-2.0.0-SNAPSHOT.war [--server.port=XXXX]`.
+2. Open a terminal and start ALEX via `java -jar alex-2.0.0.war [--server.port=XXXX]`.
 3. Wait until the command line prints something like `de.learnlib.alex.App - Started App in XX.XXX seconds`.
 3. Open *http://localhost:8000* in a web browser.
 
@@ -49,7 +49,7 @@ cd alex
 mvn install package [-DskipTests]
 ```
 
-The bundle can then be found at `build/target/alex-2.0.0-SNAPSHOT.war`.
+The bundle can then be found at `build/target/alex-2.0.0.war`.
 
 Only build the REST API and skip the frontend with `mvn package -P!build-frontend`
 
@@ -73,7 +73,7 @@ spring.jpa.hibernate.ddl-auto=update
 
 Then, start ALEX like this:
 
-`java -jar alex-buid-2.0.0-SNAPSHOT.war "--spring.config.location=/path/to/your/application.properties"`
+`java -jar alex-buid-2.0.0.war "--spring.config.location=/path/to/your/application.properties"`
 
 
 ## Using LTSMin
@@ -83,7 +83,7 @@ If you want to use its capabilities, download version **3.0.2** and append the `
 The value for the argument should be the *bin* directory where the compiled binaries of LTSMin are located.
 Example:
 
-`java -jar alex-2.0.0-SNAPSHOT.war --ltsmin.path="/path/to/ltsmin/bin"`
+`java -jar alex-2.0.0.war --ltsmin.path="/path/to/ltsmin/bin"`
 
 
 
diff --git a/backend/pom.xml b/backend/pom.xml
@@ -23,7 +23,7 @@
     <parent>
         <groupId>de.learnlib.alex</groupId>
         <artifactId>alex-parent</artifactId>
-        <version>2.0.0-SNAPSHOT</version>
+        <version>2.0.0</version>
         <relativePath>../pom.xml</relativePath>
     </parent>
 
diff --git a/backend/src/main/resources/application.properties b/backend/src/main/resources/application.properties
@@ -23,7 +23,7 @@ server.compression.min-response-size=5120
 # ALEX
 # Path to user files
 alex.filesRootDir=./target/files
-alex.version=2.0.0-SNAPSHOT
+alex.version=2.0.0
 alex.admin.email=admin@alex.example
 alex.admin.password=admin
 alex.admin.username=admin
diff --git a/backend/src/test/resources/application.properties b/backend/src/test/resources/application.properties
@@ -13,7 +13,7 @@ server.compression.mime-types=text/html,text/xml,text/plain,text/css,text/javasc
 server.compression.min-response-size=1024
 
 alex.filesRootDir=./target/test-files
-alex.version=2.0.0-SNAPSHOT
+alex.version=2.0.0
 alex.admin.email=admin@alex.example
 alex.admin.password=admin
 alex.admin.username=admin
diff --git a/backend/src/test/resources/integrationtest/ALEX-rest.project.json b/backend/src/test/resources/integrationtest/ALEX-rest.project.json
@@ -1,5 +1,5 @@
 {
-  "version": "2.0.0-SNAPSHOT",
+  "version": "2.0.0",
   "type": "project",
   "project": {
     "name": "ALEX",
diff --git a/backend/src/test/resources/integrationtest/ALEX-web.project.json b/backend/src/test/resources/integrationtest/ALEX-web.project.json
@@ -1,5 +1,5 @@
 {
-  "version": "2.0.0-SNAPSHOT",
+  "version": "2.0.0",
   "type": "project",
   "project": {
     "name": "ALEX",
diff --git a/build/pom.xml b/build/pom.xml
@@ -23,7 +23,7 @@
     <parent>
         <artifactId>alex-parent</artifactId>
         <groupId>de.learnlib.alex</groupId>
-        <version>2.0.0-SNAPSHOT</version>
+        <version>2.0.0</version>
         <relativePath>../pom.xml</relativePath>
     </parent>
 
diff --git a/documentation/pom.xml b/documentation/pom.xml
@@ -5,7 +5,7 @@
     <parent>
         <artifactId>alex-parent</artifactId>
         <groupId>de.learnlib.alex</groupId>
-        <version>2.0.0-SNAPSHOT</version>
+        <version>2.0.0</version>
     </parent>
     <modelVersion>4.0.0</modelVersion>
 
diff --git a/documentation/src/main/docs/.vuepress/config.js b/documentation/src/main/docs/.vuepress/config.js
@@ -2,7 +2,7 @@ const env = require('./env.default.js');
 
 module.exports = {
     base: env.BASE,
-    title: 'ALEX Docs (v2.0.0-SNAPSHOT)',
+    title: 'ALEX Docs (v2.0.0)',
     description: 'User documentation for ALEX',
     dest: './.vuepress/dist',
     markdown: {
diff --git a/documentation/src/main/docs/contents/getting-started/configuration/README.md b/documentation/src/main/docs/contents/getting-started/configuration/README.md
@@ -9,8 +9,8 @@ The following arguments can be passed to the bundled version of ALEX:
 
 | Argument          | Description                                                                                            |
 |-------------------|--------------------------------------------------------------------------------------------------------|
-| `server.port`     | The port under which ALEX is available <br> `java -jar alex-2.0.0-SNAPSHOT.war --server.port=8000`     |
-| `alex.dbpath`     | The path where the HSQLDB is stored. <br> `java -jar alex-2.0.0-SNAPSHOT.war --alex.dbpath=mem:testdb` |
+| `server.port`     | The port under which ALEX is available <br> `java -jar alex-2.0.0.war --server.port=8000`     |
+| `alex.dbpath`     | The path where the HSQLDB is stored. <br> `java -jar alex-2.0.0.war --alex.dbpath=mem:testdb` |
 | `chromeDriver`    | The absolute path to the Chrome driver executable on your system                                       |
 | `edgeDriver`      | The absolute path to the Edge driver executable on your system                                         |
 | `firefoxDriver`   | The absolute path to the Gecko driver executable on your system                                        |
@@ -38,7 +38,7 @@ Here, we assume that a MySQL server is running under port *3306* and a database
 Then, start ALEX and include the *application.properties* file as command line argument:
 
 ```bash
-java -jar alex-2.0.0-SNAPSHOT.war "--spring.config.location=/path/to/your/application.properties"
+java -jar alex-2.0.0.war "--spring.config.location=/path/to/your/application.properties"
 ```
 
 <div class="alert alert-info">
diff --git a/documentation/src/main/docs/contents/getting-started/installation/README.md b/documentation/src/main/docs/contents/getting-started/installation/README.md
@@ -7,7 +7,7 @@ Further, a **modern browser** like Google Chrome, Mozilla Firefox or Microsoft E
 ## Bundled version
 
 1. [Download][download] the latest version.
-2. Open a terminal and start ALEX via `java -jar alex-2.0.0-SNAPSHOT.war`.
+2. Open a terminal and start ALEX via `java -jar alex-2.0.0.war`.
 3. Wait until the command line prints something like `Started App in XX.XXX seconds`.
 3. Open *http://localhost:8000* in a web browser.
 
@@ -38,7 +38,7 @@ cd alex
 mvn install package [-DskipTests]
 ```
 
-The bundle can then be found at `build/target/alex-2.0.0-SNAPSHOT.war`.
+The bundle can then be found at `build/target/alex-2.0.0.war`.
 Run it using the instructions for running the bundled version from above.
 
-[download]: https://github.com/LearnLib/alex/releases/download/v2.0.0-SNAPSHOT/alex-2.0.0-SNAPSHOT.war
+[download]: https://github.com/LearnLib/alex/releases/download/v2.0.0/alex-2.0.0.war
diff --git a/documentation/src/main/docs/contents/user-manual/model-checking/README.md b/documentation/src/main/docs/contents/user-manual/model-checking/README.md
@@ -9,7 +9,7 @@ LTSmin has to be downloaded from the homepage and extracted to a place of your c
 Inside the folder, there is a *bin* directory that contains all the binaries.
 When starting ALEX, specify the path to the bin directory as an additional argument:
 
-`java -jar alex-2.0.0-SNAPSHOT.war --ltsmin.path=/path/to/ltsmin/bin`
+`java -jar alex-2.0.0.war --ltsmin.path=/path/to/ltsmin/bin`
 
 
 ## Define LTL formulas
diff --git a/documentation/src/main/docs/package-lock.json b/documentation/src/main/docs/package-lock.json
diff --git a/documentation/src/main/docs/package.json b/documentation/src/main/docs/package.json
@@ -1,6 +1,6 @@
 {
   "name": "alex-docs",
-  "version": "2.0.0-SNAPSHOT",
+  "version": "2.0.0",
   "description": "Documentation for ALEX.",
   "licence": {
     "type": "Apache-2.0",
diff --git a/frontend/pom.xml b/frontend/pom.xml
@@ -23,7 +23,7 @@
     <parent>
         <artifactId>alex-parent</artifactId>
         <groupId>de.learnlib.alex</groupId>
-        <version>2.0.0-SNAPSHOT</version>
+        <version>2.0.0</version>
         <relativePath>../pom.xml</relativePath>
     </parent>
 
diff --git a/frontend/src/main/javascript/package-lock.json b/frontend/src/main/javascript/package-lock.json
diff --git a/frontend/src/main/javascript/package.json b/frontend/src/main/javascript/package.json
@@ -1,6 +1,6 @@
 {
   "name": "alex-frontend",
-  "version": "2.0.0-SNAPSHOT",
+  "version": "2.0.0",
   "scripts": {
     "ng": "ng",
     "start": "ng serve --proxy-config proxy.conf.json",
diff --git a/frontend/src/main/javascript/src/environments/environment.prod.ts b/frontend/src/main/javascript/src/environments/environment.prod.ts
@@ -1,5 +1,5 @@
 export const environment = {
   production: true,
-  version: '2.0.0-SNAPSHOT',
+  version: '2.0.0',
   apiUrl: '/rest'
 };
diff --git a/frontend/src/main/javascript/src/environments/environment.ts b/frontend/src/main/javascript/src/environments/environment.ts
@@ -4,7 +4,7 @@
 
 export const environment = {
   production: false,
-  version: '2.0.0-SNAPSHOT',
+  version: '2.0.0',
   apiUrl: '/rest'
 };
 
diff --git a/plugins/pom.xml b/plugins/pom.xml
@@ -23,7 +23,7 @@
     <parent>
         <artifactId>alex-parent</artifactId>
         <groupId>de.learnlib.alex</groupId>
-        <version>2.0.0-SNAPSHOT</version>
+        <version>2.0.0</version>
         <relativePath>../pom.xml</relativePath>
     </parent>
 
diff --git a/plugins/testsuite-generator-test/pom.xml b/plugins/testsuite-generator-test/pom.xml
@@ -22,7 +22,7 @@
     <parent>
         <groupId>de.learnlib.alex</groupId>
         <artifactId>plugins-parent</artifactId>
-        <version>2.0.0-SNAPSHOT</version>
+        <version>2.0.0</version>
         <relativePath>../pom.xml</relativePath>
     </parent>
 
diff --git a/plugins/testsuite-generator/pom.xml b/plugins/testsuite-generator/pom.xml
@@ -22,7 +22,7 @@
     <parent>
         <groupId>de.learnlib.alex</groupId>
         <artifactId>plugins-parent</artifactId>
-        <version>2.0.0-SNAPSHOT</version>
+        <version>2.0.0</version>
         <relativePath>../pom.xml</relativePath>
     </parent>
 
diff --git a/pom.xml b/pom.xml
@@ -20,7 +20,7 @@
 
     <groupId>de.learnlib.alex</groupId>
     <artifactId>alex-parent</artifactId>
-    <version>2.0.0-SNAPSHOT</version>
+    <version>2.0.0</version>
     <packaging>pom</packaging>
 
     <name>Automata Learning Experience (ALEX)</name>

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`{`
`2`		`- "version": "2.0.0-SNAPSHOT",`
	`2`	`+ "version": "2.0.0",`
`3`	`3`	`"type": "project",`
`4`	`4`	`"project": {`
`5`	`5`	`"name": "ALEX",`