Bump version v0.12.0 -> v0.13.0

vehicle-lang · Feb 10, 2024 · daabb70 · daabb70
1 parent 4ea52cf
commit daabb70
Show file tree

Hide file tree

Showing 175 changed files with 184 additions and 184 deletions.
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
@@ -450,7 +450,7 @@ Ensure that [you have the source code](#getting-the-source) and that you have in
    vehicle --version
    ```
 
-   This should print `0.11.1`.
+   This should print `0.13.0`.
 
 ### Building the Vehicle Python bindings
 
@@ -573,14 +573,14 @@ Ensure that [you have the source code](#getting-the-source) and that you have in
    pipx run tox
    ```
 
-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.11.1-cp311-cp311-macosx_13_0_arm64`:
+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.13.0-cp311-cp311-macosx_13_0_arm64`:
 
 ```sh
 #   Supported
 #   Python   _____
 #   versions      \
 #                  vvvvvvvvvvv
-vehicle_lang-0.11.1-cp311-cp311-macosx_13_0_arm64
+vehicle_lang-0.13.0-cp311-cp311-macosx_13_0_arm64
 #                              ^^^^^^^^^^^^^^^^^
 #   Supported                /
 #   Operating System  ______/
@@ -725,7 +725,7 @@ Ensure that [you have the source code](#getting-the-source) and that you have in
    vehicle --version
    ```
 
-   This should print `0.11.1`.
+   This should print `0.13.0`.
 
 1. Check if your installation of the `vehicle_lang` package was successful.
 
@@ -920,11 +920,11 @@ The procedure to create a new release is:
    This creates the directory `dist` which contains "wheels", which are the binary distribution format for Python packages. If you're on macOS with an M1/M2 chipset, these look like:
 
    ```
-   vehicle_lang-0.11.1-cp310-cp310-macosx_13_0_arm64.whl
-   vehicle_lang-0.11.1-cp37-cp37m-macosx_13_0_arm64.whl
-   vehicle_lang-0.11.1-cp39-cp39-macosx_13_0_arm64.whl
-   vehicle_lang-0.11.1-cp311-cp311-macosx_13_0_arm64.whl
-   vehicle_lang-0.11.1-cp38-cp38-macosx_13_0_arm64.whl
+   vehicle_lang-0.13.0-cp310-cp310-macosx_13_0_arm64.whl
+   vehicle_lang-0.13.0-cp37-cp37m-macosx_13_0_arm64.whl
+   vehicle_lang-0.13.0-cp39-cp39-macosx_13_0_arm64.whl
+   vehicle_lang-0.13.0-cp311-cp311-macosx_13_0_arm64.whl
+   vehicle_lang-0.13.0-cp38-cp38-macosx_13_0_arm64.whl
    ```
 
    Run the following command to check each wheel's metadata:
@@ -945,7 +945,7 @@ The procedure to create a new release is:
 
    The release will be at a URL like:
 
-   <https://github.com/vehicle-lang/vehicle/releases/tag/v0.11.1>
+   <https://github.com/vehicle-lang/vehicle/releases/tag/v0.13.0>
 
 [vehicle-lang/vehicle]: https://github.com/vehicle-lang/vehicle
 [GHC]: https://www.haskell.org/ghc/

diff --git a/bumpver.toml b/bumpver.toml
@@ -1,5 +1,5 @@
 [bumpver]
-current_version = "v0.11.1"
+current_version = "v0.13.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.11.1"
+VERSION: str = "0.13.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.11.1
+version:         0.13.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.11.1
+version:            0.13.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.11.1+dev
+--  - Vehicle version: 0.13.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.11.1+dev
+//  - Vehicle version: 0.13.0+dev
 x0 <= 0.6715771228489404
 x0 >= -0.32842287715105956
 x0 >= 0.6

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.11.1+dev
+//  - Vehicle version: 0.13.0+dev
 -y0 +y1 <= 0.0
 x0 <= 0.6715771228489404
 x0 <= 0.6798577687061284

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.11.1+dev
+//  - Vehicle version: 0.13.0+dev
 -y0 +y2 <= 0.0
 x0 <= 0.6715771228489404
 x0 <= 0.6798577687061284

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.11.1+dev
+//  - Vehicle version: 0.13.0+dev
 -y0 +y3 <= 0.0
 x0 <= 0.6715771228489404
 x0 <= 0.6798577687061284

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.11.1+dev
+//  - Vehicle version: 0.13.0+dev
 -y0 +y4 <= 0.0
 x0 <= 0.6715771228489404
 x0 <= 0.6798577687061284

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.11.1+dev
+//  - Vehicle version: 0.13.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.11.1+dev
+//  - Vehicle version: 0.13.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.11.1+dev
+//  - Vehicle version: 0.13.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.11.1+dev
+//  - Vehicle version: 0.13.0+dev
 +y0 -y4 <= 0.0
 x0 <= -0.3217850848807687
 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.11.1+dev
+//  - Vehicle version: 0.13.0+dev
 +y1 -y4 <= 0.0
 x0 <= -0.3217850848807687
 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.11.1+dev
+//  - Vehicle version: 0.13.0+dev
 +y2 -y4 <= 0.0
 x0 <= -0.3217850848807687
 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.11.1+dev
+//  - Vehicle version: 0.13.0+dev
 +y3 -y4 <= 0.0
 x0 <= -0.3217850848807687
 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.11.1+dev
+//  - Vehicle version: 0.13.0+dev
 -y0 +y1 <= 0.0
 x0 <= 0.6715771228489404
 x0 <= 0.7004349247440301

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.11.1+dev
+//  - Vehicle version: 0.13.0+dev
 -y0 +y2 <= 0.0
 x0 <= 0.6715771228489404
 x0 <= 0.7004349247440301

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.11.1+dev
+//  - Vehicle version: 0.13.0+dev
 -y0 +y3 <= 0.0
 x0 <= 0.6715771228489404
 x0 <= 0.7004349247440301

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.11.1+dev
+//  - Vehicle version: 0.13.0+dev
 -y0 +y4 <= 0.0
 x0 <= 0.6715771228489404
 x0 <= 0.7004349247440301

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.11.1+dev
+//  - Vehicle version: 0.13.0+dev
 -y0 +y1 <= 0.0
 x0 <= 0.6715771228489404
 x0 <= 0.7004349247440301

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.11.1+dev
+//  - Vehicle version: 0.13.0+dev
 -y0 +y2 <= 0.0
 x0 <= 0.6715771228489404
 x0 <= 0.7004349247440301

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.11.1+dev
+//  - Vehicle version: 0.13.0+dev
 -y0 +y3 <= 0.0
 x0 <= 0.6715771228489404
 x0 <= 0.7004349247440301

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.11.1+dev
+//  - Vehicle version: 0.13.0+dev
 -y0 +y4 <= 0.0
 x0 <= 0.6715771228489404
 x0 <= 0.7004349247440301

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.11.1+dev
+//  - Vehicle version: 0.13.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.11.1+dev
+//  - Vehicle version: 0.13.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.11.1+dev
+//  - Vehicle version: 0.13.0+dev
 +y0 -y1 <= 0.0
 -y0 +y1 <= 0.0
 x0 <= 0.6715771228489404

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.11.1+dev
+//  - Vehicle version: 0.13.0+dev
 -y0 +y2 <= 0.0
 -y1 +y3 <= 0.0
 x0 <= 0.6715771228489404

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.11.1+dev
+//  - Vehicle version: 0.13.0+dev
 -y0 +y3 <= 0.0
 -y1 +y3 <= 0.0
 x0 <= 0.6715771228489404

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.11.1+dev
+//  - Vehicle version: 0.13.0+dev
 -y0 +y4 <= 0.0
 -y1 +y3 <= 0.0
 x0 <= 0.6715771228489404

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.11.1+dev
+//  - Vehicle version: 0.13.0+dev
 -y0 +y1 <= 0.0
 -y1 +y4 <= 0.0
 x0 <= 0.6715771228489404

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.11.1+dev
+//  - Vehicle version: 0.13.0+dev
 -y0 +y2 <= 0.0
 -y1 +y4 <= 0.0
 x0 <= 0.6715771228489404

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.11.1+dev
+//  - Vehicle version: 0.13.0+dev
 -y0 +y3 <= 0.0
 -y1 +y4 <= 0.0
 x0 <= 0.6715771228489404

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.11.1+dev
+//  - Vehicle version: 0.13.0+dev
 -y0 +y4 <= 0.0
 -y1 +y4 <= 0.0
 x0 <= 0.6715771228489404

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.11.1+dev
+//  - Vehicle version: 0.13.0+dev
 +y0 -y1 <= 0.0
 -y0 +y2 <= 0.0
 x0 <= 0.6715771228489404

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.11.1+dev
+//  - Vehicle version: 0.13.0+dev
 +y0 -y1 <= 0.0
 -y0 +y3 <= 0.0
 x0 <= 0.6715771228489404

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.11.1+dev
+//  - Vehicle version: 0.13.0+dev
 +y0 -y1 <= 0.0
 -y0 +y4 <= 0.0
 x0 <= 0.6715771228489404