Release v0.7.1

STAMP-project · Nov 6, 2019 · 6ee94ee · 6ee94ee
1 parent 8e9e1f0
commit 6ee94ee
Show file tree

Hide file tree

Showing 2 changed files with 41 additions and 33 deletions.
diff --git a/camp/__init__.py b/camp/__init__.py
@@ -13,7 +13,7 @@ class About:
 
     PROGRAM = "CAMP"
 
-    VERSION = "0.7.0"
+    VERSION = "0.7.1"
 
     COMMIT_HASH = None
 

diff --git a/docs/pages/changelog.md b/docs/pages/changelog.md
@@ -6,6 +6,13 @@ changes that were made.
 
 *   CAMP v0.7
 
+    *   CAMP v0.7.1 (Nov. 6, 2019)
+
+        *   Upgrade Z3 to version 4.8.6
+
+        *   Fix flaky behaviour in camp execute due to wrong ordering
+            of the docker build commands in the `build_images.sh` script.
+
     *   CAMP v0.7.0 (Oct. 30, 2019)
 
         *   Add a `-i|--include` option to `camp execute` that lets
@@ -240,56 +247,57 @@ changes that were made.
             CVE-2017-18342](https://nvd.nist.gov/vuln/detail/CVE-2017-18342)
             on PyYAML before version 4.1
 
-	    *   Fix reporting of missing configurations (similar to [Issue
-		    25](https://github.com/STAMP-project/camp/issues/25)).
+       *   Fix reporting of missing configurations (similar to [Issue
+           25](https://github.com/STAMP-project/camp/issues/25)).
 
 *   CAMP v0.2
 
-	*   CAMP v0.2.3 (Nov. 22, 2018)
+    *   CAMP v0.2.3 (Nov. 22, 2018)
 
-		*   Fix reporting of missing CAMP model, as per [Issue
-			25](https://github.com/STAMP-project/camp/issues/25)
+        *   Fix reporting of missing CAMP model, as per [Issue
+            25](https://github.com/STAMP-project/camp/issues/25)
 
-	*  CAMP v0.2.2 (Nov. 20, 2018)
+    *  CAMP v0.2.2 (Nov. 20, 2018)
 
-		*   Update the documentation of the CityGo case to explain why
-			there are only 10 possible configurations, as noted in
-			[Issue
-			24](https://github.com/STAMP-project/camp/issues/24)
+        *   Update the documentation of the CityGo case to explain why
+            there are only 10 possible configurations, as noted in
+            [Issue
+            24](https://github.com/STAMP-project/camp/issues/24)
 
-		*   Fix the generation of the `build_images.sh` script as per
-			[Issue
-			23](https://github.com/STAMP-project/camp/issues/23)
+        *   Fix the generation of the `build_images.sh` script as per
+            [Issue
+            23](https://github.com/STAMP-project/camp/issues/23)
 
-		*   New documentation page that explains how to contribute to
-			the code and documentation.
+        *   New documentation page that explains how to contribute to
+            the code and documentation.
 
-	*   CAMP v0.2.1 (Nov. 19, 2018)
+    *   CAMP v0.2.1 (Nov. 19, 2018)
 
-		*   Fix issue in the setup.py that prevented building a correct
-			Docker imag
+        *   Fix issue in the setup.py that prevented building a correct
+            Docker imag
 
-	*   CAMP v0.2.0 (Nov. 19, 2018)
+    *   CAMP v0.2.0 (Nov. 19, 2018)
 
-		*   Consolidated input files (now only one, as per [Issue
-			19](https://github.com/STAMP-project/camp/issues/19))
+        *   Consolidated input files (now only one, as per [Issue
+            19](https://github.com/STAMP-project/camp/issues/19))
 
-		*   Input Validation (as per [Issue
-			20](https://github.com/STAMP-project/camp/issues/20) and
-			[Issue 21](https://github.com/STAMP-project/camp/issues/21))
+        *   Input Validation (as per [Issue
+            20](https://github.com/STAMP-project/camp/issues/20) and
+            [Issue 21](https://github.com/STAMP-project/camp/issues/21))
 
-		*   Support for coverage over integer variables (see Atos case-study,
-			[Issue 22](https://github.com/STAMP-project/camp/issues/22))
+        *   Support for coverage over integer variables (see Atos case-study,
+            [Issue 22](https://github.com/STAMP-project/camp/issues/22))
 
-		*   Integrate the solution of both case-study, so that both are solved
-			with the same code.
+        *   Integrate the solution of both case-study, so that both are solved
+            with the same code.
 
-		*   Revised the documentation ([Issue
-			18](https://github.com/STAMP-project/camp/issues/18))
+        *   Revised the documentation ([Issue
+            18](https://github.com/STAMP-project/camp/issues/18))
 
 *   CAMP v0.1 (Oct. 23, 2018)
 
-	*    First complete draft
+    *    First complete draft
 
-	*    Common command line interface for all three commands,
+    *    Common command line interface for all three commands,
          generate, realize and execute.
+