bump version to 1.7.1

Author: abainczyk

CHANGELOG.md

@@ -1,3 +1,9 @@
+# ALEX 1.7.1
+
+## Fixes
+
+* Fix model not displayed in testing view
+
 # ALEX 1.7.0
 
 ## Breaking Changes

README.md

@@ -19,7 +19,7 @@ Make sure you have Java 8 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-1.7.0.war [--server.port=XXXX]`.
+2. Open a terminal and start ALEX via `java -jar alex-1.7.1.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-build-1.7.0.war`.
+The bundle can then be found at `build/target/alex-build-1.7.1.war`.
 
 ## Connecting to a database
 
@@ -71,7 +71,7 @@ spring.jpa.hibernate.ddl-auto=update
 
 Then, start ALEX like this:
 
-`java -jar alex-buid-1.7.0.war "--spring.config.location=/path/to/your/application.properties"`
+`java -jar alex-buid-1.7.1.war "--spring.config.location=/path/to/your/application.properties"`
 
 
 ## Using LTSMin
@@ -81,7 +81,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-1.7.0.war --ltsmin.path="/path/to/ltsmin/bin"`
+`java -jar alex-1.7.1.war --ltsmin.path="/path/to/ltsmin/bin"`
 
 
 

backend/pom.xml

@@ -23,7 +23,7 @@
     <parent>
         <groupId>de.learnlib.alex</groupId>
         <artifactId>alex-parent</artifactId>
-        <version>1.7.0</version>
+        <version>1.7.1</version>
         <relativePath>../pom.xml</relativePath>
     </parent>
 

backend/src/main/resources/application.properties

@@ -16,7 +16,7 @@ server.port=8000
 # ALEX
 # Path to user files
 alex.filesRootDir=./target/files
-alex.version=1.7.0
+alex.version=1.7.1
 
 # Paths to web driver executables, will be saved in the database on first start
 chromeDriver=

build/pom.xml

@@ -23,7 +23,7 @@
     <parent>
         <artifactId>alex-parent</artifactId>
         <groupId>de.learnlib.alex</groupId>
-        <version>1.7.0</version>
+        <version>1.7.1</version>
         <relativePath>../pom.xml</relativePath>
     </parent>
 

documentation/pom.xml

@@ -5,7 +5,7 @@
     <parent>
         <artifactId>alex-parent</artifactId>
         <groupId>de.learnlib.alex</groupId>
-        <version>1.7.0</version>
+        <version>1.7.1</version>
     </parent>
     <modelVersion>4.0.0</modelVersion>
 

documentation/src/main/docs/.vuepress/config.js

@@ -1,6 +1,6 @@
 module.exports = {
     base: '/alex/book/1.7.0/',
-    title: 'ALEX Docs (v1.7.0)',
+    title: 'ALEX Docs (v1.7.1)',
     description: 'User documentation for ALEX',
     dest: './.vuepress/dist',
     markdown: {

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-1.7.0.war --server.port=8000`     |
-| `alex.dbpath`     | The path where the HSQLDB is stored. <br> `java -jar alex-1.7.0.war --alex.dbpath=mem:testdb` |
+| `server.port`     | The port under which ALEX is available <br> `java -jar alex-1.7.1.war --server.port=8000`     |
+| `alex.dbpath`     | The path where the HSQLDB is stored. <br> `java -jar alex-1.7.1.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                               |
@@ -37,7 +37,7 @@ spring.jpa.hibernate.ddl-auto=update
 Here, we assume that a MySQL server is running under port *3306* and a database called *alex* has been created.
 Then, start ALEX and include the *application.properties* file as command line argument:
 
-`java -jar alex-1.7.0.war "--spring.config.location=/path/to/your/application.properties"`
+`java -jar alex-1.7.1.war "--spring.config.location=/path/to/your/application.properties"`
 
 <div class="alert alert-info">
     Note that there is no automated migration to a MySQL database if the file-based HSQLDB has been used before.

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-1.7.0.war`.
+2. Open a terminal and start ALEX via `java -jar alex-1.7.1.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,21 +38,21 @@ cd alex
 mvn install package [-DskipTests]
 ```
 
-The bundle can then be found at `build/target/alex-build-1.7.0.war`.
+The bundle can then be found at `build/target/alex-build-1.7.1.war`.
 Run it using the instructions for running the bundled version from above.
 
 
 ## Docker
 
 We also offer a Docker image that contains a Linux environment with the following software:
 
-* ALEX v1.7.0
+* ALEX v1.7.1
 * Chrome v73
 * Firefox v66
 
 The image can be found [here](docker).
 The Docker container exposes the **port 8000** under which ALEX is available after the start.
 Note that currently, only the HtmlUnit and the Firefox browser can be used in the Docker container.
 
-[download]: https://github.com/LearnLib/alex/releases/download/v1.7.0/alex-1.7.0.war
+[download]: https://github.com/LearnLib/alex/releases/download/v1.7.1/alex-1.7.1.war
 [docker]: https://github.com/scce/docker-images/tree/master/alex-server

documentation/src/main/docs/contents/user-manual/model-checking/README.md

@@ -11,7 +11,7 @@ The library has to be downloaded from the homepage and extracted to a place of y
 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-1.7.0.war --ltsmin.path=/path/to/ltsmin/bin`
+`java -jar alex-1.7.1.war --ltsmin.path=/path/to/ltsmin/bin`
 
 
 ## Define LTL formulas