bump API version

c-cube · c-cube · commit 3b84fa35cc53 · 2025-09-18T11:45:41.000-04:00
diff --git a/dune-project b/dune-project
@@ -11,7 +11,7 @@
 
 ;; keep in sync with imandrax
 
-(version 0.17)
+(version 0.18)
 
 (authors "the imandrax team")
 
diff --git a/imandra-proof-system.opam b/imandra-proof-system.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.17"
+version: "0.18"
 synopsis: "Description and codegen for Imandra's durable proof system"
 maintainer: ["imandra.ai"]
 authors: ["the imandrax team"]
diff --git a/imandrax-api-client-cohttp.opam b/imandrax-api-client-cohttp.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.17"
+version: "0.18"
 synopsis: "RPC client for ImandraX's API using cohttp + lwt"
 maintainer: ["imandra.ai"]
 authors: ["the imandrax team"]
diff --git a/imandrax-api-client-ezcurl.opam b/imandrax-api-client-ezcurl.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.17"
+version: "0.18"
 synopsis: "RPC client for ImandraX's API using Ezcurl"
 maintainer: ["imandra.ai"]
 authors: ["the imandrax team"]
diff --git a/imandrax-api-client.opam b/imandrax-api-client.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.17"
+version: "0.18"
 synopsis: "RPC client for ImandraX's API (transport agnostic)"
 maintainer: ["imandra.ai"]
 authors: ["the imandrax team"]
diff --git a/imandrax-api-ppx.opam b/imandrax-api-ppx.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.17"
+version: "0.18"
 synopsis: "Ppx-deriving for ImandraX API"
 maintainer: ["imandra.ai"]
 authors: ["the imandrax team"]
diff --git a/imandrax-api-prelude.opam b/imandrax-api-prelude.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.17"
+version: "0.18"
 synopsis: "ImandraX Prelude"
 maintainer: ["imandra.ai"]
 authors: ["the imandrax team"]
diff --git a/imandrax-api-top.opam b/imandrax-api-top.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.17"
+version: "0.18"
 synopsis: "Interactive toplevel for ImandraX's API"
 maintainer: ["imandra.ai"]
 authors: ["the imandrax team"]
diff --git a/imandrax-api.opam b/imandrax-api.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.17"
+version: "0.18"
 synopsis: "Public API and types for ImandraX"
 maintainer: ["imandra.ai"]
 authors: ["the imandrax team"]
diff --git a/src/core/API_TYPES_VERSION b/src/core/API_TYPES_VERSION
@@ -1 +1 @@
-17
+18
diff --git a/src/core/version_.ml b/src/core/version_.ml
@@ -1 +1 @@
-let version = "v17"
+let version = "v18"
diff --git a/src/py/api_types_version.py b/src/py/api_types_version.py
@@ -1 +1 @@
-api_types_version = "v17"
+api_types_version = 'v18'
diff --git a/src/py/pyproject.toml b/src/py/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "imandrax_api"
-version = "0.17.0"
+version = "0.18"
 description = "Imandrax API client library"
 requires-python = ">=3.12"
 dependencies = ["protobuf>=5.29.4,<6.0", "requests", "structlog"]
