diff --git a/Cargo.lock b/Cargo.lock
index c52a8ee6089..2a951cc60bd 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -310,7 +310,7 @@ dependencies = [
 
 [[package]]
 name = "cairo-lang-casm"
-version = "1.0.0-alpha.6"
+version = "1.0.0-alpha.7"
 dependencies = [
  "cairo-lang-utils",
  "env_logger",
@@ -327,7 +327,7 @@ dependencies = [
 
 [[package]]
 name = "cairo-lang-compiler"
-version = "1.0.0-alpha.6"
+version = "1.0.0-alpha.7"
 dependencies = [
  "anyhow",
  "cairo-lang-defs",
@@ -351,7 +351,7 @@ dependencies = [
 
 [[package]]
 name = "cairo-lang-debug"
-version = "1.0.0-alpha.6"
+version = "1.0.0-alpha.7"
 dependencies = [
  "cairo-lang-proc-macros",
  "cairo-lang-utils",
@@ -362,7 +362,7 @@ dependencies = [
 
 [[package]]
 name = "cairo-lang-defs"
-version = "1.0.0-alpha.6"
+version = "1.0.0-alpha.7"
 dependencies = [
  "cairo-lang-debug",
  "cairo-lang-diagnostics",
@@ -383,7 +383,7 @@ dependencies = [
 
 [[package]]
 name = "cairo-lang-diagnostics"
-version = "1.0.0-alpha.6"
+version = "1.0.0-alpha.7"
 dependencies = [
  "cairo-lang-filesystem",
  "cairo-lang-proc-macros",
@@ -398,7 +398,7 @@ dependencies = [
 
 [[package]]
 name = "cairo-lang-eq-solver"
-version = "1.0.0-alpha.6"
+version = "1.0.0-alpha.7"
 dependencies = [
  "cairo-lang-utils",
  "env_logger",
@@ -412,7 +412,7 @@ dependencies = [
 
 [[package]]
 name = "cairo-lang-filesystem"
-version = "1.0.0-alpha.6"
+version = "1.0.0-alpha.7"
 dependencies = [
  "cairo-lang-debug",
  "cairo-lang-utils",
@@ -427,7 +427,7 @@ dependencies = [
 
 [[package]]
 name = "cairo-lang-formatter"
-version = "1.0.0-alpha.6"
+version = "1.0.0-alpha.7"
 dependencies = [
  "anyhow",
  "cairo-lang-diagnostics",
@@ -450,7 +450,7 @@ dependencies = [
 
 [[package]]
 name = "cairo-lang-language-server"
-version = "1.0.0-alpha.6"
+version = "1.0.0-alpha.7"
 dependencies = [
  "anyhow",
  "cairo-lang-compiler",
@@ -482,7 +482,7 @@ dependencies = [
 
 [[package]]
 name = "cairo-lang-lowering"
-version = "1.0.0-alpha.6"
+version = "1.0.0-alpha.7"
 dependencies = [
  "cairo-lang-debug",
  "cairo-lang-defs",
@@ -511,7 +511,7 @@ dependencies = [
 
 [[package]]
 name = "cairo-lang-parser"
-version = "1.0.0-alpha.6"
+version = "1.0.0-alpha.7"
 dependencies = [
  "cairo-lang-diagnostics",
  "cairo-lang-filesystem",
@@ -532,7 +532,7 @@ dependencies = [
 
 [[package]]
 name = "cairo-lang-plugins"
-version = "1.0.0-alpha.6"
+version = "1.0.0-alpha.7"
 dependencies = [
  "cairo-lang-debug",
  "cairo-lang-defs",
@@ -556,7 +556,7 @@ dependencies = [
 
 [[package]]
 name = "cairo-lang-proc-macros"
-version = "1.0.0-alpha.6"
+version = "1.0.0-alpha.7"
 dependencies = [
  "cairo-lang-debug",
  "quote",
@@ -565,7 +565,7 @@ dependencies = [
 
 [[package]]
 name = "cairo-lang-project"
-version = "1.0.0-alpha.6"
+version = "1.0.0-alpha.7"
 dependencies = [
  "cairo-lang-filesystem",
  "indoc",
@@ -578,7 +578,7 @@ dependencies = [
 
 [[package]]
 name = "cairo-lang-runner"
-version = "1.0.0-alpha.6"
+version = "1.0.0-alpha.7"
 dependencies = [
  "anyhow",
  "ark-ff 0.4.0-alpha.7",
@@ -607,7 +607,7 @@ dependencies = [
 
 [[package]]
 name = "cairo-lang-semantic"
-version = "1.0.0-alpha.6"
+version = "1.0.0-alpha.7"
 dependencies = [
  "assert_matches",
  "cairo-lang-debug",
@@ -637,7 +637,7 @@ dependencies = [
 
 [[package]]
 name = "cairo-lang-sierra"
-version = "1.0.0-alpha.6"
+version = "1.0.0-alpha.7"
 dependencies = [
  "assert_matches",
  "bimap",
@@ -665,7 +665,7 @@ dependencies = [
 
 [[package]]
 name = "cairo-lang-sierra-ap-change"
-version = "1.0.0-alpha.6"
+version = "1.0.0-alpha.7"
 dependencies = [
  "cairo-lang-eq-solver",
  "cairo-lang-sierra",
@@ -680,7 +680,7 @@ dependencies = [
 
 [[package]]
 name = "cairo-lang-sierra-gas"
-version = "1.0.0-alpha.6"
+version = "1.0.0-alpha.7"
 dependencies = [
  "cairo-lang-eq-solver",
  "cairo-lang-sierra",
@@ -697,7 +697,7 @@ dependencies = [
 
 [[package]]
 name = "cairo-lang-sierra-generator"
-version = "1.0.0-alpha.6"
+version = "1.0.0-alpha.7"
 dependencies = [
  "cairo-lang-debug",
  "cairo-lang-defs",
@@ -728,7 +728,7 @@ dependencies = [
 
 [[package]]
 name = "cairo-lang-sierra-to-casm"
-version = "1.0.0-alpha.6"
+version = "1.0.0-alpha.7"
 dependencies = [
  "anyhow",
  "assert_matches",
@@ -753,7 +753,7 @@ dependencies = [
 
 [[package]]
 name = "cairo-lang-starknet"
-version = "1.0.0-alpha.6"
+version = "1.0.0-alpha.7"
 dependencies = [
  "anyhow",
  "cairo-lang-casm",
@@ -796,7 +796,7 @@ dependencies = [
 
 [[package]]
 name = "cairo-lang-syntax"
-version = "1.0.0-alpha.6"
+version = "1.0.0-alpha.7"
 dependencies = [
  "cairo-lang-debug",
  "cairo-lang-filesystem",
@@ -810,7 +810,7 @@ dependencies = [
 
 [[package]]
 name = "cairo-lang-syntax-codegen"
-version = "1.0.0-alpha.6"
+version = "1.0.0-alpha.7"
 dependencies = [
  "cairo-lang-utils",
  "env_logger",
@@ -822,7 +822,7 @@ dependencies = [
 
 [[package]]
 name = "cairo-lang-test-runner"
-version = "1.0.0-alpha.6"
+version = "1.0.0-alpha.7"
 dependencies = [
  "anyhow",
  "cairo-felt",
@@ -856,7 +856,7 @@ dependencies = [
 
 [[package]]
 name = "cairo-lang-test-utils"
-version = "1.0.0-alpha.6"
+version = "1.0.0-alpha.7"
 dependencies = [
  "cairo-lang-utils",
  "env_logger",
@@ -867,7 +867,7 @@ dependencies = [
 
 [[package]]
 name = "cairo-lang-utils"
-version = "1.0.0-alpha.6"
+version = "1.0.0-alpha.7"
 dependencies = [
  "chrono",
  "env_logger",
@@ -2862,7 +2862,7 @@ dependencies = [
 
 [[package]]
 name = "tests"
-version = "1.0.0-alpha.6"
+version = "1.0.0-alpha.7"
 dependencies = [
  "assert_matches",
  "cairo-felt",
diff --git a/Cargo.toml b/Cargo.toml
index dd4e75333cb..6b90286d286 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -31,7 +31,7 @@ members = [
 ]
 
 [workspace.package]
-version = "1.0.0-alpha.6"
+version = "1.0.0-alpha.7"
 edition = "2021"
 repository = "https://github.com/starkware-libs/cairo/"
 license = "Apache-2.0"
diff --git a/corelib/Scarb.toml b/corelib/Scarb.toml
index 55463ed7bb2..205d1be7924 100644
--- a/corelib/Scarb.toml
+++ b/corelib/Scarb.toml
@@ -1,6 +1,6 @@
 [package]
 name = "core"
-version = "1.0.0-alpha.6"
+version = "1.0.0-alpha.7"
 
 # NOTE: This is non-public, unstable Scarb's field, which instructs resolver that this package does not
 #   depend on `core`, which is only true for this particular package. Nobody else should use it.
diff --git a/crates/cairo-lang-casm/Cargo.toml b/crates/cairo-lang-casm/Cargo.toml
index b29b9cbbd08..2bf967d2183 100644
--- a/crates/cairo-lang-casm/Cargo.toml
+++ b/crates/cairo-lang-casm/Cargo.toml
@@ -11,7 +11,7 @@ serde.workspace = true
 thiserror.workspace = true
 num-bigint.workspace = true
 num-traits.workspace = true
-cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.6" }
+cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.7" }
 indoc.workspace = true
 
 [dev-dependencies]
diff --git a/crates/cairo-lang-compiler/Cargo.toml b/crates/cairo-lang-compiler/Cargo.toml
index 4d173d32f52..831dc1c219d 100644
--- a/crates/cairo-lang-compiler/Cargo.toml
+++ b/crates/cairo-lang-compiler/Cargo.toml
@@ -9,21 +9,21 @@ description = "Cairo compiler."
 [dependencies]
 anyhow.workspace = true
 clap.workspace = true
-cairo-lang-diagnostics = { path = "../cairo-lang-diagnostics", version = "1.0.0-alpha.6" }
-cairo-lang-defs = { path = "../cairo-lang-defs", version = "1.0.0-alpha.6" }
-cairo-lang-filesystem = { path = "../cairo-lang-filesystem", version = "1.0.0-alpha.6" }
+cairo-lang-diagnostics = { path = "../cairo-lang-diagnostics", version = "1.0.0-alpha.7" }
+cairo-lang-defs = { path = "../cairo-lang-defs", version = "1.0.0-alpha.7" }
+cairo-lang-filesystem = { path = "../cairo-lang-filesystem", version = "1.0.0-alpha.7" }
 log.workspace = true
-cairo-lang-lowering = { path = "../cairo-lang-lowering", version = "1.0.0-alpha.6" }
-cairo-lang-semantic = { path = "../cairo-lang-semantic", version = "1.0.0-alpha.6" }
-cairo-lang-sierra = { path = "../cairo-lang-sierra", version = "1.0.0-alpha.6" }
-cairo-lang-sierra-generator = { path = "../cairo-lang-sierra-generator", version = "1.0.0-alpha.6" }
-cairo-lang-syntax = { path = "../cairo-lang-syntax", version = "1.0.0-alpha.6" }
-cairo-lang-parser = { path = "../cairo-lang-parser", version = "1.0.0-alpha.6" }
-cairo-lang-plugins = { path = "../cairo-lang-plugins", version = "1.0.0-alpha.6" }
-cairo-lang-project = { path = "../cairo-lang-project", version = "1.0.0-alpha.6" }
+cairo-lang-lowering = { path = "../cairo-lang-lowering", version = "1.0.0-alpha.7" }
+cairo-lang-semantic = { path = "../cairo-lang-semantic", version = "1.0.0-alpha.7" }
+cairo-lang-sierra = { path = "../cairo-lang-sierra", version = "1.0.0-alpha.7" }
+cairo-lang-sierra-generator = { path = "../cairo-lang-sierra-generator", version = "1.0.0-alpha.7" }
+cairo-lang-syntax = { path = "../cairo-lang-syntax", version = "1.0.0-alpha.7" }
+cairo-lang-parser = { path = "../cairo-lang-parser", version = "1.0.0-alpha.7" }
+cairo-lang-plugins = { path = "../cairo-lang-plugins", version = "1.0.0-alpha.7" }
+cairo-lang-project = { path = "../cairo-lang-project", version = "1.0.0-alpha.7" }
 salsa.workspace = true
 thiserror.workspace = true
-cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.6" }
+cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.7" }
 
 [dev-dependencies]
 test-log.workspace = true
diff --git a/crates/cairo-lang-defs/Cargo.toml b/crates/cairo-lang-defs/Cargo.toml
index d67980f66e7..b7c8be99d23 100644
--- a/crates/cairo-lang-defs/Cargo.toml
+++ b/crates/cairo-lang-defs/Cargo.toml
@@ -7,20 +7,20 @@ license-file.workspace = true
 description = "Handling of definitions of language items in Cairo."
 
 [dependencies]
-cairo-lang-debug = { path = "../cairo-lang-debug", version = "1.0.0-alpha.6" }
-cairo-lang-diagnostics = { path = "../cairo-lang-diagnostics", version = "1.0.0-alpha.6" }
-cairo-lang-filesystem = { path = "../cairo-lang-filesystem", version = "1.0.0-alpha.6" }
+cairo-lang-debug = { path = "../cairo-lang-debug", version = "1.0.0-alpha.7" }
+cairo-lang-diagnostics = { path = "../cairo-lang-diagnostics", version = "1.0.0-alpha.7" }
+cairo-lang-filesystem = { path = "../cairo-lang-filesystem", version = "1.0.0-alpha.7" }
 indexmap.workspace = true
 itertools.workspace = true
 salsa.workspace = true
-cairo-lang-syntax = { path = "../cairo-lang-syntax", version = "1.0.0-alpha.6" }
-cairo-lang-parser = { path = "../cairo-lang-parser", version = "1.0.0-alpha.6" }
+cairo-lang-syntax = { path = "../cairo-lang-syntax", version = "1.0.0-alpha.7" }
+cairo-lang-parser = { path = "../cairo-lang-parser", version = "1.0.0-alpha.7" }
 smol_str.workspace = true
-cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.6" }
+cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.7" }
 
 [dev-dependencies]
 env_logger.workspace = true
-cairo-lang-test-utils = { path = "../cairo-lang-test-utils", version = "1.0.0-alpha.6" }
+cairo-lang-test-utils = { path = "../cairo-lang-test-utils", version = "1.0.0-alpha.7" }
 indoc.workspace = true
 pretty_assertions.workspace = true
 test-log.workspace = true
diff --git a/crates/cairo-lang-diagnostics/Cargo.toml b/crates/cairo-lang-diagnostics/Cargo.toml
index 354e0972db2..9ade2d2d84c 100644
--- a/crates/cairo-lang-diagnostics/Cargo.toml
+++ b/crates/cairo-lang-diagnostics/Cargo.toml
@@ -7,13 +7,13 @@ license-file.workspace = true
 description = "Diagnostic utilities."
 
 [dependencies]
-cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.6" }
-cairo-lang-filesystem = { path = "../cairo-lang-filesystem", version = "1.0.0-alpha.6" }
+cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.7" }
+cairo-lang-filesystem = { path = "../cairo-lang-filesystem", version = "1.0.0-alpha.7" }
 itertools.workspace = true
 salsa.workspace = true
 
 [dev-dependencies]
-cairo-lang-proc-macros = { path = "../cairo-lang-proc-macros", version = "1.0.0-alpha.6" }
+cairo-lang-proc-macros = { path = "../cairo-lang-proc-macros", version = "1.0.0-alpha.7" }
 env_logger.workspace = true
 indoc.workspace = true
 pretty_assertions.workspace = true
diff --git a/crates/cairo-lang-eq-solver/Cargo.toml b/crates/cairo-lang-eq-solver/Cargo.toml
index d7e54ab0611..ba112a570b4 100644
--- a/crates/cairo-lang-eq-solver/Cargo.toml
+++ b/crates/cairo-lang-eq-solver/Cargo.toml
@@ -7,7 +7,7 @@ license-file.workspace = true
 description = "Equation solving for Sierra generation."
 
 [dependencies]
-cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.6" }
+cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.7" }
 good_lp.workspace = true
 itertools.workspace = true
 indexmap.workspace = true
diff --git a/crates/cairo-lang-filesystem/Cargo.toml b/crates/cairo-lang-filesystem/Cargo.toml
index c30b037ae81..7a56810ea40 100644
--- a/crates/cairo-lang-filesystem/Cargo.toml
+++ b/crates/cairo-lang-filesystem/Cargo.toml
@@ -7,8 +7,8 @@ license-file.workspace = true
 description = "Virtual filesystem for the compiler."
 
 [dependencies]
-cairo-lang-debug = { path = "../cairo-lang-debug", version = "1.0.0-alpha.6" }
-cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.6" }
+cairo-lang-debug = { path = "../cairo-lang-debug", version = "1.0.0-alpha.7" }
+cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.7" }
 path-clean.workspace = true
 salsa.workspace = true
 serde.workspace = true
diff --git a/crates/cairo-lang-formatter/Cargo.toml b/crates/cairo-lang-formatter/Cargo.toml
index 5d858541bb5..f8516f5818e 100644
--- a/crates/cairo-lang-formatter/Cargo.toml
+++ b/crates/cairo-lang-formatter/Cargo.toml
@@ -14,20 +14,20 @@ path = "src/bin/cli.rs"
 anyhow.workspace = true
 clap.workspace = true
 colored.workspace = true
-cairo-lang-diagnostics = { path = "../cairo-lang-diagnostics", version = "1.0.0-alpha.6" }
+cairo-lang-diagnostics = { path = "../cairo-lang-diagnostics", version = "1.0.0-alpha.7" }
 diffy.workspace = true
-cairo-lang-filesystem = { path = "../cairo-lang-filesystem", version = "1.0.0-alpha.6" }
+cairo-lang-filesystem = { path = "../cairo-lang-filesystem", version = "1.0.0-alpha.7" }
 itertools.workspace = true
 log.workspace = true
-cairo-lang-parser = { path = "../cairo-lang-parser", version = "1.0.0-alpha.6" }
+cairo-lang-parser = { path = "../cairo-lang-parser", version = "1.0.0-alpha.7" }
 salsa.workspace = true
 smol_str.workspace = true
-cairo-lang-syntax = { path = "../cairo-lang-syntax", version = "1.0.0-alpha.6" }
-cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.6" }
+cairo-lang-syntax = { path = "../cairo-lang-syntax", version = "1.0.0-alpha.7" }
+cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.7" }
 ignore.workspace = true
 
 [dev-dependencies]
-cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.6" }
+cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.7" }
 pretty_assertions.workspace = true
 test-case.workspace = true
 test-log.workspace = true
diff --git a/crates/cairo-lang-language-server/Cargo.toml b/crates/cairo-lang-language-server/Cargo.toml
index 2a0c8cd1cb3..fbd95850cb4 100644
--- a/crates/cairo-lang-language-server/Cargo.toml
+++ b/crates/cairo-lang-language-server/Cargo.toml
@@ -12,20 +12,20 @@ path = "src/bin/language_server.rs"
 
 [dependencies]
 anyhow.workspace = true
-cairo-lang-compiler = { path = "../cairo-lang-compiler", version = "1.0.0-alpha.6" }
-cairo-lang-debug = { path = "../cairo-lang-debug", version = "1.0.0-alpha.6" }
-cairo-lang-defs = { path = "../cairo-lang-defs", version = "1.0.0-alpha.6" }
-cairo-lang-diagnostics = { path = "../cairo-lang-diagnostics", version = "1.0.0-alpha.6" }
-cairo-lang-filesystem = { path = "../cairo-lang-filesystem", version = "1.0.0-alpha.6" }
-cairo-lang-formatter = { path = "../cairo-lang-formatter", version = "1.0.0-alpha.6" }
-cairo-lang-lowering = { path = "../cairo-lang-lowering", version = "1.0.0-alpha.6" }
-cairo-lang-parser = { path = "../cairo-lang-parser", version = "1.0.0-alpha.6" }
-cairo-lang-plugins = { path = "../cairo-lang-plugins", version = "1.0.0-alpha.6" }
-cairo-lang-project = { path = "../cairo-lang-project", version = "1.0.0-alpha.6" }
-cairo-lang-semantic = { path = "../cairo-lang-semantic", version = "1.0.0-alpha.6" }
-cairo-lang-starknet = { path = "../cairo-lang-starknet", version = "1.0.0-alpha.6" }
-cairo-lang-syntax = { path = "../cairo-lang-syntax", version = "1.0.0-alpha.6" }
-cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.6" }
+cairo-lang-compiler = { path = "../cairo-lang-compiler", version = "1.0.0-alpha.7" }
+cairo-lang-debug = { path = "../cairo-lang-debug", version = "1.0.0-alpha.7" }
+cairo-lang-defs = { path = "../cairo-lang-defs", version = "1.0.0-alpha.7" }
+cairo-lang-diagnostics = { path = "../cairo-lang-diagnostics", version = "1.0.0-alpha.7" }
+cairo-lang-filesystem = { path = "../cairo-lang-filesystem", version = "1.0.0-alpha.7" }
+cairo-lang-formatter = { path = "../cairo-lang-formatter", version = "1.0.0-alpha.7" }
+cairo-lang-lowering = { path = "../cairo-lang-lowering", version = "1.0.0-alpha.7" }
+cairo-lang-parser = { path = "../cairo-lang-parser", version = "1.0.0-alpha.7" }
+cairo-lang-plugins = { path = "../cairo-lang-plugins", version = "1.0.0-alpha.7" }
+cairo-lang-project = { path = "../cairo-lang-project", version = "1.0.0-alpha.7" }
+cairo-lang-semantic = { path = "../cairo-lang-semantic", version = "1.0.0-alpha.7" }
+cairo-lang-starknet = { path = "../cairo-lang-starknet", version = "1.0.0-alpha.7" }
+cairo-lang-syntax = { path = "../cairo-lang-syntax", version = "1.0.0-alpha.7" }
+cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.7" }
 indoc.workspace = true
 log.workspace = true
 lsp.workspace = true
diff --git a/crates/cairo-lang-lowering/Cargo.toml b/crates/cairo-lang-lowering/Cargo.toml
index 780d9fd7aeb..35101cb49be 100644
--- a/crates/cairo-lang-lowering/Cargo.toml
+++ b/crates/cairo-lang-lowering/Cargo.toml
@@ -7,29 +7,29 @@ license-file.workspace = true
 description = "Cairo lowering phase."
 
 [dependencies]
-cairo-lang-debug = { path = "../cairo-lang-debug", version = "1.0.0-alpha.6" }
-cairo-lang-defs = { path = "../cairo-lang-defs", version = "1.0.0-alpha.6" }
-cairo-lang-diagnostics = { path = "../cairo-lang-diagnostics", version = "1.0.0-alpha.6" }
-cairo-lang-proc-macros = { path = "../cairo-lang-proc-macros", version = "1.0.0-alpha.6" }
-cairo-lang-filesystem = { path = "../cairo-lang-filesystem", version = "1.0.0-alpha.6" }
+cairo-lang-debug = { path = "../cairo-lang-debug", version = "1.0.0-alpha.7" }
+cairo-lang-defs = { path = "../cairo-lang-defs", version = "1.0.0-alpha.7" }
+cairo-lang-diagnostics = { path = "../cairo-lang-diagnostics", version = "1.0.0-alpha.7" }
+cairo-lang-proc-macros = { path = "../cairo-lang-proc-macros", version = "1.0.0-alpha.7" }
+cairo-lang-filesystem = { path = "../cairo-lang-filesystem", version = "1.0.0-alpha.7" }
 id-arena.workspace = true
 indexmap.workspace = true
 itertools.workspace = true
 log.workspace = true
 num-bigint.workspace = true
 num-traits.workspace = true
-cairo-lang-parser = { path = "../cairo-lang-parser", version = "1.0.0-alpha.6" }
+cairo-lang-parser = { path = "../cairo-lang-parser", version = "1.0.0-alpha.7" }
 salsa.workspace = true
-cairo-lang-semantic = { path = "../cairo-lang-semantic", version = "1.0.0-alpha.6" }
+cairo-lang-semantic = { path = "../cairo-lang-semantic", version = "1.0.0-alpha.7" }
 smol_str.workspace = true
-cairo-lang-syntax = { path = "../cairo-lang-syntax", version = "1.0.0-alpha.6" }
-cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.6" }
+cairo-lang-syntax = { path = "../cairo-lang-syntax", version = "1.0.0-alpha.7" }
+cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.7" }
 
 [dev-dependencies]
 env_logger.workspace = true
 indoc.workspace = true
-cairo-lang-plugins = { path = "../cairo-lang-plugins", version = "1.0.0-alpha.6" }
+cairo-lang-plugins = { path = "../cairo-lang-plugins", version = "1.0.0-alpha.7" }
 pretty_assertions.workspace = true
 cairo-lang-semantic = { path = "../cairo-lang-semantic", features = ["testing"] }
 test-log.workspace = true
-cairo-lang-test-utils = { path = "../cairo-lang-test-utils", version = "1.0.0-alpha.6" }
+cairo-lang-test-utils = { path = "../cairo-lang-test-utils", version = "1.0.0-alpha.7" }
diff --git a/crates/cairo-lang-parser/Cargo.toml b/crates/cairo-lang-parser/Cargo.toml
index 5f3fd6cca95..cb2d9ba3b16 100644
--- a/crates/cairo-lang-parser/Cargo.toml
+++ b/crates/cairo-lang-parser/Cargo.toml
@@ -11,19 +11,19 @@ fix_parser_tests = ["cairo-lang-utils/testing"]
 
 [dependencies]
 colored.workspace = true
-cairo-lang-diagnostics = { path = "../cairo-lang-diagnostics", version = "1.0.0-alpha.6" }
-cairo-lang-filesystem = { path = "../cairo-lang-filesystem", version = "1.0.0-alpha.6" }
+cairo-lang-diagnostics = { path = "../cairo-lang-diagnostics", version = "1.0.0-alpha.7" }
+cairo-lang-filesystem = { path = "../cairo-lang-filesystem", version = "1.0.0-alpha.7" }
 itertools.workspace = true
 log.workspace = true
 salsa.workspace = true
 smol_str.workspace = true
-cairo-lang-syntax = { path = "../cairo-lang-syntax", version = "1.0.0-alpha.6" }
-cairo-lang-syntax-codegen = { path = "../cairo-lang-syntax-codegen", version = "1.0.0-alpha.6" }
-cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.6" }
+cairo-lang-syntax = { path = "../cairo-lang-syntax", version = "1.0.0-alpha.7" }
+cairo-lang-syntax-codegen = { path = "../cairo-lang-syntax-codegen", version = "1.0.0-alpha.7" }
+cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.7" }
 
 [dev-dependencies]
 env_logger.workspace = true
 pretty_assertions.workspace = true
 test-case.workspace = true
 test-log.workspace = true
-cairo-lang-test-utils = { path = "../cairo-lang-test-utils", version = "1.0.0-alpha.6" }
+cairo-lang-test-utils = { path = "../cairo-lang-test-utils", version = "1.0.0-alpha.7" }
diff --git a/crates/cairo-lang-plugins/Cargo.toml b/crates/cairo-lang-plugins/Cargo.toml
index 008d0d1085d..ca207fa62a2 100644
--- a/crates/cairo-lang-plugins/Cargo.toml
+++ b/crates/cairo-lang-plugins/Cargo.toml
@@ -7,13 +7,13 @@ license-file.workspace = true
 description = "Cairo core plugin implementations."
 
 [dependencies]
-cairo-lang-defs = { path = "../cairo-lang-defs", version = "1.0.0-alpha.6" }
-cairo-lang-diagnostics = { path = "../cairo-lang-diagnostics", version = "1.0.0-alpha.6" }
-cairo-lang-filesystem = { path = "../cairo-lang-filesystem", version = "1.0.0-alpha.6" }
-cairo-lang-parser = { path = "../cairo-lang-parser", version = "1.0.0-alpha.6" }
-cairo-lang-semantic = { path = "../cairo-lang-semantic", version = "1.0.0-alpha.6" }
-cairo-lang-syntax = { path = "../cairo-lang-syntax", version = "1.0.0-alpha.6" }
-cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.6" }
+cairo-lang-defs = { path = "../cairo-lang-defs", version = "1.0.0-alpha.7" }
+cairo-lang-diagnostics = { path = "../cairo-lang-diagnostics", version = "1.0.0-alpha.7" }
+cairo-lang-filesystem = { path = "../cairo-lang-filesystem", version = "1.0.0-alpha.7" }
+cairo-lang-parser = { path = "../cairo-lang-parser", version = "1.0.0-alpha.7" }
+cairo-lang-semantic = { path = "../cairo-lang-semantic", version = "1.0.0-alpha.7" }
+cairo-lang-syntax = { path = "../cairo-lang-syntax", version = "1.0.0-alpha.7" }
+cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.7" }
 indoc.workspace = true
 itertools.workspace = true
 salsa.workspace = true
@@ -21,9 +21,9 @@ smol_str.workspace = true
 unescaper.workspace = true
 
 [dev-dependencies]
-cairo-lang-debug = { path = "../cairo-lang-debug", version = "1.0.0-alpha.6" }
-cairo-lang-parser = { path = "../cairo-lang-parser", version = "1.0.0-alpha.6" }
-cairo-lang-test-utils = { path = "../cairo-lang-test-utils", version = "1.0.0-alpha.6" }
+cairo-lang-debug = { path = "../cairo-lang-debug", version = "1.0.0-alpha.7" }
+cairo-lang-parser = { path = "../cairo-lang-parser", version = "1.0.0-alpha.7" }
+cairo-lang-test-utils = { path = "../cairo-lang-test-utils", version = "1.0.0-alpha.7" }
 env_logger.workspace = true
 indoc.workspace = true
 serde_json.workspace = true
diff --git a/crates/cairo-lang-proc-macros/Cargo.toml b/crates/cairo-lang-proc-macros/Cargo.toml
index d1329cc9a7c..40b3d5278ab 100644
--- a/crates/cairo-lang-proc-macros/Cargo.toml
+++ b/crates/cairo-lang-proc-macros/Cargo.toml
@@ -14,6 +14,6 @@ normal = ["cairo-lang-debug"]
 
 [dependencies]
 # This is used only for docs.
-cairo-lang-debug = { path = "../cairo-lang-debug", version = "1.0.0-alpha.6" }
+cairo-lang-debug = { path = "../cairo-lang-debug", version = "1.0.0-alpha.7" }
 syn.workspace = true
 quote.workspace = true
diff --git a/crates/cairo-lang-project/Cargo.toml b/crates/cairo-lang-project/Cargo.toml
index 664dff5b61a..a3278b675ae 100644
--- a/crates/cairo-lang-project/Cargo.toml
+++ b/crates/cairo-lang-project/Cargo.toml
@@ -11,7 +11,7 @@ serde.workspace = true
 smol_str.workspace = true
 thiserror.workspace = true
 toml.workspace = true
-cairo-lang-filesystem = { path = "../cairo-lang-filesystem", version = "1.0.0-alpha.6" }
+cairo-lang-filesystem = { path = "../cairo-lang-filesystem", version = "1.0.0-alpha.7" }
 
 [dev-dependencies]
 indoc.workspace = true
diff --git a/crates/cairo-lang-runner/Cargo.toml b/crates/cairo-lang-runner/Cargo.toml
index 17d2b7425d9..6faf8d03061 100644
--- a/crates/cairo-lang-runner/Cargo.toml
+++ b/crates/cairo-lang-runner/Cargo.toml
@@ -13,15 +13,15 @@ ark-std.workspace = true
 cairo-felt.workspace = true
 cairo-vm.workspace = true
 clap.workspace = true
-cairo-lang-compiler = { path = "../cairo-lang-compiler", version = "1.0.0-alpha.6" }
-cairo-lang-casm = { path = "../cairo-lang-casm", version = "1.0.0-alpha.6" }
-cairo-lang-diagnostics = { path = "../cairo-lang-diagnostics", version = "1.0.0-alpha.6" }
-cairo-lang-sierra = { path = "../cairo-lang-sierra", version = "1.0.0-alpha.6" }
-cairo-lang-sierra-ap-change = { path = "../cairo-lang-sierra-ap-change", version = "1.0.0-alpha.6" }
-cairo-lang-sierra-gas = { path = "../cairo-lang-sierra-gas", version = "1.0.0-alpha.6" }
-cairo-lang-sierra-generator = { path = "../cairo-lang-sierra-generator", version = "1.0.0-alpha.6" }
-cairo-lang-sierra-to-casm = { path = "../cairo-lang-sierra-to-casm", version = "1.0.0-alpha.6" }
-cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.6" }
+cairo-lang-compiler = { path = "../cairo-lang-compiler", version = "1.0.0-alpha.7" }
+cairo-lang-casm = { path = "../cairo-lang-casm", version = "1.0.0-alpha.7" }
+cairo-lang-diagnostics = { path = "../cairo-lang-diagnostics", version = "1.0.0-alpha.7" }
+cairo-lang-sierra = { path = "../cairo-lang-sierra", version = "1.0.0-alpha.7" }
+cairo-lang-sierra-ap-change = { path = "../cairo-lang-sierra-ap-change", version = "1.0.0-alpha.7" }
+cairo-lang-sierra-gas = { path = "../cairo-lang-sierra-gas", version = "1.0.0-alpha.7" }
+cairo-lang-sierra-generator = { path = "../cairo-lang-sierra-generator", version = "1.0.0-alpha.7" }
+cairo-lang-sierra-to-casm = { path = "../cairo-lang-sierra-to-casm", version = "1.0.0-alpha.7" }
+cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.7" }
 itertools.workspace = true
 num-bigint.workspace = true
 num-integer.workspace = true
diff --git a/crates/cairo-lang-semantic/Cargo.toml b/crates/cairo-lang-semantic/Cargo.toml
index a66c2a98ce4..f0a713bfb38 100644
--- a/crates/cairo-lang-semantic/Cargo.toml
+++ b/crates/cairo-lang-semantic/Cargo.toml
@@ -10,14 +10,14 @@ description = "Cairo semantic model."
 testing = []
 
 [dependencies]
-cairo-lang-debug = { path = "../cairo-lang-debug", version = "1.0.0-alpha.6" }
-cairo-lang-defs = { path = "../cairo-lang-defs", version = "1.0.0-alpha.6" }
-cairo-lang-diagnostics = { path = "../cairo-lang-diagnostics", version = "1.0.0-alpha.6" }
-cairo-lang-filesystem = { path = "../cairo-lang-filesystem", version = "1.0.0-alpha.6" }
-cairo-lang-parser = { path = "../cairo-lang-parser", version = "1.0.0-alpha.6" }
-cairo-lang-proc-macros = { path = "../cairo-lang-proc-macros", version = "1.0.0-alpha.6" }
-cairo-lang-syntax = { path = "../cairo-lang-syntax", version = "1.0.0-alpha.6" }
-cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.6" }
+cairo-lang-debug = { path = "../cairo-lang-debug", version = "1.0.0-alpha.7" }
+cairo-lang-defs = { path = "../cairo-lang-defs", version = "1.0.0-alpha.7" }
+cairo-lang-diagnostics = { path = "../cairo-lang-diagnostics", version = "1.0.0-alpha.7" }
+cairo-lang-filesystem = { path = "../cairo-lang-filesystem", version = "1.0.0-alpha.7" }
+cairo-lang-parser = { path = "../cairo-lang-parser", version = "1.0.0-alpha.7" }
+cairo-lang-proc-macros = { path = "../cairo-lang-proc-macros", version = "1.0.0-alpha.7" }
+cairo-lang-syntax = { path = "../cairo-lang-syntax", version = "1.0.0-alpha.7" }
+cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.7" }
 id-arena.workspace = true
 itertools.workspace = true
 log.workspace = true
diff --git a/crates/cairo-lang-sierra-ap-change/Cargo.toml b/crates/cairo-lang-sierra-ap-change/Cargo.toml
index 2b7e03d66b0..07b857b5516 100644
--- a/crates/cairo-lang-sierra-ap-change/Cargo.toml
+++ b/crates/cairo-lang-sierra-ap-change/Cargo.toml
@@ -8,10 +8,10 @@ description = "Sierra AP change computation."
 
 [dependencies]
 itertools.workspace = true
-cairo-lang-sierra = { path = "../cairo-lang-sierra", version = "1.0.0-alpha.6" }
-cairo-lang-eq-solver = { path = "../cairo-lang-eq-solver", version = "1.0.0-alpha.6" }
+cairo-lang-sierra = { path = "../cairo-lang-sierra", version = "1.0.0-alpha.7" }
+cairo-lang-eq-solver = { path = "../cairo-lang-eq-solver", version = "1.0.0-alpha.7" }
 thiserror.workspace = true
-cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.6" }
+cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.7" }
 
 [dev-dependencies]
 env_logger.workspace = true
diff --git a/crates/cairo-lang-sierra-gas/Cargo.toml b/crates/cairo-lang-sierra-gas/Cargo.toml
index f1bae78f1a8..ce7737ab569 100644
--- a/crates/cairo-lang-sierra-gas/Cargo.toml
+++ b/crates/cairo-lang-sierra-gas/Cargo.toml
@@ -8,10 +8,10 @@ description = "Sierra gas computation."
 
 [dependencies]
 itertools.workspace = true
-cairo-lang-sierra = { path = "../cairo-lang-sierra", version = "1.0.0-alpha.6" }
-cairo-lang-eq-solver = { path = "../cairo-lang-eq-solver", version = "1.0.0-alpha.6" }
+cairo-lang-sierra = { path = "../cairo-lang-sierra", version = "1.0.0-alpha.7" }
+cairo-lang-eq-solver = { path = "../cairo-lang-eq-solver", version = "1.0.0-alpha.7" }
 thiserror.workspace = true
-cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.6" }
+cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.7" }
 
 [dev-dependencies]
 env_logger.workspace = true
@@ -19,4 +19,4 @@ indoc.workspace = true
 test-case.workspace = true
 test-log.workspace = true
 pretty_assertions.workspace = true
-cairo-lang-test-utils = { path = "../cairo-lang-test-utils", version = "1.0.0-alpha.6" }
+cairo-lang-test-utils = { path = "../cairo-lang-test-utils", version = "1.0.0-alpha.7" }
diff --git a/crates/cairo-lang-sierra-generator/Cargo.toml b/crates/cairo-lang-sierra-generator/Cargo.toml
index 3d88f0e532e..0cb59af2780 100644
--- a/crates/cairo-lang-sierra-generator/Cargo.toml
+++ b/crates/cairo-lang-sierra-generator/Cargo.toml
@@ -10,24 +10,24 @@ description = "Sierra code generation from lowered Cairo representation."
 testing = []
 
 [dependencies]
-cairo-lang-debug = { path = "../cairo-lang-debug", version = "1.0.0-alpha.6" }
-cairo-lang-defs = { path = "../cairo-lang-defs", version = "1.0.0-alpha.6" }
-cairo-lang-diagnostics = { path = "../cairo-lang-diagnostics", version = "1.0.0-alpha.6" }
-cairo-lang-proc-macros = { path = "../cairo-lang-proc-macros", version = "1.0.0-alpha.6" }
-cairo-lang-filesystem = { path = "../cairo-lang-filesystem", version = "1.0.0-alpha.6" }
+cairo-lang-debug = { path = "../cairo-lang-debug", version = "1.0.0-alpha.7" }
+cairo-lang-defs = { path = "../cairo-lang-defs", version = "1.0.0-alpha.7" }
+cairo-lang-diagnostics = { path = "../cairo-lang-diagnostics", version = "1.0.0-alpha.7" }
+cairo-lang-proc-macros = { path = "../cairo-lang-proc-macros", version = "1.0.0-alpha.7" }
+cairo-lang-filesystem = { path = "../cairo-lang-filesystem", version = "1.0.0-alpha.7" }
 id-arena.workspace = true
 indexmap.workspace = true
 itertools.workspace = true
-cairo-lang-lowering = { path = "../cairo-lang-lowering", version = "1.0.0-alpha.6" }
+cairo-lang-lowering = { path = "../cairo-lang-lowering", version = "1.0.0-alpha.7" }
 num-bigint.workspace = true
-cairo-lang-parser = { path = "../cairo-lang-parser", version = "1.0.0-alpha.6" }
-cairo-lang-plugins = { path = "../cairo-lang-plugins", version = "1.0.0-alpha.6" }
+cairo-lang-parser = { path = "../cairo-lang-parser", version = "1.0.0-alpha.7" }
+cairo-lang-plugins = { path = "../cairo-lang-plugins", version = "1.0.0-alpha.7" }
 salsa.workspace = true
-cairo-lang-semantic = { path = "../cairo-lang-semantic", version = "1.0.0-alpha.6" }
-cairo-lang-sierra = { path = "../cairo-lang-sierra", version = "1.0.0-alpha.6" }
+cairo-lang-semantic = { path = "../cairo-lang-semantic", version = "1.0.0-alpha.7" }
+cairo-lang-sierra = { path = "../cairo-lang-sierra", version = "1.0.0-alpha.7" }
 smol_str.workspace = true
-cairo-lang-syntax = { path = "../cairo-lang-syntax", version = "1.0.0-alpha.6" }
-cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.6" }
+cairo-lang-syntax = { path = "../cairo-lang-syntax", version = "1.0.0-alpha.7" }
+cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.7" }
 
 [dev-dependencies]
 env_logger.workspace = true
@@ -36,5 +36,5 @@ log.workspace = true
 pretty_assertions.workspace = true
 cairo-lang-semantic = { path = "../cairo-lang-semantic", features = ["testing"] }
 test-case.workspace = true
-cairo-lang-test-utils = { path = "../cairo-lang-test-utils", version = "1.0.0-alpha.6" }
+cairo-lang-test-utils = { path = "../cairo-lang-test-utils", version = "1.0.0-alpha.7" }
 test-log.workspace = true
diff --git a/crates/cairo-lang-sierra-to-casm/Cargo.toml b/crates/cairo-lang-sierra-to-casm/Cargo.toml
index e5c37212160..49ec3402272 100644
--- a/crates/cairo-lang-sierra-to-casm/Cargo.toml
+++ b/crates/cairo-lang-sierra-to-casm/Cargo.toml
@@ -13,18 +13,18 @@ testing = []
 anyhow.workspace = true
 assert_matches.workspace = true
 cairo-felt.workspace = true
-cairo-lang-casm = { path = "../cairo-lang-casm", version = "1.0.0-alpha.6" }
+cairo-lang-casm = { path = "../cairo-lang-casm", version = "1.0.0-alpha.7" }
 clap.workspace = true
 indoc.workspace = true
 itertools.workspace = true
 log.workspace = true
 num-bigint.workspace = true
 num-traits.workspace = true
-cairo-lang-sierra = { path = "../cairo-lang-sierra", version = "1.0.0-alpha.6" }
-cairo-lang-sierra-ap-change = { path = "../cairo-lang-sierra-ap-change", version = "1.0.0-alpha.6" }
-cairo-lang-sierra-gas = { path = "../cairo-lang-sierra-gas", version = "1.0.0-alpha.6" }
+cairo-lang-sierra = { path = "../cairo-lang-sierra", version = "1.0.0-alpha.7" }
+cairo-lang-sierra-ap-change = { path = "../cairo-lang-sierra-ap-change", version = "1.0.0-alpha.7" }
+cairo-lang-sierra-gas = { path = "../cairo-lang-sierra-gas", version = "1.0.0-alpha.7" }
 thiserror.workspace = true
-cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.6" }
+cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.7" }
 
 [dev-dependencies]
 env_logger.workspace = true
diff --git a/crates/cairo-lang-sierra/Cargo.toml b/crates/cairo-lang-sierra/Cargo.toml
index f1f8670e33d..667b4650015 100644
--- a/crates/cairo-lang-sierra/Cargo.toml
+++ b/crates/cairo-lang-sierra/Cargo.toml
@@ -24,7 +24,7 @@ salsa.workspace = true
 serde.workspace = true
 sha3.workspace = true
 smol_str.workspace = true
-cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.6" }
+cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.7" }
 
 [dev-dependencies]
 assert_matches.workspace = true
diff --git a/crates/cairo-lang-starknet/Cargo.toml b/crates/cairo-lang-starknet/Cargo.toml
index 872a49354a0..753e270af32 100644
--- a/crates/cairo-lang-starknet/Cargo.toml
+++ b/crates/cairo-lang-starknet/Cargo.toml
@@ -9,24 +9,24 @@ description = "Starknet capabilities and utilities on top of Cairo."
 [dependencies]
 anyhow.workspace = true
 clap.workspace = true
-cairo-lang-compiler = { path = "../cairo-lang-compiler", version = "1.0.0-alpha.6" }
+cairo-lang-compiler = { path = "../cairo-lang-compiler", version = "1.0.0-alpha.7" }
 convert_case.workspace = true
-cairo-lang-casm = { path = "../cairo-lang-casm", version = "1.0.0-alpha.6" }
-cairo-lang-defs = { path = "../cairo-lang-defs", version = "1.0.0-alpha.6" }
-cairo-lang-diagnostics = { path = "../cairo-lang-diagnostics", version = "1.0.0-alpha.6" }
-cairo-lang-filesystem = { path = "../cairo-lang-filesystem", version = "1.0.0-alpha.6" }
+cairo-lang-casm = { path = "../cairo-lang-casm", version = "1.0.0-alpha.7" }
+cairo-lang-defs = { path = "../cairo-lang-defs", version = "1.0.0-alpha.7" }
+cairo-lang-diagnostics = { path = "../cairo-lang-diagnostics", version = "1.0.0-alpha.7" }
+cairo-lang-filesystem = { path = "../cairo-lang-filesystem", version = "1.0.0-alpha.7" }
 genco.workspace = true
 itertools.workspace = true
 log.workspace = true
-cairo-lang-semantic = { path = "../cairo-lang-semantic", version = "1.0.0-alpha.6" }
+cairo-lang-semantic = { path = "../cairo-lang-semantic", version = "1.0.0-alpha.7" }
 serde.workspace = true
 serde_json.workspace = true
-cairo-lang-sierra = { path = "../cairo-lang-sierra", version = "1.0.0-alpha.6" }
-cairo-lang-sierra-ap-change = { path = "../cairo-lang-sierra-ap-change", version = "1.0.0-alpha.6" }
-cairo-lang-sierra-generator = { path = "../cairo-lang-sierra-generator", version = "1.0.0-alpha.6" }
-cairo-lang-syntax = { path = "../cairo-lang-syntax", version = "1.0.0-alpha.6" }
-cairo-lang-sierra-gas = { path = "../cairo-lang-sierra-gas", version = "1.0.0-alpha.6" }
-cairo-lang-sierra-to-casm = { path = "../cairo-lang-sierra-to-casm", version = "1.0.0-alpha.6" }
+cairo-lang-sierra = { path = "../cairo-lang-sierra", version = "1.0.0-alpha.7" }
+cairo-lang-sierra-ap-change = { path = "../cairo-lang-sierra-ap-change", version = "1.0.0-alpha.7" }
+cairo-lang-sierra-generator = { path = "../cairo-lang-sierra-generator", version = "1.0.0-alpha.7" }
+cairo-lang-syntax = { path = "../cairo-lang-syntax", version = "1.0.0-alpha.7" }
+cairo-lang-sierra-gas = { path = "../cairo-lang-sierra-gas", version = "1.0.0-alpha.7" }
+cairo-lang-sierra-to-casm = { path = "../cairo-lang-sierra-to-casm", version = "1.0.0-alpha.7" }
 indoc.workspace = true
 sha3.workspace = true
 smol_str.workspace = true
@@ -35,18 +35,18 @@ num-bigint.workspace = true
 num-traits.workspace = true
 num-integer.workspace = true
 once_cell.workspace = true
-cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.6" }
-cairo-lang-lowering = { path = "../cairo-lang-lowering", version = "1.0.0-alpha.6" }
-cairo-lang-plugins = { path = "../cairo-lang-plugins", version = "1.0.0-alpha.6" }
-cairo-lang-parser = { path = "../cairo-lang-parser", version = "1.0.0-alpha.6" }
+cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.7" }
+cairo-lang-lowering = { path = "../cairo-lang-lowering", version = "1.0.0-alpha.7" }
+cairo-lang-plugins = { path = "../cairo-lang-plugins", version = "1.0.0-alpha.7" }
+cairo-lang-parser = { path = "../cairo-lang-parser", version = "1.0.0-alpha.7" }
 
 [dev-dependencies]
-cairo-lang-diagnostics = { path = "../cairo-lang-diagnostics", version = "1.0.0-alpha.6" }
+cairo-lang-diagnostics = { path = "../cairo-lang-diagnostics", version = "1.0.0-alpha.7" }
 env_logger.workspace = true
 pretty_assertions.workspace = true
 cairo-lang-semantic = { path = "../cairo-lang-semantic", features = ["testing"] }
 test-log.workspace = true
-cairo-lang-test-utils = { path = "../cairo-lang-test-utils", version = "1.0.0-alpha.6" }
+cairo-lang-test-utils = { path = "../cairo-lang-test-utils", version = "1.0.0-alpha.7" }
 test-case.workspace = true
 
 [[bin]]
diff --git a/crates/cairo-lang-starknet/src/sierra_version.rs b/crates/cairo-lang-starknet/src/sierra_version.rs
index 658cb88fd91..0518232b641 100644
--- a/crates/cairo-lang-starknet/src/sierra_version.rs
+++ b/crates/cairo-lang-starknet/src/sierra_version.rs
@@ -5,6 +5,6 @@ pub struct VersionId {
 
 impl VersionId {
     pub fn current_version_id() -> Self {
-        Self { version: "0.1.0".into() }
+        Self { version: "0.1.7".into() }
     }
 }
diff --git a/crates/cairo-lang-starknet/test_data/account.sierra.json b/crates/cairo-lang-starknet/test_data/account.sierra.json
index 3d11522ce8d..d6c6f0380e6 100644
--- a/crates/cairo-lang-starknet/test_data/account.sierra.json
+++ b/crates/cairo-lang-starknet/test_data/account.sierra.json
@@ -1,6 +1,6 @@
 {
   "sierra_program": [
-    "0x302e312e30",
+    "0x302e312e37",
     "0x43",
     "0x52616e6765436865636b",
     "0x0",
diff --git a/crates/cairo-lang-starknet/test_data/erc20.sierra.json b/crates/cairo-lang-starknet/test_data/erc20.sierra.json
index 9fdd51dfc8e..6181fbb22d5 100644
--- a/crates/cairo-lang-starknet/test_data/erc20.sierra.json
+++ b/crates/cairo-lang-starknet/test_data/erc20.sierra.json
@@ -1,6 +1,6 @@
 {
   "sierra_program": [
-    "0x302e312e30",
+    "0x302e312e37",
     "0x45",
     "0x52616e6765436865636b",
     "0x0",
diff --git a/crates/cairo-lang-starknet/test_data/hello_starknet.sierra.json b/crates/cairo-lang-starknet/test_data/hello_starknet.sierra.json
index 43ff22fa096..9e529dfd20b 100644
--- a/crates/cairo-lang-starknet/test_data/hello_starknet.sierra.json
+++ b/crates/cairo-lang-starknet/test_data/hello_starknet.sierra.json
@@ -1,6 +1,6 @@
 {
   "sierra_program": [
-    "0x302e312e30",
+    "0x302e312e37",
     "0x1b",
     "0x66656c74323532",
     "0x0",
diff --git a/crates/cairo-lang-starknet/test_data/minimal_contract.sierra.json b/crates/cairo-lang-starknet/test_data/minimal_contract.sierra.json
index d5c77add0fb..f3bf9262f98 100644
--- a/crates/cairo-lang-starknet/test_data/minimal_contract.sierra.json
+++ b/crates/cairo-lang-starknet/test_data/minimal_contract.sierra.json
@@ -1,6 +1,6 @@
 {
   "sierra_program": [
-    "0x302e312e30",
+    "0x302e312e37",
     "0xf",
     "0x52616e6765436865636b",
     "0x0",
diff --git a/crates/cairo-lang-starknet/test_data/test_contract.sierra.json b/crates/cairo-lang-starknet/test_data/test_contract.sierra.json
index c655269f019..c487b55ec35 100644
--- a/crates/cairo-lang-starknet/test_data/test_contract.sierra.json
+++ b/crates/cairo-lang-starknet/test_data/test_contract.sierra.json
@@ -1,6 +1,6 @@
 {
   "sierra_program": [
-    "0x302e312e30",
+    "0x302e312e37",
     "0x2d",
     "0x66656c74323532",
     "0x0",
diff --git a/crates/cairo-lang-starknet/test_data/token_bridge.sierra.json b/crates/cairo-lang-starknet/test_data/token_bridge.sierra.json
index 9ca04910fc7..590998cadcd 100644
--- a/crates/cairo-lang-starknet/test_data/token_bridge.sierra.json
+++ b/crates/cairo-lang-starknet/test_data/token_bridge.sierra.json
@@ -1,6 +1,6 @@
 {
   "sierra_program": [
-    "0x302e312e30",
+    "0x302e312e37",
     "0x3d",
     "0x52616e6765436865636b",
     "0x0",
diff --git a/crates/cairo-lang-syntax-codegen/Cargo.toml b/crates/cairo-lang-syntax-codegen/Cargo.toml
index f42f2b20e18..e118102f2d1 100644
--- a/crates/cairo-lang-syntax-codegen/Cargo.toml
+++ b/crates/cairo-lang-syntax-codegen/Cargo.toml
@@ -13,7 +13,7 @@ normal = ["cairo-lang-syntax"]
 genco.workspace = true
 log.workspace = true
 xshell.workspace = true
-cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.6" }
+cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.7" }
 
 [dev-dependencies]
 env_logger.workspace = true
diff --git a/crates/cairo-lang-syntax/Cargo.toml b/crates/cairo-lang-syntax/Cargo.toml
index 107b3f8a51e..c3b6f896498 100644
--- a/crates/cairo-lang-syntax/Cargo.toml
+++ b/crates/cairo-lang-syntax/Cargo.toml
@@ -7,11 +7,11 @@ license-file.workspace = true
 description = "Cairo syntax representation."
 
 [dependencies]
-cairo-lang-debug = { path = "../cairo-lang-debug", version = "1.0.0-alpha.6" }
-cairo-lang-filesystem = { path = "../cairo-lang-filesystem", version = "1.0.0-alpha.6" }
+cairo-lang-debug = { path = "../cairo-lang-debug", version = "1.0.0-alpha.7" }
+cairo-lang-filesystem = { path = "../cairo-lang-filesystem", version = "1.0.0-alpha.7" }
 salsa.workspace = true
 smol_str.workspace = true
-cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.6" }
+cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.7" }
 
 [dev-dependencies]
 env_logger.workspace = true
diff --git a/crates/cairo-lang-test-runner/Cargo.toml b/crates/cairo-lang-test-runner/Cargo.toml
index 81e0afd48f2..8378f4b2aff 100644
--- a/crates/cairo-lang-test-runner/Cargo.toml
+++ b/crates/cairo-lang-test-runner/Cargo.toml
@@ -10,30 +10,30 @@ description = "Cairo tests runner. Used to run tests written in Cairo."
 anyhow.workspace = true
 cairo-felt.workspace = true
 cairo-vm.workspace = true
-cairo-lang-casm = { path = "../cairo-lang-casm", version = "1.0.0-alpha.6" }
+cairo-lang-casm = { path = "../cairo-lang-casm", version = "1.0.0-alpha.7" }
 clap.workspace = true
 colored.workspace = true
-cairo-lang-compiler = { path = "../cairo-lang-compiler", version = "1.0.0-alpha.6" }
-cairo-lang-debug = { path = "../cairo-lang-debug", version = "1.0.0-alpha.6" }
-cairo-lang-defs = { path = "../cairo-lang-defs", version = "1.0.0-alpha.6" }
-cairo-lang-diagnostics = { path = "../cairo-lang-diagnostics", version = "1.0.0-alpha.6" }
-cairo-lang-filesystem = { path = "../cairo-lang-filesystem", version = "1.0.0-alpha.6" }
+cairo-lang-compiler = { path = "../cairo-lang-compiler", version = "1.0.0-alpha.7" }
+cairo-lang-debug = { path = "../cairo-lang-debug", version = "1.0.0-alpha.7" }
+cairo-lang-defs = { path = "../cairo-lang-defs", version = "1.0.0-alpha.7" }
+cairo-lang-diagnostics = { path = "../cairo-lang-diagnostics", version = "1.0.0-alpha.7" }
+cairo-lang-filesystem = { path = "../cairo-lang-filesystem", version = "1.0.0-alpha.7" }
 itertools.workspace = true
-cairo-lang-lowering = { path = "../cairo-lang-lowering", version = "1.0.0-alpha.6" }
+cairo-lang-lowering = { path = "../cairo-lang-lowering", version = "1.0.0-alpha.7" }
 num-bigint.workspace = true
-cairo-lang-plugins = { path = "../cairo-lang-plugins", version = "1.0.0-alpha.6" }
-cairo-lang-project = { path = "../cairo-lang-project", version = "1.0.0-alpha.6" }
+cairo-lang-plugins = { path = "../cairo-lang-plugins", version = "1.0.0-alpha.7" }
+cairo-lang-project = { path = "../cairo-lang-project", version = "1.0.0-alpha.7" }
 rayon.workspace = true
-cairo-lang-runner = { path = "../cairo-lang-runner", version = "1.0.0-alpha.6" }
+cairo-lang-runner = { path = "../cairo-lang-runner", version = "1.0.0-alpha.7" }
 salsa.workspace = true
-cairo-lang-semantic = { path = "../cairo-lang-semantic", version = "1.0.0-alpha.6" }
-cairo-lang-sierra = { path = "../cairo-lang-sierra", version = "1.0.0-alpha.6" }
-cairo-lang-sierra-generator = { path = "../cairo-lang-sierra-generator", version = "1.0.0-alpha.6" }
-cairo-lang-sierra-to-casm = { path = "../cairo-lang-sierra-to-casm", version = "1.0.0-alpha.6" }
-cairo-lang-starknet = { path = "../cairo-lang-starknet", version = "1.0.0-alpha.6" }
-cairo-lang-syntax = { path = "../cairo-lang-syntax", version = "1.0.0-alpha.6" }
+cairo-lang-semantic = { path = "../cairo-lang-semantic", version = "1.0.0-alpha.7" }
+cairo-lang-sierra = { path = "../cairo-lang-sierra", version = "1.0.0-alpha.7" }
+cairo-lang-sierra-generator = { path = "../cairo-lang-sierra-generator", version = "1.0.0-alpha.7" }
+cairo-lang-sierra-to-casm = { path = "../cairo-lang-sierra-to-casm", version = "1.0.0-alpha.7" }
+cairo-lang-starknet = { path = "../cairo-lang-starknet", version = "1.0.0-alpha.7" }
+cairo-lang-syntax = { path = "../cairo-lang-syntax", version = "1.0.0-alpha.7" }
 thiserror.workspace = true
-cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.6" }
+cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.7" }
 unescaper.workspace = true
 
 [[bin]]
diff --git a/crates/cairo-lang-test-utils/Cargo.toml b/crates/cairo-lang-test-utils/Cargo.toml
index c9e75ba514c..e3f5b990022 100644
--- a/crates/cairo-lang-test-utils/Cargo.toml
+++ b/crates/cairo-lang-test-utils/Cargo.toml
@@ -7,7 +7,7 @@ license-file.workspace = true
 description = "Utilities for writing tests in the Cairo compiler project."
 
 [dependencies]
-cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.6" }
+cairo-lang-utils = { path = "../cairo-lang-utils", version = "1.0.0-alpha.7" }
 log.workspace = true
 env_logger.workspace = true
 pretty_assertions.workspace = true
diff --git a/scripts/bump_version.sh b/scripts/bump_version.sh
index 23194252a3c..088dc19388b 100755
--- a/scripts/bump_version.sh
+++ b/scripts/bump_version.sh
@@ -1,5 +1,5 @@
 #!/bin/bash
 
-CURRENT_VERSION='1.0.0-alpha.6'
+CURRENT_VERSION='1.0.0-alpha.7'
 NEW_VERSION="$@"
 sed -i "s/$CURRENT_VERSION/$NEW_VERSION/g" $(find . -type f -iname "*.toml") ./scripts/bump_version.sh
diff --git a/scripts/release_crates.sh b/scripts/release_crates.sh
new file mode 100755
index 00000000000..ff65c6e46a7
--- /dev/null
+++ b/scripts/release_crates.sh
@@ -0,0 +1,27 @@
+cargo publish --package cairo-lang-utils; \
+cargo publish --package cairo-lang-test-utils; \
+cargo publish --package cairo-lang-casm; \
+cargo publish --package cairo-lang-debug; \
+cargo publish --package cairo-lang-proc-macros; \
+cargo publish --package cairo-lang-eq-solver; \
+cargo publish --package cairo-lang-filesystem; \
+cargo publish --package cairo-lang-diagnostics; \
+cargo publish --package cairo-lang-project; \
+cargo publish --package cairo-lang-sierra; \
+cargo publish --package cairo-lang-sierra-ap-change; \
+cargo publish --package cairo-lang-sierra-gas; \
+cargo publish --package cairo-lang-sierra-to-casm; \
+cargo publish --package cairo-lang-syntax; \
+cargo publish --package cairo-lang-syntax-codegen; \
+cargo publish --package cairo-lang-parser; \
+cargo publish --package cairo-lang-formatter; \
+cargo publish --package cairo-lang-defs; \
+cargo publish --package cairo-lang-semantic; \
+cargo publish --package cairo-lang-plugins; \
+cargo publish --package cairo-lang-lowering; \
+cargo publish --package cairo-lang-sierra-generator; \
+cargo publish --package cairo-lang-compiler; \
+cargo publish --package cairo-lang-runner; \
+cargo publish --package cairo-lang-starknet; \
+cargo publish --package cairo-lang-test-runner; \
+cargo publish --package cairo-lang-language-server
diff --git a/tests/Cargo.toml b/tests/Cargo.toml
index 14fa245c46b..6e039ef1441 100644
--- a/tests/Cargo.toml
+++ b/tests/Cargo.toml
@@ -9,29 +9,29 @@ description = ""
 [dev-dependencies]
 assert_matches.workspace = true
 cairo-felt.workspace = true
-cairo-lang-casm = { path = "../crates/cairo-lang-casm", version = "1.0.0-alpha.6" }
-cairo-lang-compiler = { path = "../crates/cairo-lang-compiler", version = "1.0.0-alpha.6" }
-cairo-lang-defs = { path = "../crates/cairo-lang-defs", version = "1.0.0-alpha.6" }
-cairo-lang-diagnostics = { path = "../crates/cairo-lang-diagnostics", version = "1.0.0-alpha.6" }
-cairo-lang-lowering = { path = "../crates/cairo-lang-lowering", version = "1.0.0-alpha.6" }
+cairo-lang-casm = { path = "../crates/cairo-lang-casm", version = "1.0.0-alpha.7" }
+cairo-lang-compiler = { path = "../crates/cairo-lang-compiler", version = "1.0.0-alpha.7" }
+cairo-lang-defs = { path = "../crates/cairo-lang-defs", version = "1.0.0-alpha.7" }
+cairo-lang-diagnostics = { path = "../crates/cairo-lang-diagnostics", version = "1.0.0-alpha.7" }
+cairo-lang-lowering = { path = "../crates/cairo-lang-lowering", version = "1.0.0-alpha.7" }
 env_logger.workspace = true
-cairo-lang-filesystem = { path = "../crates/cairo-lang-filesystem", version = "1.0.0-alpha.6" }
+cairo-lang-filesystem = { path = "../crates/cairo-lang-filesystem", version = "1.0.0-alpha.7" }
 itertools.workspace = true
 once_cell.workspace = true
 log.workspace = true
 num-bigint.workspace = true
-cairo-lang-parser = { path = "../crates/cairo-lang-parser", version = "1.0.0-alpha.6" }
-cairo-lang-plugins = { path = "../crates/cairo-lang-plugins", version = "1.0.0-alpha.6" }
+cairo-lang-parser = { path = "../crates/cairo-lang-parser", version = "1.0.0-alpha.7" }
+cairo-lang-plugins = { path = "../crates/cairo-lang-plugins", version = "1.0.0-alpha.7" }
 pretty_assertions.workspace = true
-cairo-lang-runner = { path = "../crates/cairo-lang-runner", version = "1.0.0-alpha.6" }
-cairo-lang-sierra = { path = "../crates/cairo-lang-sierra", version = "1.0.0-alpha.6" }
-cairo-lang-sierra-gas = { path = "../crates/cairo-lang-sierra-gas", version = "1.0.0-alpha.6" }
+cairo-lang-runner = { path = "../crates/cairo-lang-runner", version = "1.0.0-alpha.7" }
+cairo-lang-sierra = { path = "../crates/cairo-lang-sierra", version = "1.0.0-alpha.7" }
+cairo-lang-sierra-gas = { path = "../crates/cairo-lang-sierra-gas", version = "1.0.0-alpha.7" }
 cairo-lang-semantic = { path = "../crates/cairo-lang-semantic", features = ["testing"] }
 cairo-lang-sierra-generator = { path = "../crates/cairo-lang-sierra-generator", features = ["testing"] }
 cairo-lang-sierra-to-casm = { path = "../crates/cairo-lang-sierra-to-casm", features = ["testing"] }
-cairo-lang-syntax = { path = "../crates/cairo-lang-syntax", version = "1.0.0-alpha.6" }
-cairo-lang-test-utils = { path = "../crates/cairo-lang-test-utils", version = "1.0.0-alpha.6" }
-cairo-lang-utils = { path = "../crates/cairo-lang-utils", version = "1.0.0-alpha.6" }
+cairo-lang-syntax = { path = "../crates/cairo-lang-syntax", version = "1.0.0-alpha.7" }
+cairo-lang-test-utils = { path = "../crates/cairo-lang-test-utils", version = "1.0.0-alpha.7" }
+cairo-lang-utils = { path = "../crates/cairo-lang-utils", version = "1.0.0-alpha.7" }
 rstest.workspace = true
 salsa.workspace = true
 test-case.workspace = true