Bump version v0.5.1 -> v0.6.0

vehicle-lang · Jul 6, 2023 · 2d353a6 · 2d353a6
1 parent a83fa99
commit 2d353a6
Show file tree

Hide file tree

Showing 168 changed files with 176 additions and 176 deletions.
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
@@ -435,7 +435,7 @@ Ensure that [you have the source code](#getting-the-source) and that you have in
    vehicle --version
    ```
 
-   This should print `0.5.1`.
+   This should print `0.6.0`.
 
 ### Building the Vehicle Python bindings
 
@@ -561,14 +561,14 @@ Ensure that [you have the source code](#getting-the-source) and that you have in
    ```
 
 This creates the directory `dist` which contains "wheels", which are the binary distribution format for Python packages.
-These wheels will have file names such as `vehicle_lang-0.5.1-cp311-cp311-macosx_13_0_arm64`:
+These wheels will have file names such as `vehicle_lang-0.6.0-cp311-cp311-macosx_13_0_arm64`:
 
 ```sh
 #   Supported
 #   Python   _____
 #   versions      \
 #                  vvvvvvvvvvv
-vehicle_lang-0.5.1-cp311-cp311-macosx_13_0_arm64
+vehicle_lang-0.6.0-cp311-cp311-macosx_13_0_arm64
 #                              ^^^^^^^^^^^^^^^^^
 #   Supported                /
 #   Operating System  ______/
@@ -717,7 +717,7 @@ Ensure that [you have the source code](#getting-the-source) and that you have in
    vehicle --version
    ```
 
-   This should print `0.5.1`.
+   This should print `0.6.0`.
 
 1. Check if your installation of the `vehicle_lang` package was successful.
 
@@ -916,11 +916,11 @@ The procedure to create a new release is:
    If you're on macOS with an M1/M2 chipset, these look like:
 
    ```
-   vehicle_lang-0.5.1-cp310-cp310-macosx_13_0_arm64.whl
-   vehicle_lang-0.5.1-cp37-cp37m-macosx_13_0_arm64.whl
-   vehicle_lang-0.5.1-cp39-cp39-macosx_13_0_arm64.whl
-   vehicle_lang-0.5.1-cp311-cp311-macosx_13_0_arm64.whl
-   vehicle_lang-0.5.1-cp38-cp38-macosx_13_0_arm64.whl
+   vehicle_lang-0.6.0-cp310-cp310-macosx_13_0_arm64.whl
+   vehicle_lang-0.6.0-cp37-cp37m-macosx_13_0_arm64.whl
+   vehicle_lang-0.6.0-cp39-cp39-macosx_13_0_arm64.whl
+   vehicle_lang-0.6.0-cp311-cp311-macosx_13_0_arm64.whl
+   vehicle_lang-0.6.0-cp38-cp38-macosx_13_0_arm64.whl
    ```
 
    Run the following command to check each wheel's metadata:

diff --git a/bumpver.toml b/bumpver.toml
@@ -1,5 +1,5 @@
 [bumpver]
-current_version = "v0.5.1"
+current_version = "v0.6.0"
 version_pattern = "vMAJOR.MINOR.PATCH"
 commit_message = "Bump version {old_version} -> {new_version}"
 commit = true

diff --git a/vehicle-python/src/vehicle_lang/_version.py b/vehicle-python/src/vehicle_lang/_version.py
@@ -1 +1 @@
-VERSION: str = "0.5.1"
+VERSION: str = "0.6.0"
diff --git a/vehicle-python/vehicle-python-binding.cabal b/vehicle-python/vehicle-python-binding.cabal
@@ -1,6 +1,6 @@
 cabal-version:   3.0
 name:            vehicle-python-binding
-version:         0.5.1
+version:         0.6.0
 description:
   Please see the README on GitHub at <https://github.com/wenkokke/vehicle#readme>
 

diff --git a/vehicle-syntax/vehicle-syntax.cabal b/vehicle-syntax/vehicle-syntax.cabal
@@ -1,6 +1,6 @@
 cabal-version:      3.0
 name:               vehicle-syntax
-version:            0.5.1
+version:            0.6.0
 description:
   Please see the README on GitHub at <https://github.com/vehicle-lang/vehicle#readme>
 

diff --git a/vehicle/tests/golden/compile/acasXu/Agda.agda.golden b/vehicle/tests/golden/compile/acasXu/Agda.agda.golden
@@ -2,7 +2,7 @@
 -- and should not be modified manually!
 -- Metadata:
 --  - Agda version: 2.6.2
---  - Vehicle version: 0.5.1+dev
+--  - Vehicle version: 0.6.0+dev
 
 {-# OPTIONS --allow-exec #-}
 

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property1-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property1-query1.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 y0 >= 1500.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query1.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 -y0 +y1 <= 0.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query2.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query2.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 -y0 +y2 <= 0.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query3.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query3.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 -y0 +y3 <= 0.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query4.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query4.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 -y0 +y4 <= 0.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property2-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property2-query1.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 -y0 +y1 <= 0.0
 -y0 +y2 <= 0.0
 -y0 +y3 <= 0.0

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property3-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property3-query1.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 +y0 -y1 <= 0.0
 +y0 -y2 <= 0.0
 +y0 -y3 <= 0.0

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property4-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property4-query1.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 +y0 -y1 <= 0.0
 +y0 -y2 <= 0.0
 +y0 -y3 <= 0.0

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query1.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 +y0 -y4 <= 0.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query2.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query2.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 +y1 -y4 <= 0.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query3.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query3.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 +y2 -y4 <= 0.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query4.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query4.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 +y3 -y4 <= 0.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query1.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 -y0 +y1 <= 0.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query2.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query2.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 -y0 +y2 <= 0.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query3.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query3.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 -y0 +y3 <= 0.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query4.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query4.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 -y0 +y4 <= 0.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query5.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query5.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 -y0 +y1 <= 0.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query6.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query6.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 -y0 +y2 <= 0.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query7.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query7.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 -y0 +y3 <= 0.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query8.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query8.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 -y0 +y4 <= 0.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property7-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property7-query1.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 -y0 +y3 <= 0.0
 -y1 +y3 <= 0.0
 -y2 +y3 <= 0.0

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property7-query2.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property7-query2.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 -y0 +y4 <= 0.0
 -y1 +y4 <= 0.0
 -y2 +y4 <= 0.0

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query1.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 -y0 +y1 <= 0.0
 +y0 -y1 <= 0.0
 x0 >= -0.32842287715105956

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query10.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query10.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 -y0 +y3 <= 0.0
 -y1 +y2 <= 0.0
 x0 >= -0.32842287715105956

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query11.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query11.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 -y0 +y3 <= 0.0
 -y1 +y3 <= 0.0
 x0 >= -0.32842287715105956

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query12.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query12.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 -y0 +y3 <= 0.0
 -y1 +y4 <= 0.0
 x0 >= -0.32842287715105956

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query13.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query13.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 -y0 +y4 <= 0.0
 +y0 -y1 <= 0.0
 x0 >= -0.32842287715105956

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query14.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query14.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 -y0 +y4 <= 0.0
 -y1 +y2 <= 0.0
 x0 >= -0.32842287715105956

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query15.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query15.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 -y0 +y4 <= 0.0
 -y1 +y3 <= 0.0
 x0 >= -0.32842287715105956

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query16.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query16.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 -y0 +y4 <= 0.0
 -y1 +y4 <= 0.0
 x0 >= -0.32842287715105956

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query2.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query2.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 -y0 +y1 <= 0.0
 -y1 +y2 <= 0.0
 x0 >= -0.32842287715105956

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query3.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query3.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 -y0 +y1 <= 0.0
 -y1 +y3 <= 0.0
 x0 >= -0.32842287715105956

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query4.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query4.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 -y0 +y1 <= 0.0
 -y1 +y4 <= 0.0
 x0 >= -0.32842287715105956

diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query5.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query5.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.5.1+dev
+//  - Vehicle version: 0.6.0+dev
 -y0 +y2 <= 0.0
 +y0 -y1 <= 0.0
 x0 >= -0.32842287715105956