Bump version v0.16.0 -> v0.16.1

vehicle-lang · Jan 28, 2025 · f8dcd99 · f8dcd99
1 parent 1033f15
commit f8dcd99
Show file tree

Hide file tree

Showing 183 changed files with 194 additions and 194 deletions.
diff --git a/CITATION.cff b/CITATION.cff
@@ -14,11 +14,11 @@ authors:
     given-names: "Marco"
   - family-names: "Komendantskaya"
     given-names: "Ekaterina"
-version: "0.16.0"
-date-released: "2024-12-13"
+version: "0.16.1"
+date-released: "2025-01-28"
 license: "BSD-3-Clause"
 type: "software"
-repository-artifact: "https://github.com/vehicle-lang/vehicle/releases/tag/v0.16.0"
+repository-artifact: "https://github.com/vehicle-lang/vehicle/releases/tag/v0.16.1"
 repository-code: "https://github.com/vehicle-lang/vehicle"
 references:
   - authors:

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.16.0`.
+   This should print `0.16.1`.
 
 ### 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.16.0-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.16.1-cp311-cp311-macosx_13_0_arm64`:
 
 ```sh
 #   Supported
 #   Python   _____
 #   versions      \
 #                  vvvvvvvvvvv
-vehicle_lang-0.16.0-cp311-cp311-macosx_13_0_arm64
+vehicle_lang-0.16.1-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.16.0`.
+   This should print `0.16.1`.
 
 1. Check if your installation of the `vehicle_lang` package was successful.
 
@@ -934,11 +934,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.16.0-cp310-cp310-macosx_13_0_arm64.whl
-   vehicle_lang-0.16.0-cp37-cp37m-macosx_13_0_arm64.whl
-   vehicle_lang-0.16.0-cp39-cp39-macosx_13_0_arm64.whl
-   vehicle_lang-0.16.0-cp311-cp311-macosx_13_0_arm64.whl
-   vehicle_lang-0.16.0-cp38-cp38-macosx_13_0_arm64.whl
+   vehicle_lang-0.16.1-cp310-cp310-macosx_13_0_arm64.whl
+   vehicle_lang-0.16.1-cp37-cp37m-macosx_13_0_arm64.whl
+   vehicle_lang-0.16.1-cp39-cp39-macosx_13_0_arm64.whl
+   vehicle_lang-0.16.1-cp311-cp311-macosx_13_0_arm64.whl
+   vehicle_lang-0.16.1-cp38-cp38-macosx_13_0_arm64.whl
    ```
 
    Run the following command to check each wheel's metadata:
@@ -959,7 +959,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.16.0>
+   <https://github.com/vehicle-lang/vehicle/releases/tag/v0.16.1>
 
 [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.16.0"
+current_version = "v0.16.1"
 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.16.0"
+VERSION: str = "0.16.1"
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.16.0
+version:         0.16.1
 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.16.0
+version:            0.16.1
 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.16.0+dev
+--  - Vehicle version: 0.16.1+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.16.0+dev
+//  - Vehicle version: 0.16.1+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.16.0+dev
+//  - Vehicle version: 0.16.1+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.16.0+dev
+//  - Vehicle version: 0.16.1+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.16.0+dev
+//  - Vehicle version: 0.16.1+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.16.0+dev
+//  - Vehicle version: 0.16.1+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.16.0+dev
+//  - Vehicle version: 0.16.1+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.16.0+dev
+//  - Vehicle version: 0.16.1+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.16.0+dev
+//  - Vehicle version: 0.16.1+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.16.0+dev
+//  - Vehicle version: 0.16.1+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.16.0+dev
+//  - Vehicle version: 0.16.1+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.16.0+dev
+//  - Vehicle version: 0.16.1+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.16.0+dev
+//  - Vehicle version: 0.16.1+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.16.0+dev
+//  - Vehicle version: 0.16.1+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.16.0+dev
+//  - Vehicle version: 0.16.1+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.16.0+dev
+//  - Vehicle version: 0.16.1+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.16.0+dev
+//  - Vehicle version: 0.16.1+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.16.0+dev
+//  - Vehicle version: 0.16.1+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.16.0+dev
+//  - Vehicle version: 0.16.1+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.16.0+dev
+//  - Vehicle version: 0.16.1+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.16.0+dev
+//  - Vehicle version: 0.16.1+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.16.0+dev
+//  - Vehicle version: 0.16.1+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.16.0+dev
+//  - Vehicle version: 0.16.1+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.16.0+dev
+//  - Vehicle version: 0.16.1+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.16.0+dev
+//  - Vehicle version: 0.16.1+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.16.0+dev
+//  - Vehicle version: 0.16.1+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.16.0+dev
+//  - Vehicle version: 0.16.1+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.16.0+dev
+//  - Vehicle version: 0.16.1+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.16.0+dev
+//  - Vehicle version: 0.16.1+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.16.0+dev
+//  - Vehicle version: 0.16.1+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.16.0+dev
+//  - Vehicle version: 0.16.1+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.16.0+dev
+//  - Vehicle version: 0.16.1+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.16.0+dev
+//  - Vehicle version: 0.16.1+dev
 +y0 -y1 <= 0.0
 -y0 +y3 <= 0.0
 x0 <= 0.6715771228489404