release: 0.1.0-alpha.1

Cargo.toml

@@ -32,7 +32,7 @@ default-members = [
 resolver = "2"
 
 [workspace.package]
-version = "0.1.0-pre.2"
+version = "0.1.0-alpha.1"
 authors = ["hax Authors"]
 license = "Apache-2.0"
 homepage = "https://github.com/hacspec/hax"
@@ -72,11 +72,11 @@ bincode = "2.0.0-rc.3"
 annotate-snippets = "0.11"
 
 # Crates in this repository
-hax-frontend-exporter = { path = "frontend/exporter", version = "=0.1.0-pre.2", default-features = false }
-hax-adt-into = { path = "frontend/exporter/adt-into", version = "=0.1.0-pre.2" }
-hax-frontend-exporter-options = { path = "frontend/exporter/options", version = "=0.1.0-pre.2" }
-hax-lib-macros-types = { path = "hax-lib-macros/types", version = "=0.1.0-pre.2" }
-hax-lib-macros = { path = "hax-lib-macros", version = "=0.1.0-pre.2" }
-hax-lib = { path = "hax-lib", version = "=0.1.0-pre.2" }
-hax-engine-names = { path = "engine/names", version = "=0.1.0-pre.2" }
-hax-types = { path = "hax-types", version = "=0.1.0-pre.2" }
+hax-frontend-exporter = { path = "frontend/exporter", version = "=0.1.0-alpha.1", default-features = false }
+hax-adt-into = { path = "frontend/exporter/adt-into", version = "=0.1.0-alpha.1" }
+hax-frontend-exporter-options = { path = "frontend/exporter/options", version = "=0.1.0-alpha.1" }
+hax-lib-macros-types = { path = "hax-lib-macros/types", version = "=0.1.0-alpha.1" }
+hax-lib-macros = { path = "hax-lib-macros", version = "=0.1.0-alpha.1" }
+hax-lib = { path = "hax-lib", version = "=0.1.0-alpha.1" }
+hax-engine-names = { path = "engine/names", version = "=0.1.0-alpha.1" }
+hax-types = { path = "hax-types", version = "=0.1.0-alpha.1" }

engine/dune-project

@@ -2,7 +2,7 @@
 
 (name hax-engine)
 
-(version 0.1.0-pre.2)
+(version 0.1.0-alpha.1)
 
 (generate_opam_files true)