bump version to 1.7.2

LearnLib · Jun 1, 2019 · 8b2e9cd · 8b2e9cd
1 parent 30c0183
commit 8b2e9cd
Show file tree

Hide file tree

Showing 18 changed files with 32 additions and 25 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,3 +1,10 @@
+# ALEX 1.7.2
+
+## Fixes
+
+* Generate test case from model
+* Add cookie to request action
+
 # ALEX 1.7.1
 
 ## Fixes

diff --git a/README.md b/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.1.war [--server.port=XXXX]`.
+2. Open a terminal and start ALEX via `java -jar alex-1.7.2.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.1.war`.
+The bundle can then be found at `build/target/alex-build-1.7.2.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.1.war "--spring.config.location=/path/to/your/application.properties"`
+`java -jar alex-buid-1.7.2.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.1.war --ltsmin.path="/path/to/ltsmin/bin"`
+`java -jar alex-1.7.2.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>1.7.1</version>
+        <version>1.7.2</version>
         <relativePath>../pom.xml</relativePath>
     </parent>
 

diff --git a/backend/src/main/resources/application.properties b/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.1
+alex.version=1.7.2
 
 # Paths to web driver executables, will be saved in the database on first start
 chromeDriver=

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>1.7.1</version>
+        <version>1.7.2</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>1.7.1</version>
+        <version>1.7.2</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
@@ -1,6 +1,6 @@
 module.exports = {
     base: '/alex/book/1.7.0/',
-    title: 'ALEX Docs (v1.7.1)',
+    title: 'ALEX Docs (v1.7.2)',
     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-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` |
+| `server.port`     | The port under which ALEX is available <br> `java -jar alex-1.7.2.war --server.port=8000`     |
+| `alex.dbpath`     | The path where the HSQLDB is stored. <br> `java -jar alex-1.7.2.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.1.war "--spring.config.location=/path/to/your/application.properties"`
+`java -jar alex-1.7.2.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.

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-1.7.1.war`.
+2. Open a terminal and start ALEX via `java -jar alex-1.7.2.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.1.war`.
+The bundle can then be found at `build/target/alex-build-1.7.2.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.1
+* ALEX v1.7.2
 * 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.1/alex-1.7.1.war
+[download]: https://github.com/LearnLib/alex/releases/download/v1.7.2/alex-1.7.2.war
 [docker]: https://github.com/scce/docker-images/tree/master/alex-server
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
@@ -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.1.war --ltsmin.path=/path/to/ltsmin/bin`
+`java -jar alex-1.7.2.war --ltsmin.path=/path/to/ltsmin/bin`
 
 
 ## Define LTL formulas

diff --git a/documentation/src/main/docs/package.json b/documentation/src/main/docs/package.json
@@ -1,6 +1,6 @@
 {
   "name": "alex-docs",
-  "version": "1.7.1",
+  "version": "1.7.2",
   "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>1.7.1</version>
+        <version>1.7.2</version>
         <relativePath>../pom.xml</relativePath>
     </parent>
 

diff --git a/frontend/src/main/javascript/environments.ts b/frontend/src/main/javascript/environments.ts
@@ -15,7 +15,7 @@
  */
 
 /** The version of ALEX. */
-export const version = '1.7.1';
+export const version = '1.7.2';
 
 /** API URL */
 export const apiUrl = process.env.API_URL;
diff --git a/frontend/src/main/javascript/package.json b/frontend/src/main/javascript/package.json
@@ -1,6 +1,6 @@
 {
   "name": "alex",
-  "version": "1.7.1",
+  "version": "1.7.2",
   "description": "A web application for inferring Mealy machines of web applications and RESTful web services via active automata learning.",
   "repository": {
     "type": "git",

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>1.7.1</version>
+        <version>1.7.2</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>1.7.1</version>
+        <version>1.7.2</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>1.7.1</version>
+        <version>1.7.2</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>1.7.1</version>
+    <version>1.7.2</version>
     <packaging>pom</packaging>
 
     <name>Automata Learning Experience (ALEX)</name>