Bump version v0.3.2 -> v0.3.3

vehicle-lang · May 18, 2023 · 5ff4e61 · 5ff4e61
1 parent 7540ff7
commit 5ff4e61
Show file tree

Hide file tree

Showing 165 changed files with 165 additions and 165 deletions.
diff --git a/bumpver.toml b/bumpver.toml
@@ -1,5 +1,5 @@
 [bumpver]
-current_version = "v0.3.2"
+current_version = "v0.3.3"
 version_pattern = "vMAJOR.MINOR.PATCH"
 commit_message = "Bump version {old_version} -> {new_version}"
 commit = true

diff --git a/py-vehicle-lang/src/vehicle_lang/_version.py b/py-vehicle-lang/src/vehicle_lang/_version.py
@@ -1 +1 @@
-VERSION: str = "0.3.2"
+VERSION: str = "0.3.3"
diff --git a/py-vehicle-lang/vehicle-python-binding.cabal b/py-vehicle-lang/vehicle-python-binding.cabal
@@ -1,6 +1,6 @@
 cabal-version:   3.0
 name:            vehicle-python-binding
-version:         0.3.2
+version:         0.3.3
 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.3.2
+version:            0.3.3
 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.3.2+dev
+--  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+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.3.2+dev
+//  - Vehicle version: 0.3.3+dev
 -y0 +y2 <= 0.0
 +y0 -y1 <= 0.0
 x0 >= -0.32842287715105956

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

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

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

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

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

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