From 8f7776b871b2d21b046ecadd05027aa161206486 Mon Sep 17 00:00:00 2001
From: Lucas Franceschino <lucas@cryspen.com>
Date: Mon, 7 Oct 2024 15:37:48 +0200
Subject: [PATCH] release: `0.1.0-alpha.1`

---
 Cargo.lock          | 30 +++++++++++++++---------------
 Cargo.toml          | 18 +++++++++---------
 engine/dune-project |  2 +-
 3 files changed, 25 insertions(+), 25 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index 5e22346a0..8462089a3 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -163,7 +163,7 @@ dependencies = [
 
 [[package]]
 name = "cargo-hax"
-version = "0.1.0-pre.2"
+version = "0.1.0-alpha.1"
 dependencies = [
  "annotate-snippets",
  "cargo_metadata",
@@ -464,7 +464,7 @@ checksum = "1e087f84d4f86bf4b218b927129862374b72199ae7d8657835f1e89000eea4fb"
 
 [[package]]
 name = "hax-adt-into"
-version = "0.1.0-pre.2"
+version = "0.1.0-alpha.1"
 dependencies = [
  "itertools",
  "proc-macro2",
@@ -475,7 +475,7 @@ dependencies = [
 
 [[package]]
 name = "hax-bounded-integers"
-version = "0.1.0-pre.2"
+version = "0.1.0-alpha.1"
 dependencies = [
  "duplicate",
  "hax-lib",
@@ -484,7 +484,7 @@ dependencies = [
 
 [[package]]
 name = "hax-driver"
-version = "0.1.0-pre.2"
+version = "0.1.0-alpha.1"
 dependencies = [
  "clap",
  "colored",
@@ -502,7 +502,7 @@ dependencies = [
 
 [[package]]
 name = "hax-engine-names"
-version = "0.1.0-pre.2"
+version = "0.1.0-alpha.1"
 dependencies = [
  "hax-lib",
  "hax-lib-protocol",
@@ -510,7 +510,7 @@ dependencies = [
 
 [[package]]
 name = "hax-engine-names-extract"
-version = "0.1.0-pre.2"
+version = "0.1.0-alpha.1"
 dependencies = [
  "bincode",
  "hax-adt-into",
@@ -522,7 +522,7 @@ dependencies = [
 
 [[package]]
 name = "hax-frontend-exporter"
-version = "0.1.0-pre.2"
+version = "0.1.0-alpha.1"
 dependencies = [
  "bincode",
  "extension-traits",
@@ -539,7 +539,7 @@ dependencies = [
 
 [[package]]
 name = "hax-frontend-exporter-options"
-version = "0.1.0-pre.2"
+version = "0.1.0-alpha.1"
 dependencies = [
  "bincode",
  "hax-adt-into",
@@ -550,7 +550,7 @@ dependencies = [
 
 [[package]]
 name = "hax-lib"
-version = "0.1.0-pre.2"
+version = "0.1.0-alpha.1"
 dependencies = [
  "hax-lib-macros",
  "num-bigint",
@@ -559,7 +559,7 @@ dependencies = [
 
 [[package]]
 name = "hax-lib-macros"
-version = "0.1.0-pre.2"
+version = "0.1.0-alpha.1"
 dependencies = [
  "hax-lib",
  "hax-lib-macros-types",
@@ -572,7 +572,7 @@ dependencies = [
 
 [[package]]
 name = "hax-lib-macros-types"
-version = "0.1.0-pre.2"
+version = "0.1.0-alpha.1"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -584,14 +584,14 @@ dependencies = [
 
 [[package]]
 name = "hax-lib-protocol"
-version = "0.1.0-pre.2"
+version = "0.1.0-alpha.1"
 dependencies = [
  "libcrux",
 ]
 
 [[package]]
 name = "hax-lib-protocol-macros"
-version = "0.1.0-pre.2"
+version = "0.1.0-alpha.1"
 dependencies = [
  "proc-macro-error",
  "proc-macro2",
@@ -601,7 +601,7 @@ dependencies = [
 
 [[package]]
 name = "hax-test-harness"
-version = "0.1.0-pre.2"
+version = "0.1.0-alpha.1"
 dependencies = [
  "assert_cmd",
  "cargo_metadata",
@@ -617,7 +617,7 @@ dependencies = [
 
 [[package]]
 name = "hax-types"
-version = "0.1.0-pre.2"
+version = "0.1.0-alpha.1"
 dependencies = [
  "annotate-snippets",
  "bincode",
diff --git a/Cargo.toml b/Cargo.toml
index 931cd625d..f64e16d76 100644
--- a/Cargo.toml
+++ b/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" }
diff --git a/engine/dune-project b/engine/dune-project
index 2ebe30f5f..11531cc1b 100644
--- a/engine/dune-project
+++ b/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)