From 549ab682e29e78d176704ad79479eb64ad5fc4c5 Mon Sep 17 00:00:00 2001 From: Ralf Anton Beier Date: Mon, 25 May 2026 07:24:36 +0200 Subject: [PATCH] =?UTF-8?q?fix(release):=20sweep=20intra-workspace=20path-?= =?UTF-8?q?dep=20pins=200.6.0=20=E2=86=92=200.7.0?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The Cargo.toml workspace-package version was bumped to 0.7.0 in PR #142, but the per-crate `version = "0.6.0"` pins on path dependencies (introduced in #136 to give `cargo publish` real crates.io coordinates to rewrite to) were not swept. Cargo refuses to resolve `synth-backend = "^0.6.0"` against the local 0.7.0 path-dep, breaking both release.yml and publish-to-crates-io.yml on the v0.7.0 tag. This commit sweeps all 23 intra-workspace `version = "0.6.0"` pins (across 8 crate manifests) to `"0.7.0"`, and bumps the MODULE.bazel `module(version = ...)` declaration to match. The v0.7.0 tag was deleted from origin (no GitHub Release was produced — release.yml's build matrix failed before the 'Create GitHub Release' job, which was skipped) and will be re-pushed against this commit. Local validation: cargo metadata --no-deps # resolves at 0.7.0 cargo build --release -p synth-cli # green Follow-up tracked separately: docs/release-process.md should gain an explicit 'sweep intra-workspace pins' step (or a CI gate that fails when workspace version diverges from path-dep pins) so v0.8.0 doesn't repeat this. --- Cargo.lock | 34 +++++++++++++------------- MODULE.bazel | 2 +- crates/synth-backend-awsm/Cargo.toml | 2 +- crates/synth-backend-riscv/Cargo.toml | 4 +-- crates/synth-backend-wasker/Cargo.toml | 2 +- crates/synth-backend/Cargo.toml | 4 +-- crates/synth-cli/Cargo.toml | 16 ++++++------ crates/synth-frontend/Cargo.toml | 2 +- crates/synth-opt/Cargo.toml | 2 +- crates/synth-synthesis/Cargo.toml | 6 ++--- crates/synth-verify/Cargo.toml | 8 +++--- 11 files changed, 41 insertions(+), 41 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index eeefbe8..5ca7264 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -1890,14 +1890,14 @@ dependencies = [ [[package]] name = "synth-abi" -version = "0.6.0" +version = "0.7.0" dependencies = [ "synth-wit", ] [[package]] name = "synth-analysis" -version = "0.6.0" +version = "0.7.0" dependencies = [ "anyhow", "synth-core", @@ -1906,7 +1906,7 @@ dependencies = [ [[package]] name = "synth-backend" -version = "0.6.0" +version = "0.7.0" dependencies = [ "anyhow", "synth-core", @@ -1916,7 +1916,7 @@ dependencies = [ [[package]] name = "synth-backend-awsm" -version = "0.6.0" +version = "0.7.0" dependencies = [ "anyhow", "synth-core", @@ -1925,7 +1925,7 @@ dependencies = [ [[package]] name = "synth-backend-riscv" -version = "0.6.0" +version = "0.7.0" dependencies = [ "anyhow", "proptest", @@ -1937,7 +1937,7 @@ dependencies = [ [[package]] name = "synth-backend-wasker" -version = "0.6.0" +version = "0.7.0" dependencies = [ "anyhow", "synth-core", @@ -1946,11 +1946,11 @@ dependencies = [ [[package]] name = "synth-cfg" -version = "0.6.0" +version = "0.7.0" [[package]] name = "synth-cli" -version = "0.6.0" +version = "0.7.0" dependencies = [ "anyhow", "clap", @@ -1971,7 +1971,7 @@ dependencies = [ [[package]] name = "synth-core" -version = "0.6.0" +version = "0.7.0" dependencies = [ "anyhow", "serde", @@ -1984,7 +1984,7 @@ dependencies = [ [[package]] name = "synth-frontend" -version = "0.6.0" +version = "0.7.0" dependencies = [ "anyhow", "synth-core", @@ -1998,14 +1998,14 @@ dependencies = [ [[package]] name = "synth-memory" -version = "0.6.0" +version = "0.7.0" dependencies = [ "bitflags", ] [[package]] name = "synth-opt" -version = "0.6.0" +version = "0.7.0" dependencies = [ "criterion", "synth-cfg", @@ -2013,11 +2013,11 @@ dependencies = [ [[package]] name = "synth-qemu" -version = "0.6.0" +version = "0.7.0" [[package]] name = "synth-synthesis" -version = "0.6.0" +version = "0.7.0" dependencies = [ "anyhow", "proptest", @@ -2032,7 +2032,7 @@ dependencies = [ [[package]] name = "synth-test" -version = "0.6.0" +version = "0.7.0" dependencies = [ "anyhow", "clap", @@ -2048,7 +2048,7 @@ dependencies = [ [[package]] name = "synth-verify" -version = "0.6.0" +version = "0.7.0" dependencies = [ "anyhow", "chrono", @@ -2066,7 +2066,7 @@ dependencies = [ [[package]] name = "synth-wit" -version = "0.6.0" +version = "0.7.0" [[package]] name = "tempfile" diff --git a/MODULE.bazel b/MODULE.bazel index d7e0727..10e27a8 100644 --- a/MODULE.bazel +++ b/MODULE.bazel @@ -7,7 +7,7 @@ module( name = "synth", # Kept in lockstep with [workspace.package] version in Cargo.toml. # Both are bumped pre-tag — see docs/release-process.md. - version = "0.6.0", + version = "0.7.0", ) # Bazel dependencies diff --git a/crates/synth-backend-awsm/Cargo.toml b/crates/synth-backend-awsm/Cargo.toml index 1a676d5..65fb167 100644 --- a/crates/synth-backend-awsm/Cargo.toml +++ b/crates/synth-backend-awsm/Cargo.toml @@ -11,6 +11,6 @@ categories.workspace = true description = "aWsm backend integration for the Synth compiler" [dependencies] -synth-core = { path = "../synth-core", version = "0.6.0" } +synth-core = { path = "../synth-core", version = "0.7.0" } anyhow.workspace = true thiserror.workspace = true diff --git a/crates/synth-backend-riscv/Cargo.toml b/crates/synth-backend-riscv/Cargo.toml index 30601c7..7206570 100644 --- a/crates/synth-backend-riscv/Cargo.toml +++ b/crates/synth-backend-riscv/Cargo.toml @@ -11,8 +11,8 @@ categories.workspace = true description = "RISC-V encoder, ELF builder, PMP allocator, and bare-metal startup for synth" [dependencies] -synth-core = { path = "../synth-core", version = "0.6.0" } -synth-synthesis = { path = "../synth-synthesis", version = "0.6.0" } +synth-core = { path = "../synth-core", version = "0.7.0" } +synth-synthesis = { path = "../synth-synthesis", version = "0.7.0" } anyhow.workspace = true thiserror.workspace = true tracing.workspace = true diff --git a/crates/synth-backend-wasker/Cargo.toml b/crates/synth-backend-wasker/Cargo.toml index a6b6715..6f41077 100644 --- a/crates/synth-backend-wasker/Cargo.toml +++ b/crates/synth-backend-wasker/Cargo.toml @@ -11,6 +11,6 @@ categories.workspace = true description = "Wasker backend integration for the Synth compiler" [dependencies] -synth-core = { path = "../synth-core", version = "0.6.0" } +synth-core = { path = "../synth-core", version = "0.7.0" } anyhow.workspace = true thiserror.workspace = true diff --git a/crates/synth-backend/Cargo.toml b/crates/synth-backend/Cargo.toml index 2b74b08..1ce2c1a 100644 --- a/crates/synth-backend/Cargo.toml +++ b/crates/synth-backend/Cargo.toml @@ -15,7 +15,7 @@ default = ["arm-cortex-m"] arm-cortex-m = ["synth-synthesis"] [dependencies] -synth-core = { path = "../synth-core", version = "0.6.0" } -synth-synthesis = { path = "../synth-synthesis", version = "0.6.0", optional = true } +synth-core = { path = "../synth-core", version = "0.7.0" } +synth-synthesis = { path = "../synth-synthesis", version = "0.7.0", optional = true } anyhow.workspace = true thiserror.workspace = true diff --git a/crates/synth-cli/Cargo.toml b/crates/synth-cli/Cargo.toml index 1e98854..2658627 100644 --- a/crates/synth-cli/Cargo.toml +++ b/crates/synth-cli/Cargo.toml @@ -27,18 +27,18 @@ verify = ["synth-verify"] # Path deps carry `version` so `cargo publish` rewrites them to the # crates.io coordinate. Bumping the workspace version requires # updating these in lockstep — see docs/release-process.md. -synth-core = { path = "../synth-core", version = "0.6.0" } -synth-frontend = { path = "../synth-frontend", version = "0.6.0" } -synth-synthesis = { path = "../synth-synthesis", version = "0.6.0" } -synth-backend = { path = "../synth-backend", version = "0.6.0" } +synth-core = { path = "../synth-core", version = "0.7.0" } +synth-frontend = { path = "../synth-frontend", version = "0.7.0" } +synth-synthesis = { path = "../synth-synthesis", version = "0.7.0" } +synth-backend = { path = "../synth-backend", version = "0.7.0" } # Optional external backends -synth-backend-awsm = { path = "../synth-backend-awsm", version = "0.6.0", optional = true } -synth-backend-wasker = { path = "../synth-backend-wasker", version = "0.6.0", optional = true } -synth-backend-riscv = { path = "../synth-backend-riscv", version = "0.6.0", optional = true } +synth-backend-awsm = { path = "../synth-backend-awsm", version = "0.7.0", optional = true } +synth-backend-wasker = { path = "../synth-backend-wasker", version = "0.7.0", optional = true } +synth-backend-riscv = { path = "../synth-backend-riscv", version = "0.7.0", optional = true } # Optional verification (requires z3) -synth-verify = { path = "../synth-verify", version = "0.6.0", optional = true, features = ["z3-solver", "arm"] } +synth-verify = { path = "../synth-verify", version = "0.7.0", optional = true, features = ["z3-solver", "arm"] } # Optional PulseEngine WASM optimizer # Uncomment when loom crate is available: diff --git a/crates/synth-frontend/Cargo.toml b/crates/synth-frontend/Cargo.toml index 4525f05..7aa7827 100644 --- a/crates/synth-frontend/Cargo.toml +++ b/crates/synth-frontend/Cargo.toml @@ -14,7 +14,7 @@ description = "WASM/WAT parser and module decoder frontend for the Synth compile # Internal path deps carry an explicit version so `cargo publish` # can rewrite to the crates.io coordinate. `path` is used for # in-workspace builds; `version` is what crates.io sees. -synth-core = { path = "../synth-core", version = "0.6.0" } +synth-core = { path = "../synth-core", version = "0.7.0" } wasmparser.workspace = true wasm-encoder.workspace = true diff --git a/crates/synth-opt/Cargo.toml b/crates/synth-opt/Cargo.toml index c18023e..85ede91 100644 --- a/crates/synth-opt/Cargo.toml +++ b/crates/synth-opt/Cargo.toml @@ -11,7 +11,7 @@ categories.workspace = true description = "Peephole optimization passes for the Synth compiler" [dependencies] -synth-cfg = { path = "../synth-cfg", version = "0.6.0" } +synth-cfg = { path = "../synth-cfg", version = "0.7.0" } [dev-dependencies] criterion = { version = "0.5", features = ["html_reports"] } diff --git a/crates/synth-synthesis/Cargo.toml b/crates/synth-synthesis/Cargo.toml index 8d20aed..8ae6438 100644 --- a/crates/synth-synthesis/Cargo.toml +++ b/crates/synth-synthesis/Cargo.toml @@ -11,9 +11,9 @@ categories.workspace = true description = "WASM-to-ARM instruction selection and peephole optimizer" [dependencies] -synth-core = { path = "../synth-core", version = "0.6.0" } -synth-cfg = { path = "../synth-cfg", version = "0.6.0" } -synth-opt = { path = "../synth-opt", version = "0.6.0" } +synth-core = { path = "../synth-core", version = "0.7.0" } +synth-cfg = { path = "../synth-cfg", version = "0.7.0" } +synth-opt = { path = "../synth-opt", version = "0.7.0" } serde.workspace = true anyhow.workspace = true thiserror.workspace = true diff --git a/crates/synth-verify/Cargo.toml b/crates/synth-verify/Cargo.toml index cdae56e..de1900b 100644 --- a/crates/synth-verify/Cargo.toml +++ b/crates/synth-verify/Cargo.toml @@ -17,12 +17,12 @@ arm = ["synth-synthesis"] [dependencies] # Core dependencies (always required) -synth-core = { path = "../synth-core", version = "0.6.0" } -synth-cfg = { path = "../synth-cfg", version = "0.6.0" } -synth-opt = { path = "../synth-opt", version = "0.6.0" } +synth-core = { path = "../synth-core", version = "0.7.0" } +synth-cfg = { path = "../synth-cfg", version = "0.7.0" } +synth-opt = { path = "../synth-opt", version = "0.7.0" } # ARM synthesis (optional, behind 'arm' feature) -synth-synthesis = { path = "../synth-synthesis", version = "0.6.0", optional = true } +synth-synthesis = { path = "../synth-synthesis", version = "0.7.0", optional = true } # SMT solver for formal verification z3 = { version = "0.19", features = ["static-link-z3"], optional = true }