Skip to content

Commit 651f542

Browse files
oriziorizi
committed
Version bump and cairo-vm bump for dev release.
1 parent dc34163 commit 651f542

File tree

87 files changed

+409
-362
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

87 files changed

+409
-362
lines changed

‎Cargo.lock‎

Lines changed: 50 additions & 51 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎Cargo.toml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -91,7 +91,7 @@ license = "Apache-2.0"
9191
license-file = "LICENSE"
9292
repository = "https://github.com/starkware-libs/cairo/"
9393
rust-version = "1.86"
94-
version = "2.12.3"
94+
version = "2.13.0-dev.0"
9595

9696
[workspace.dependencies]
9797
anyhow = "1.0.98"
@@ -103,7 +103,7 @@ assert_matches = "1.5"
103103
bimap = "0.6.3"
104104
bincode = { version = "2", features = ["serde"] }
105105
cairo-lang-primitive-token = "1"
106-
cairo-vm = { version = "2.5.0", features = ["mod_builtin"] }
106+
cairo-vm = { version = "3.0.0-rc.3", features = ["mod_builtin"] }
107107
clap = { version = "4.5.42", features = ["derive"] }
108108
colored = "3.0.0"
109109
const-fnv1a-hash = "1.1.0"

‎corelib/Scarb.lock‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,4 +3,4 @@ version = 1
33

44
[[package]]
55
name = "core"
6-
version = "2.12.3"
6+
version = "2.13.0-dev.0"

‎corelib/Scarb.toml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
[package]
22
name = "core"
3-
version = "2.12.3"
3+
version = "2.13.0-dev.0"
44
edition = "2024_07"
55
experimental-features = ["associated_item_constraints", "coupons", "negative_impls"]
66

@@ -9,4 +9,4 @@ experimental-features = ["associated_item_constraints", "coupons", "negative_imp
99
no-core = true
1010

1111
[dev-dependencies]
12-
cairo_test = "2.12.3"
12+
cairo_test = "2.13.0-dev.0"

‎corelib/cairo_project.toml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ core = "src"
33

44
[config.global]
55
edition = "2024_07"
6-
version = "2.12.3"
6+
version = "2.13.0-dev.0"
77

88
[config.global.experimental_features]
99
associated_item_constraints = true

‎crates/bin/cairo-compile/Cargo.toml‎

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,8 @@ clap.workspace = true
1212
log.workspace = true
1313
tracing.workspace = true
1414

15-
cairo-lang-compiler = { path = "../../cairo-lang-compiler", version = "~2.12.3" }
16-
cairo-lang-lowering = { path = "../../cairo-lang-lowering", version = "~2.12.3" }
17-
cairo-lang-utils = { path = "../../cairo-lang-utils", version = "~2.12.3", features = ["tracing"] }
15+
cairo-lang-compiler = { path = "../../cairo-lang-compiler", version = "~2.13.0-dev.0" }
16+
cairo-lang-lowering = { path = "../../cairo-lang-lowering", version = "~2.13.0-dev.0" }
17+
cairo-lang-utils = { path = "../../cairo-lang-utils", version = "~2.13.0-dev.0", features = [
18+
"tracing",
19+
] }

‎crates/bin/cairo-execute/Cargo.toml‎

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -9,14 +9,14 @@ description = "Executable for creating executables and running them for the Cair
99
[dependencies]
1010
anyhow.workspace = true
1111
bincode.workspace = true
12-
cairo-lang-compiler = { path = "../../cairo-lang-compiler", version = "~2.12.3" }
13-
cairo-lang-debug = { path = "../../cairo-lang-debug", version = "~2.12.3" }
14-
cairo-lang-executable = { path = "../../cairo-lang-executable", version = "~2.12.3" }
15-
cairo-lang-execute-utils = { path = "../../cairo-lang-execute-utils", version = "~2.12.3" }
16-
cairo-lang-filesystem = { path = "../../cairo-lang-filesystem", version = "~2.12.3" }
17-
cairo-lang-runnable-utils = { path = "../../cairo-lang-runnable-utils", version = "~2.12.3" }
18-
cairo-lang-runner = { path = "../../cairo-lang-runner", version = "~2.12.3" }
19-
cairo-lang-sierra-generator = { path = "../../cairo-lang-sierra-generator", version = "~2.12.3" }
12+
cairo-lang-compiler = { path = "../../cairo-lang-compiler", version = "~2.13.0-dev.0" }
13+
cairo-lang-debug = { path = "../../cairo-lang-debug", version = "~2.13.0-dev.0" }
14+
cairo-lang-executable = { path = "../../cairo-lang-executable", version = "~2.13.0-dev.0" }
15+
cairo-lang-execute-utils = { path = "../../cairo-lang-execute-utils", version = "~2.13.0-dev.0" }
16+
cairo-lang-filesystem = { path = "../../cairo-lang-filesystem", version = "~2.13.0-dev.0" }
17+
cairo-lang-runnable-utils = { path = "../../cairo-lang-runnable-utils", version = "~2.13.0-dev.0" }
18+
cairo-lang-runner = { path = "../../cairo-lang-runner", version = "~2.13.0-dev.0" }
19+
cairo-lang-sierra-generator = { path = "../../cairo-lang-sierra-generator", version = "~2.13.0-dev.0" }
2020
cairo-vm = { workspace = true, features = ["clap"] }
2121
clap.workspace = true
2222
num-bigint.workspace = true

‎crates/bin/cairo-format/Cargo.toml‎

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -13,5 +13,7 @@ ignore.workspace = true
1313
log.workspace = true
1414
tracing.workspace = true
1515

16-
cairo-lang-formatter = { path = "../../cairo-lang-formatter", version = "~2.12.3" }
17-
cairo-lang-utils = { path = "../../cairo-lang-utils", version = "~2.12.3", features = ["tracing"] }
16+
cairo-lang-formatter = { path = "../../cairo-lang-formatter", version = "~2.13.0-dev.0" }
17+
cairo-lang-utils = { path = "../../cairo-lang-utils", version = "~2.13.0-dev.0", features = [
18+
"tracing",
19+
] }

‎crates/bin/cairo-run/Cargo.toml‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -10,9 +10,9 @@ description = "Runner executable for the Cairo programming language"
1010
anyhow.workspace = true
1111
clap.workspace = true
1212

13-
cairo-lang-compiler = { path = "../../cairo-lang-compiler", version = "~2.12.3" }
14-
cairo-lang-diagnostics = { path = "../../cairo-lang-diagnostics", version = "~2.12.3" }
15-
cairo-lang-filesystem = { path = "../../cairo-lang-filesystem", version = "~2.12.3" }
16-
cairo-lang-runner = { path = "../../cairo-lang-runner", version = "~2.12.3" }
17-
cairo-lang-sierra-generator = { path = "../../cairo-lang-sierra-generator", version = "~2.12.3" }
18-
cairo-lang-starknet = { path = "../../cairo-lang-starknet", version = "~2.12.3" }
13+
cairo-lang-compiler = { path = "../../cairo-lang-compiler", version = "~2.13.0-dev.0" }
14+
cairo-lang-diagnostics = { path = "../../cairo-lang-diagnostics", version = "~2.13.0-dev.0" }
15+
cairo-lang-filesystem = { path = "../../cairo-lang-filesystem", version = "~2.13.0-dev.0" }
16+
cairo-lang-runner = { path = "../../cairo-lang-runner", version = "~2.13.0-dev.0" }
17+
cairo-lang-sierra-generator = { path = "../../cairo-lang-sierra-generator", version = "~2.13.0-dev.0" }
18+
cairo-lang-starknet = { path = "../../cairo-lang-starknet", version = "~2.13.0-dev.0" }

‎crates/bin/cairo-size-profiler/Cargo.toml‎

Lines changed: 14 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -10,19 +10,19 @@ description = "Runner executable for the Cairo programming language"
1010
anyhow.workspace = true
1111
clap.workspace = true
1212

13-
cairo-lang-compiler = { path = "../../cairo-lang-compiler", version = "~2.12.3" }
14-
cairo-lang-defs = { path = "../../cairo-lang-defs", version = "~2.12.3" }
15-
cairo-lang-diagnostics = { path = "../../cairo-lang-diagnostics", version = "~2.12.3" }
16-
cairo-lang-executable = { path = "../../cairo-lang-executable", version = "~2.12.3" }
17-
cairo-lang-executable-plugin = { path = "../../cairo-lang-executable-plugin", version = "~2.12.3" }
18-
cairo-lang-filesystem = { path = "../../cairo-lang-filesystem", version = "~2.12.3" }
19-
cairo-lang-lowering = { path = "../../cairo-lang-lowering", version = "~2.12.3" }
20-
cairo-lang-runnable-utils = { path = "../../cairo-lang-runnable-utils", version = "~2.12.3" }
21-
cairo-lang-runner = { path = "../../cairo-lang-runner", version = "~2.12.3" }
22-
cairo-lang-sierra = { path = "../../cairo-lang-sierra", version = "~2.12.3" }
23-
cairo-lang-sierra-generator = { path = "../../cairo-lang-sierra-generator", version = "~2.12.3" }
24-
cairo-lang-starknet = { path = "../../cairo-lang-starknet", version = "~2.12.3" }
25-
cairo-lang-syntax = { path = "../../cairo-lang-syntax", version = "~2.12.3" }
26-
cairo-lang-utils = { path = "../../cairo-lang-utils", version = "~2.12.3" }
13+
cairo-lang-compiler = { path = "../../cairo-lang-compiler", version = "~2.13.0-dev.0" }
14+
cairo-lang-defs = { path = "../../cairo-lang-defs", version = "~2.13.0-dev.0" }
15+
cairo-lang-diagnostics = { path = "../../cairo-lang-diagnostics", version = "~2.13.0-dev.0" }
16+
cairo-lang-executable = { path = "../../cairo-lang-executable", version = "~2.13.0-dev.0" }
17+
cairo-lang-executable-plugin = { path = "../../cairo-lang-executable-plugin", version = "~2.13.0-dev.0" }
18+
cairo-lang-filesystem = { path = "../../cairo-lang-filesystem", version = "~2.13.0-dev.0" }
19+
cairo-lang-lowering = { path = "../../cairo-lang-lowering", version = "~2.13.0-dev.0" }
20+
cairo-lang-runnable-utils = { path = "../../cairo-lang-runnable-utils", version = "~2.13.0-dev.0" }
21+
cairo-lang-runner = { path = "../../cairo-lang-runner", version = "~2.13.0-dev.0" }
22+
cairo-lang-sierra = { path = "../../cairo-lang-sierra", version = "~2.13.0-dev.0" }
23+
cairo-lang-sierra-generator = { path = "../../cairo-lang-sierra-generator", version = "~2.13.0-dev.0" }
24+
cairo-lang-starknet = { path = "../../cairo-lang-starknet", version = "~2.13.0-dev.0" }
25+
cairo-lang-syntax = { path = "../../cairo-lang-syntax", version = "~2.13.0-dev.0" }
26+
cairo-lang-utils = { path = "../../cairo-lang-utils", version = "~2.13.0-dev.0" }
2727
itertools = { workspace = true, default-features = true }
2828
salsa.workspace = true

0 commit comments

Comments
 (0)