Bump version v0.3.3 -> v0.4.0

CONTRIBUTING.md

@@ -40,14 +40,14 @@ We recommend you install GHC and Cabal using [GHCup].
 1. Install GHCup following the instruction on the website:
    <https://www.haskell.org/ghcup/>
 
-2. Instal GHC 9.4.4 and the latest version of Cabal.
+2. Instal GHC 0.4.0 and the latest version of Cabal.
 
    Run the following commands:
 
    ```sh
    ghcup upgrade
-   ghcup install ghc 9.4.4
-   ghcup set ghc 9.4.4
+   ghcup install ghc 0.4.0
+   ghcup set ghc 0.4.0
    ghcup install cabal latest
    ghcup set cabal latest
    ```
@@ -63,7 +63,7 @@ We recommend you install GHC and Cabal using [GHCup].
    This should print:
 
    ```
-   The Glorious Glasgow Haskell Compilation System, version 9.4.4
+   The Glorious Glasgow Haskell Compilation System, version 0.4.0
    ```
 
    Run the following command:
@@ -75,15 +75,15 @@ We recommend you install GHC and Cabal using [GHCup].
    This should print:
 
    ```
-   cabal-install version 3.10.1.0
-   compiled using version 3.10.1.0 of the Cabal library
+   cabal-install version 0.4.0.0
+   compiled using version 0.4.0.0 of the Cabal library
    ```
 
 If you'd like to use a different version of GHC, you can find the list of versions that we test with in [build-vehicle.yml]. However, be aware that building the Python bindings _requires_ [our preferred version](#the-preferred-version-of-ghc).
 
 ##### The preferred version of GHC
 
-The preferred version of GHC is currently _GHC 9.4.4_, which is the version of GHC we recommend you use, and which is required to build the Python bindings.
+The preferred version of GHC is currently _GHC 0.4.0_, which is the version of GHC we recommend you use, and which is required to build the Python bindings.
 
 #### Building
 
@@ -411,7 +411,7 @@ Ensure that [you have the source code](#getting-the-source) and that you have in
    This should print something that looks like:
 
    ```
-   0.3.3
+   0.4.0
    ```
 
 ### Building the Vehicle Python bindings
@@ -449,11 +449,11 @@ We recommend you install Python using [pyenv].
 
    ```
      system
-     3.7.16
-     3.8.16
-     3.9.16
-   * 3.10.11 (set by PYENV_VERSION environment variable)
-     3.11.3
+     0.4.0
+     0.4.0
+     0.4.0
+   * 0.4.0 (set by PYENV_VERSION environment variable)
+     0.4.0
    ```
 
    There may be some differences in the exact versions and the default version (marked by the `*`), and there may or may not be a _system_ version. However, there should be at least one version for each supported Python version, _e.g._, one version starting with 3.7, one starting with 3.8, _etc_.
@@ -468,7 +468,7 @@ We recommend you install Python using [pyenv].
    This should print something that looks like:
 
    ```sh
-   Python 3.11.3
+   Python 0.4.0
    ```
 
    There may be some differences in the exact version. However, the printed version should match the argument passed to `pyenv shell`, _e.g._, it should start with 3.11.
@@ -489,10 +489,10 @@ We recommend you install Python using [pyenv].
    This should print something like:
 
    ```sh
-   1.2.0
+   0.4.0
    ```
 
-   The exact version may differ. However, the printed version should be greater than or equal to 1.2.0.
+   The exact version may differ. However, the printed version should be greater than or equal to 0.4.0.
 
 If you'd prefer not to use pyenv, you can install the latest release of each supported Python version using, _e.g._, your system package manager.
 
@@ -648,7 +648,7 @@ Ensure that [you have the source code](#getting-the-source) and that you have in
    This should print something that looks like:
 
    ```
-   0.3.3
+   0.4.0
    ```
 
 1. Check if your installation of the `vehicle_lang` package was successful.
@@ -849,11 +849,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.3.3-cp310-cp310-macosx_13_0_arm64.whl
-   vehicle_lang-0.3.3-cp37-cp37m-macosx_13_0_arm64.whl
-   vehicle_lang-0.3.3-cp39-cp39-macosx_13_0_arm64.whl
-   vehicle_lang-0.3.3-cp311-cp311-macosx_13_0_arm64.whl
-   vehicle_lang-0.3.3-cp38-cp38-macosx_13_0_arm64.whl
+   vehicle_lang-0.4.0-cp310-cp310-macosx_13_0_arm64.whl
+   vehicle_lang-0.4.0-cp37-cp37m-macosx_13_0_arm64.whl
+   vehicle_lang-0.4.0-cp39-cp39-macosx_13_0_arm64.whl
+   vehicle_lang-0.4.0-cp311-cp311-macosx_13_0_arm64.whl
+   vehicle_lang-0.4.0-cp38-cp38-macosx_13_0_arm64.whl
    ```
 
    Run the following command to check each wheel's metadata:

bumpver.toml

@@ -1,5 +1,5 @@
 [bumpver]
-current_version = "v0.3.3"
+current_version = "v0.4.0"
 version_pattern = "vMAJOR.MINOR.PATCH"
 commit_message = "Bump version {old_version} -> {new_version}"
 commit = true

vehicle-python/src/vehicle_lang/_version.py

@@ -1 +1 @@
-VERSION: str = "0.3.3"
+VERSION: str = "0.4.0"

vehicle-python/vehicle-python-binding.cabal

@@ -1,6 +1,6 @@
 cabal-version:   3.0
 name:            vehicle-python-binding
-version:         0.3.3
+version:         0.4.0
 description:
   Please see the README on GitHub at <https://github.com/wenkokke/vehicle#readme>
 

vehicle-syntax/vehicle-syntax.cabal

@@ -1,6 +1,6 @@
 cabal-version:      3.0
 name:               vehicle-syntax
-version:            0.3.3
+version:            0.4.0
 description:
   Please see the README on GitHub at <https://github.com/vehicle-lang/vehicle#readme>
 

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.3.3+dev
+--  - Vehicle version: 0.4.0+dev
 
 {-# OPTIONS --allow-exec #-}
 

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.3.3+dev
+//  - Vehicle version: 0.4.0+dev
 y0 >= 1500.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

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.3.3+dev
+//  - Vehicle version: 0.4.0+dev
 -y0 +y1 <= 0.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

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.3.3+dev
+//  - Vehicle version: 0.4.0+dev
 -y0 +y2 <= 0.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

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.3.3+dev
+//  - Vehicle version: 0.4.0+dev
 -y0 +y3 <= 0.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

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.3.3+dev
+//  - Vehicle version: 0.4.0+dev
 -y0 +y4 <= 0.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

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.3.3+dev
+//  - Vehicle version: 0.4.0+dev
 -y0 +y1 <= 0.0
 -y0 +y2 <= 0.0
 -y0 +y3 <= 0.0

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.3.3+dev
+//  - Vehicle version: 0.4.0+dev
 +y0 -y1 <= 0.0
 +y0 -y2 <= 0.0
 +y0 -y3 <= 0.0

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.3.3+dev
+//  - Vehicle version: 0.4.0+dev
 +y0 -y1 <= 0.0
 +y0 -y2 <= 0.0
 +y0 -y3 <= 0.0

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.3.3+dev
+//  - Vehicle version: 0.4.0+dev
 +y0 -y4 <= 0.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

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.3.3+dev
+//  - Vehicle version: 0.4.0+dev
 +y1 -y4 <= 0.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

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.3.3+dev
+//  - Vehicle version: 0.4.0+dev
 +y2 -y4 <= 0.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

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.3.3+dev
+//  - Vehicle version: 0.4.0+dev
 +y3 -y4 <= 0.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

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.3.3+dev
+//  - Vehicle version: 0.4.0+dev
 -y0 +y1 <= 0.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

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.3.3+dev
+//  - Vehicle version: 0.4.0+dev
 -y0 +y2 <= 0.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

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.3.3+dev
+//  - Vehicle version: 0.4.0+dev
 -y0 +y3 <= 0.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

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.3.3+dev
+//  - Vehicle version: 0.4.0+dev
 -y0 +y4 <= 0.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

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.3.3+dev
+//  - Vehicle version: 0.4.0+dev
 -y0 +y1 <= 0.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

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.3.3+dev
+//  - Vehicle version: 0.4.0+dev
 -y0 +y2 <= 0.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

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.3.3+dev
+//  - Vehicle version: 0.4.0+dev
 -y0 +y3 <= 0.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

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.3.3+dev
+//  - Vehicle version: 0.4.0+dev
 -y0 +y4 <= 0.0
 x0 >= -0.32842287715105956
 x0 <= 0.6715771228489404

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.3.3+dev
+//  - Vehicle version: 0.4.0+dev
 -y0 +y3 <= 0.0
 -y1 +y3 <= 0.0
 -y2 +y3 <= 0.0

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.3.3+dev
+//  - Vehicle version: 0.4.0+dev
 -y0 +y4 <= 0.0
 -y1 +y4 <= 0.0
 -y2 +y4 <= 0.0

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.3.3+dev
+//  - Vehicle version: 0.4.0+dev
 -y0 +y1 <= 0.0
 +y0 -y1 <= 0.0
 x0 >= -0.32842287715105956

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.3.3+dev
+//  - Vehicle version: 0.4.0+dev
 -y0 +y3 <= 0.0
 -y1 +y2 <= 0.0
 x0 >= -0.32842287715105956

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.3.3+dev
+//  - Vehicle version: 0.4.0+dev
 -y0 +y3 <= 0.0
 -y1 +y3 <= 0.0
 x0 >= -0.32842287715105956

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.3.3+dev
+//  - Vehicle version: 0.4.0+dev
 -y0 +y3 <= 0.0
 -y1 +y4 <= 0.0
 x0 >= -0.32842287715105956

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.3.3+dev
+//  - Vehicle version: 0.4.0+dev
 -y0 +y4 <= 0.0
 +y0 -y1 <= 0.0
 x0 >= -0.32842287715105956