From c149d725583da6c6b33d37b97e7bfd76dd1cebae Mon Sep 17 00:00:00 2001
From: Lucas Franceschino <lucas@cryspen.com>
Date: Mon, 2 Dec 2024 14:00:14 +0100
Subject: [PATCH] chore: Release

---
 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 5daeaf35d..265b869ac 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -144,7 +144,7 @@ dependencies = [
 
 [[package]]
 name = "cargo-hax"
-version = "0.1.0-alpha.1"
+version = "0.1.0-rc.1"
 dependencies = [
  "annotate-snippets",
  "cargo_metadata",
@@ -445,7 +445,7 @@ checksum = "1e087f84d4f86bf4b218b927129862374b72199ae7d8657835f1e89000eea4fb"
 
 [[package]]
 name = "hax-adt-into"
-version = "0.1.0-alpha.1"
+version = "0.1.0-rc.1"
 dependencies = [
  "itertools",
  "proc-macro2",
@@ -456,7 +456,7 @@ dependencies = [
 
 [[package]]
 name = "hax-bounded-integers"
-version = "0.1.0-alpha.1"
+version = "0.1.0-rc.1"
 dependencies = [
  "duplicate",
  "hax-lib",
@@ -465,7 +465,7 @@ dependencies = [
 
 [[package]]
 name = "hax-driver"
-version = "0.1.0-alpha.1"
+version = "0.1.0-rc.1"
 dependencies = [
  "clap",
  "colored",
@@ -483,7 +483,7 @@ dependencies = [
 
 [[package]]
 name = "hax-engine-names"
-version = "0.1.0-alpha.1"
+version = "0.1.0-rc.1"
 dependencies = [
  "hax-lib",
  "hax-lib-protocol",
@@ -491,7 +491,7 @@ dependencies = [
 
 [[package]]
 name = "hax-engine-names-extract"
-version = "0.1.0-alpha.1"
+version = "0.1.0-rc.1"
 dependencies = [
  "hax-adt-into",
  "hax-engine-names",
@@ -502,7 +502,7 @@ dependencies = [
 
 [[package]]
 name = "hax-frontend-exporter"
-version = "0.1.0-alpha.1"
+version = "0.1.0-rc.1"
 dependencies = [
  "extension-traits",
  "hax-adt-into",
@@ -518,7 +518,7 @@ dependencies = [
 
 [[package]]
 name = "hax-frontend-exporter-options"
-version = "0.1.0-alpha.1"
+version = "0.1.0-rc.1"
 dependencies = [
  "hax-adt-into",
  "schemars",
@@ -528,7 +528,7 @@ dependencies = [
 
 [[package]]
 name = "hax-lib"
-version = "0.1.0-alpha.1"
+version = "0.1.0-rc.1"
 dependencies = [
  "hax-lib-macros",
  "num-bigint",
@@ -537,7 +537,7 @@ dependencies = [
 
 [[package]]
 name = "hax-lib-macros"
-version = "0.1.0-alpha.1"
+version = "0.1.0-rc.1"
 dependencies = [
  "hax-lib",
  "hax-lib-macros-types",
@@ -550,7 +550,7 @@ dependencies = [
 
 [[package]]
 name = "hax-lib-macros-types"
-version = "0.1.0-alpha.1"
+version = "0.1.0-rc.1"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -562,14 +562,14 @@ dependencies = [
 
 [[package]]
 name = "hax-lib-protocol"
-version = "0.1.0-alpha.1"
+version = "0.1.0-rc.1"
 dependencies = [
  "libcrux",
 ]
 
 [[package]]
 name = "hax-lib-protocol-macros"
-version = "0.1.0-alpha.1"
+version = "0.1.0-rc.1"
 dependencies = [
  "proc-macro-error",
  "proc-macro2",
@@ -579,7 +579,7 @@ dependencies = [
 
 [[package]]
 name = "hax-test-harness"
-version = "0.1.0-alpha.1"
+version = "0.1.0-rc.1"
 dependencies = [
  "assert_cmd",
  "cargo_metadata",
@@ -595,7 +595,7 @@ dependencies = [
 
 [[package]]
 name = "hax-types"
-version = "0.1.0-alpha.1"
+version = "0.1.0-rc.1"
 dependencies = [
  "annotate-snippets",
  "clap",
diff --git a/Cargo.toml b/Cargo.toml
index 52243d79a..9914ef499 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -32,7 +32,7 @@ default-members = [
 resolver = "2"
 
 [workspace.package]
-version = "0.1.0-alpha.1"
+version = "0.1.0-rc.1"
 authors = ["hax Authors"]
 license = "Apache-2.0"
 homepage = "https://github.com/hacspec/hax"
@@ -71,11 +71,11 @@ colored = "2"
 annotate-snippets = "0.11"
 
 # Crates in this repository
-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 = { path = "hax-lib/macros", version = "=0.1.0-alpha.1" }
-hax-lib-macros-types = { path = "hax-lib/macros/types", 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" }
+hax-frontend-exporter = { path = "frontend/exporter", version = "=0.1.0-rc.1", default-features = false }
+hax-adt-into = { path = "frontend/exporter/adt-into", version = "=0.1.0-rc.1" }
+hax-frontend-exporter-options = { path = "frontend/exporter/options", version = "=0.1.0-rc.1" }
+hax-lib-macros = { path = "hax-lib/macros", version = "=0.1.0-rc.1" }
+hax-lib-macros-types = { path = "hax-lib/macros/types", version = "=0.1.0-rc.1" }
+hax-lib = { path = "hax-lib", version = "=0.1.0-rc.1" }
+hax-engine-names = { path = "engine/names", version = "=0.1.0-rc.1" }
+hax-types = { path = "hax-types", version = "=0.1.0-rc.1" }
diff --git a/engine/dune-project b/engine/dune-project
index 11531cc1b..5769b572c 100644
--- a/engine/dune-project
+++ b/engine/dune-project
@@ -2,7 +2,7 @@
 
 (name hax-engine)
 
-(version 0.1.0-alpha.1)
+(version 0.1.0-rc.1)
 
 (generate_opam_files true)