Bump version v0.25.0 -> v0.25.1

Author: MatthewDaggitt

CITATION.cff

@@ -14,11 +14,11 @@ authors:
     given-names: "Marco"
   - family-names: "Komendantskaya"
     given-names: "Ekaterina"
-version: "0.25.0"
-date-released: "2026-06-01"
+version: "0.25.1"
+date-released: "2026-06-03"
 license: "BSD-3-Clause"
 type: "software"
-repository-artifact: "https://github.com/vehicle-lang/vehicle/releases/tag/v0.25.0"
+repository-artifact: "https://github.com/vehicle-lang/vehicle/releases/tag/v0.25.1"
 repository-code: "https://github.com/vehicle-lang/vehicle"
 references:
   - authors:

CONTRIBUTING.md

@@ -483,7 +483,7 @@ Ensure that you have the source code and that you have installed GHC and Cabal.
    vehicle --version
    ```
 
-   This should print `0.25.0`.
+   This should print `0.25.1`.
 
 ### Building the Vehicle Python bindings
 
@@ -584,14 +584,14 @@ Ensure that you have the source code and that you have installed GHC/Cabal plus
   uv build
   ```
 
-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.25.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.25.1-cp311-cp311-macosx_13_0_arm64`:
 
 ```sh
 #   Supported
 #   Python   _____
 #   versions      \
 #                  vvvvvvvvvvv
-vehicle_lang-0.25.0-cp311-cp311-macosx_13_0_arm64
+vehicle_lang-0.25.1-cp311-cp311-macosx_13_0_arm64
 #                              ^^^^^^^^^^^^^^^^^
 #   Supported                /
 #   Operating System  ______/
@@ -755,7 +755,7 @@ Ensure that you have the source code and that you have installed GHC/Cabal plus
    vehicle --version
    ```
 
-   This should print `0.25.0`.
+   This should print `0.25.1`.
 
 1. Check if your installation of the `vehicle_lang` package was successful.
 
@@ -969,11 +969,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.25.0-cp310-cp310-macosx_13_0_arm64.whl
-   vehicle_lang-0.25.0-cp37-cp37m-macosx_13_0_arm64.whl
-   vehicle_lang-0.25.0-cp39-cp39-macosx_13_0_arm64.whl
-   vehicle_lang-0.25.0-cp311-cp311-macosx_13_0_arm64.whl
-   vehicle_lang-0.25.0-cp38-cp38-macosx_13_0_arm64.whl
+   vehicle_lang-0.25.1-cp310-cp310-macosx_13_0_arm64.whl
+   vehicle_lang-0.25.1-cp37-cp37m-macosx_13_0_arm64.whl
+   vehicle_lang-0.25.1-cp39-cp39-macosx_13_0_arm64.whl
+   vehicle_lang-0.25.1-cp311-cp311-macosx_13_0_arm64.whl
+   vehicle_lang-0.25.1-cp38-cp38-macosx_13_0_arm64.whl
    ```
 
    Run the following command to check each wheel's metadata:
@@ -994,7 +994,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.25.0>
+   <https://github.com/vehicle-lang/vehicle/releases/tag/v0.25.1>
 
 [vehicle-lang/vehicle]: https://github.com/vehicle-lang/vehicle
 [GHC]: https://www.haskell.org/ghc/

bumpver.toml

@@ -1,5 +1,5 @@
 [bumpver]
-current_version = "v0.25.0"
+current_version = "v0.25.1"
 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.25.0"
+VERSION: str = "0.25.1"

vehicle-python/vehicle-python-binding.cabal

@@ -1,6 +1,6 @@
 cabal-version:   3.0
 name:            vehicle-python-binding
-version:         0.25.0
+version:         0.25.1
 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.25.0
+version:            0.25.1
 description:
   Please see the README on GitHub at <https://github.com/vehicle-lang/vehicle#readme>
 

vehicle/tests/golden/features/arithmetic/Agda.agda.golden

@@ -1,7 +1,7 @@
 -- WARNING: This file was generated automatically by Vehicle
 -- and should not be modified manually!
 -- Metadata:
---  - Vehicle version: 0.25.0+dev
+--  - Vehicle version: 0.25.1+dev
 --  - Agda version: 2.6.2
 
 {-# OPTIONS --allow-exec #-}

vehicle/tests/golden/features/arithmetic/Marabou.queries/property-query1.txt.golden

@@ -1,7 +1,7 @@
 // WARNING: This file was generated automatically by Vehicle
 // and should not be modified manually!
 // Metadata:
-//  - Vehicle version: 0.25.0+dev
+//  - Vehicle version: 0.25.1+dev
 //
 // Assertions
 y0 >= 0.0

vehicle/tests/golden/features/arithmetic/Rocq.v.golden

@@ -1,7 +1,7 @@
 (* WARNING: This file was generated automatically by Vehicle *)
 (* and should not be modified manually! *)
 (* Metadata: *)
-(*  - Vehicle version: 0.25.0+dev *)
+(*  - Vehicle version: 0.25.1+dev *)
 (*  - Rocq version: 9.0.0 *)
 
 From mathcomp Require Import all_boot.

vehicle/tests/golden/features/arithmetic/isabelle/Isabelle.thy.golden

@@ -1,7 +1,7 @@
 (* WARNING: This file was generated automatically by Vehicle *)
 (* and should not be modified manually! *)
 (* Metadata: *)
-(*  - Vehicle version: 0.25.0+dev *)
+(*  - Vehicle version: 0.25.1+dev *)
 (*  - Isabelle version: 2024 *)
 
 theory  Isabelle