From 7b86f40acb2f4d5844a9316fd5cc4cc192f8e53b Mon Sep 17 00:00:00 2001
From: Lucas Franceschino <lucas@cryspen.com>
Date: Mon, 20 Jan 2025 10:38:13 +0100
Subject: [PATCH 1/2] doc: add more information in PUBLISHING.md

---
 PUBLISHING.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/PUBLISHING.md b/PUBLISHING.md
index 8929b334e..857f0b517 100644
--- a/PUBLISHING.md
+++ b/PUBLISHING.md
@@ -58,3 +58,9 @@ Note: for now, we are not publishing to Opam. Instead, let's just advertise the
 opam pin hax-engine https://github.com/hacspec/hax.git#the-release-tag
 opam install hax-engine
 ```
+
+## Notes
+`cargo release` reads the `Cargo.toml` of each crates of the workspace.
+Some creates are excluded from releasing: in their `Cargo.toml` manifest, they have `package.metadata.release.release` set to `false`.
+
+Also, `cli/subcommands/Cargo.toml` specifies pre-release replacements for the engine: the version of the engine is bumped automatically by `cargo release`.

From 5723687cee67f4f33cc5f2dfbe60c6820144d09a Mon Sep 17 00:00:00 2001
From: Lucas Franceschino <lucas@cryspen.com>
Date: Mon, 20 Jan 2025 10:29:02 +0100
Subject: [PATCH 2/2] chore: Release

---
 Cargo.lock             | 30 +++++++++++++++---------------
 Cargo.toml             | 20 ++++++++++----------
 engine/dune-project    |  2 +-
 engine/hax-engine.opam |  2 +-
 4 files changed, 27 insertions(+), 27 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index 265b869ac..c0569f138 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -144,7 +144,7 @@ dependencies = [
 
 [[package]]
 name = "cargo-hax"
-version = "0.1.0-rc.1"
+version = "0.1.0"
 dependencies = [
  "annotate-snippets",
  "cargo_metadata",
@@ -445,7 +445,7 @@ checksum = "1e087f84d4f86bf4b218b927129862374b72199ae7d8657835f1e89000eea4fb"
 
 [[package]]
 name = "hax-adt-into"
-version = "0.1.0-rc.1"
+version = "0.1.0"
 dependencies = [
  "itertools",
  "proc-macro2",
@@ -456,7 +456,7 @@ dependencies = [
 
 [[package]]
 name = "hax-bounded-integers"
-version = "0.1.0-rc.1"
+version = "0.1.0"
 dependencies = [
  "duplicate",
  "hax-lib",
@@ -465,7 +465,7 @@ dependencies = [
 
 [[package]]
 name = "hax-driver"
-version = "0.1.0-rc.1"
+version = "0.1.0"
 dependencies = [
  "clap",
  "colored",
@@ -483,7 +483,7 @@ dependencies = [
 
 [[package]]
 name = "hax-engine-names"
-version = "0.1.0-rc.1"
+version = "0.1.0"
 dependencies = [
  "hax-lib",
  "hax-lib-protocol",
@@ -491,7 +491,7 @@ dependencies = [
 
 [[package]]
 name = "hax-engine-names-extract"
-version = "0.1.0-rc.1"
+version = "0.1.0"
 dependencies = [
  "hax-adt-into",
  "hax-engine-names",
@@ -502,7 +502,7 @@ dependencies = [
 
 [[package]]
 name = "hax-frontend-exporter"
-version = "0.1.0-rc.1"
+version = "0.1.0"
 dependencies = [
  "extension-traits",
  "hax-adt-into",
@@ -518,7 +518,7 @@ dependencies = [
 
 [[package]]
 name = "hax-frontend-exporter-options"
-version = "0.1.0-rc.1"
+version = "0.1.0"
 dependencies = [
  "hax-adt-into",
  "schemars",
@@ -528,7 +528,7 @@ dependencies = [
 
 [[package]]
 name = "hax-lib"
-version = "0.1.0-rc.1"
+version = "0.1.0"
 dependencies = [
  "hax-lib-macros",
  "num-bigint",
@@ -537,7 +537,7 @@ dependencies = [
 
 [[package]]
 name = "hax-lib-macros"
-version = "0.1.0-rc.1"
+version = "0.1.0"
 dependencies = [
  "hax-lib",
  "hax-lib-macros-types",
@@ -550,7 +550,7 @@ dependencies = [
 
 [[package]]
 name = "hax-lib-macros-types"
-version = "0.1.0-rc.1"
+version = "0.1.0"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -562,14 +562,14 @@ dependencies = [
 
 [[package]]
 name = "hax-lib-protocol"
-version = "0.1.0-rc.1"
+version = "0.1.0"
 dependencies = [
  "libcrux",
 ]
 
 [[package]]
 name = "hax-lib-protocol-macros"
-version = "0.1.0-rc.1"
+version = "0.1.0"
 dependencies = [
  "proc-macro-error",
  "proc-macro2",
@@ -579,7 +579,7 @@ dependencies = [
 
 [[package]]
 name = "hax-test-harness"
-version = "0.1.0-rc.1"
+version = "0.1.0"
 dependencies = [
  "assert_cmd",
  "cargo_metadata",
@@ -595,7 +595,7 @@ dependencies = [
 
 [[package]]
 name = "hax-types"
-version = "0.1.0-rc.1"
+version = "0.1.0"
 dependencies = [
  "annotate-snippets",
  "clap",
diff --git a/Cargo.toml b/Cargo.toml
index ea7eb8493..787666de0 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -32,7 +32,7 @@ default-members = [
 resolver = "2"
 
 [workspace.package]
-version = "0.1.0-rc.1"
+version = "0.1.0"
 authors = ["hax Authors"]
 license = "Apache-2.0"
 homepage = "https://github.com/hacspec/hax"
@@ -71,14 +71,14 @@ colored = "2"
 annotate-snippets = "0.11"
 
 # Crates in this repository
-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" }
+hax-frontend-exporter = { path = "frontend/exporter", version = "=0.1.0", default-features = false }
+hax-adt-into = { path = "frontend/exporter/adt-into", version = "=0.1.0" }
+hax-frontend-exporter-options = { path = "frontend/exporter/options", version = "=0.1.0" }
+hax-lib-macros = { path = "hax-lib/macros", version = "=0.1.0" }
+hax-lib-macros-types = { path = "hax-lib/macros/types", version = "=0.1.0" }
+hax-lib = { path = "hax-lib", version = "=0.1.0" }
+hax-engine-names = { path = "engine/names", version = "=0.1.0" }
+hax-types = { path = "hax-types", version = "=0.1.0" }
 
 [workspace.metadata.release]
-owners = ["github:hacspec:crates"]
\ No newline at end of file
+owners = ["github:hacspec:crates"]
diff --git a/engine/dune-project b/engine/dune-project
index 5769b572c..a216f477f 100644
--- a/engine/dune-project
+++ b/engine/dune-project
@@ -2,7 +2,7 @@
 
 (name hax-engine)
 
-(version 0.1.0-rc.1)
+(version 0.1.0)
 
 (generate_opam_files true)
 
diff --git a/engine/hax-engine.opam b/engine/hax-engine.opam
index 56b671995..af7aeae3e 100644
--- a/engine/hax-engine.opam
+++ b/engine/hax-engine.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.1.0-rc.1"
+version: "0.1.0"
 synopsis: "The engine of hax, a Rust verification tool"
 description:
   "Hax is divided in two: a frontend (written in Rust) and an engine (written in OCaml). This is the engine."