diff --git a/Cargo.lock b/Cargo.lock
index 4fa57e0ae..a7d9161b4 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -367,7 +367,7 @@ dependencies = [
 
 [[package]]
 name = "cargo-miden"
-version = "0.5.0"
+version = "0.5.1"
 dependencies = [
  "anyhow",
  "cargo_metadata",
@@ -2174,7 +2174,7 @@ dependencies = [
 
 [[package]]
 name = "miden"
-version = "0.7.0"
+version = "0.7.1"
 dependencies = [
  "miden-base",
  "miden-base-sys",
@@ -2234,7 +2234,7 @@ dependencies = [
 
 [[package]]
 name = "miden-base"
-version = "0.7.0"
+version = "0.7.1"
 dependencies = [
  "miden-base-macros",
  "miden-base-sys",
@@ -2243,7 +2243,7 @@ dependencies = [
 
 [[package]]
 name = "miden-base-macros"
-version = "0.7.0"
+version = "0.7.1"
 dependencies = [
  "heck",
  "miden-objects",
@@ -2256,7 +2256,7 @@ dependencies = [
 
 [[package]]
 name = "miden-base-sys"
-version = "0.7.0"
+version = "0.8.0"
 dependencies = [
  "miden-stdlib-sys",
 ]
@@ -2435,7 +2435,7 @@ dependencies = [
 
 [[package]]
 name = "miden-integration-node-tests"
-version = "0.5.0"
+version = "0.5.1"
 dependencies = [
  "anyhow",
  "fs2",
@@ -2454,7 +2454,7 @@ dependencies = [
 
 [[package]]
 name = "miden-integration-tests"
-version = "0.5.0"
+version = "0.5.1"
 dependencies = [
  "anyhow",
  "blake3",
@@ -2683,7 +2683,7 @@ dependencies = [
 
 [[package]]
 name = "miden-stdlib-sys"
-version = "0.7.0"
+version = "0.7.1"
 
 [[package]]
 name = "miden-thiserror"
@@ -2769,7 +2769,7 @@ dependencies = [
 
 [[package]]
 name = "midenc"
-version = "0.5.0"
+version = "0.5.1"
 dependencies = [
  "env_logger",
  "human-panic",
@@ -2778,7 +2778,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-benchmark-runner"
-version = "0.5.0"
+version = "0.5.1"
 dependencies = [
  "anyhow",
  "clap",
@@ -2787,7 +2787,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-codegen-masm"
-version = "0.5.0"
+version = "0.5.1"
 dependencies = [
  "env_logger",
  "inventory",
@@ -2817,7 +2817,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-compile"
-version = "0.5.0"
+version = "0.5.1"
 dependencies = [
  "clap",
  "inventory",
@@ -2837,7 +2837,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-dialect-arith"
-version = "0.5.0"
+version = "0.5.1"
 dependencies = [
  "midenc-hir",
  "paste",
@@ -2845,7 +2845,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-dialect-cf"
-version = "0.5.0"
+version = "0.5.1"
 dependencies = [
  "log",
  "midenc-dialect-arith",
@@ -2854,7 +2854,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-dialect-hir"
-version = "0.5.0"
+version = "0.5.1"
 dependencies = [
  "env_logger",
  "log",
@@ -2868,7 +2868,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-dialect-scf"
-version = "0.5.0"
+version = "0.5.1"
 dependencies = [
  "bitvec",
  "env_logger",
@@ -2883,14 +2883,14 @@ dependencies = [
 
 [[package]]
 name = "midenc-dialect-ub"
-version = "0.5.0"
+version = "0.5.1"
 dependencies = [
  "midenc-hir",
 ]
 
 [[package]]
 name = "midenc-driver"
-version = "0.5.0"
+version = "0.5.1"
 dependencies = [
  "clap",
  "log",
@@ -2902,7 +2902,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-expect-test"
-version = "0.5.0"
+version = "0.5.1"
 dependencies = [
  "once_cell",
  "similar",
@@ -2910,7 +2910,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-frontend-wasm"
-version = "0.5.0"
+version = "0.5.1"
 dependencies = [
  "addr2line 0.24.2",
  "anyhow",
@@ -2934,7 +2934,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-hir"
-version = "0.5.0"
+version = "0.5.1"
 dependencies = [
  "anyhow",
  "bitflags",
@@ -2962,7 +2962,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-hir-analysis"
-version = "0.5.0"
+version = "0.5.1"
 dependencies = [
  "bitvec",
  "blink-alloc",
@@ -2977,7 +2977,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-hir-eval"
-version = "0.5.0"
+version = "0.5.1"
 dependencies = [
  "log",
  "miden-thiserror",
@@ -2992,7 +2992,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-hir-macros"
-version = "0.5.0"
+version = "0.5.1"
 dependencies = [
  "Inflector",
  "darling",
@@ -3003,7 +3003,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-hir-symbol"
-version = "0.5.0"
+version = "0.5.1"
 dependencies = [
  "Inflector",
  "compact_str 0.9.0",
@@ -3019,7 +3019,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-hir-transform"
-version = "0.5.0"
+version = "0.5.1"
 dependencies = [
  "log",
  "midenc-hir",
@@ -3042,7 +3042,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-session"
-version = "0.5.0"
+version = "0.5.1"
 dependencies = [
  "anyhow",
  "clap",
diff --git a/Cargo.toml b/Cargo.toml
index 95cabac26..99ed6581d 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -27,7 +27,7 @@ exclude = [
 ]
 
 [workspace.package]
-version = "0.5.0"
+version = "0.5.1"
 rust-version = "1.90"
 authors = ["Miden contributors"]
 description = "An intermediate representation and compiler for Miden Assembly"
@@ -131,23 +131,23 @@ wasmparser = { version = "0.227", default-features = false, features = [
 ] }
 
 # Workspace crates
-midenc-codegen-masm = { version = "0.5.0", path = "codegen/masm" }
-midenc-dialect-arith = { version = "0.5.0", path = "dialects/arith" }
-midenc-dialect-hir = { version = "0.5.0", path = "dialects/hir" }
-midenc-dialect-scf = { version = "0.5.0", path = "dialects/scf" }
-midenc-dialect-cf = { version = "0.5.0", path = "dialects/cf" }
-midenc-dialect-ub = { version = "0.5.0", path = "dialects/ub" }
-midenc-hir = { version = "0.5.0", path = "hir" }
-midenc-hir-analysis = { version = "0.5.0", path = "hir-analysis" }
-midenc-hir-eval = { version = "0.5.0", path = "eval" }
-midenc-hir-macros = { version = "0.5.0", path = "hir-macros" }
-midenc-hir-symbol = { version = "0.5.0", path = "hir-symbol" }
-midenc-hir-transform = { version = "0.5.0", path = "hir-transform" }
-midenc-frontend-wasm = { version = "0.5.0", path = "frontend/wasm" }
-midenc-compile = { version = "0.5.0", path = "midenc-compile" }
-midenc-driver = { version = "0.5.0", path = "midenc-driver" }
-midenc-session = { version = "0.5.0", path = "midenc-session" }
-cargo-miden = { version = "0.5.0", path = "tools/cargo-miden" }
+midenc-codegen-masm = { version = "0.5.1", path = "codegen/masm" }
+midenc-dialect-arith = { version = "0.5.1", path = "dialects/arith" }
+midenc-dialect-hir = { version = "0.5.1", path = "dialects/hir" }
+midenc-dialect-scf = { version = "0.5.1", path = "dialects/scf" }
+midenc-dialect-cf = { version = "0.5.1", path = "dialects/cf" }
+midenc-dialect-ub = { version = "0.5.1", path = "dialects/ub" }
+midenc-hir = { version = "0.5.1", path = "hir" }
+midenc-hir-analysis = { version = "0.5.1", path = "hir-analysis" }
+midenc-hir-eval = { version = "0.5.1", path = "eval" }
+midenc-hir-macros = { version = "0.5.1", path = "hir-macros" }
+midenc-hir-symbol = { version = "0.5.1", path = "hir-symbol" }
+midenc-hir-transform = { version = "0.5.1", path = "hir-transform" }
+midenc-frontend-wasm = { version = "0.5.1", path = "frontend/wasm" }
+midenc-compile = { version = "0.5.1", path = "midenc-compile" }
+midenc-driver = { version = "0.5.1", path = "midenc-driver" }
+midenc-session = { version = "0.5.1", path = "midenc-session" }
+cargo-miden = { version = "0.5.1", path = "tools/cargo-miden" }
 miden-integration-tests = { path = "tests/integration" }
 midenc-expect-test = { path = "tools/expect-test" }
 
diff --git a/codegen/masm/CHANGELOG.md b/codegen/masm/CHANGELOG.md
index c8b08a942..a41b7c728 100644
--- a/codegen/masm/CHANGELOG.md
+++ b/codegen/masm/CHANGELOG.md
@@ -6,6 +6,13 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.5.1](https://github.com/0xMiden/compiler/compare/midenc-codegen-masm-v0.5.0...midenc-codegen-masm-v0.5.1) - 2025-11-13
+
+### Other
+
+- migrate to 0.19
+- update vm to 0.18
+
 ## [0.5.0](https://github.com/0xMiden/compiler/compare/midenc-codegen-masm-v0.4.1...midenc-codegen-masm-v0.5.0) - 2025-11-05
 
 ### Fixed
diff --git a/frontend/wasm/CHANGELOG.md b/frontend/wasm/CHANGELOG.md
index 0331c3472..f3e89fb3e 100644
--- a/frontend/wasm/CHANGELOG.md
+++ b/frontend/wasm/CHANGELOG.md
@@ -6,6 +6,18 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.5.1](https://github.com/0xMiden/compiler/compare/midenc-frontend-wasm-v0.5.0...midenc-frontend-wasm-v0.5.1) - 2025-11-13
+
+### Added
+
+- add stdlib `std::collections::smt` bindings to the SDK
+- fix `sha256::hash_1to1` bindings (big-endian),
+
+### Other
+
+- Merge pull request #753 from 0xMiden/greenhat/i159-base-bindings
+- migrate to 0.19
+
 ## [0.5.0](https://github.com/0xMiden/compiler/compare/midenc-frontend-wasm-v0.4.1...midenc-frontend-wasm-v0.5.0) - 2025-11-05
 
 ### Added
diff --git a/hir-symbol/CHANGELOG.md b/hir-symbol/CHANGELOG.md
index 1f94bcc36..19b8b4987 100644
--- a/hir-symbol/CHANGELOG.md
+++ b/hir-symbol/CHANGELOG.md
@@ -6,6 +6,18 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.5.1](https://github.com/0xMiden/compiler/compare/midenc-hir-symbol-v0.5.0...midenc-hir-symbol-v0.5.1) - 2025-11-13
+
+### Added
+
+- add stdlib `std::collections::smt` bindings to the SDK
+- fix `sha256::hash_1to1` bindings (big-endian),
+
+### Other
+
+- Merge pull request #753 from 0xMiden/greenhat/i159-base-bindings
+- migrate to 0.19
+
 ## [0.5.0](https://github.com/0xMiden/compiler/compare/midenc-hir-symbol-v0.4.1...midenc-hir-symbol-v0.5.0) - 2025-11-05
 
 ### Added
diff --git a/hir/CHANGELOG.md b/hir/CHANGELOG.md
index 17574b272..7dcecf116 100644
--- a/hir/CHANGELOG.md
+++ b/hir/CHANGELOG.md
@@ -6,6 +6,12 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.5.1](https://github.com/0xMiden/compiler/compare/midenc-hir-v0.5.0...midenc-hir-v0.5.1) - 2025-11-13
+
+### Fixed
+
+- remove midenc-hir-type from workspace deps
+
 ## [0.5.0](https://github.com/0xMiden/compiler/compare/midenc-hir-v0.4.1...midenc-hir-v0.5.0) - 2025-11-05
 
 ### Fixed
diff --git a/midenc-compile/CHANGELOG.md b/midenc-compile/CHANGELOG.md
index 34b9d8846..d215e6e8b 100644
--- a/midenc-compile/CHANGELOG.md
+++ b/midenc-compile/CHANGELOG.md
@@ -6,6 +6,12 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.5.1](https://github.com/0xMiden/compiler/compare/midenc-compile-v0.5.0...midenc-compile-v0.5.1) - 2025-11-13
+
+### Other
+
+- update vm to 0.18
+
 ## [0.5.0](https://github.com/0xMiden/compiler/compare/midenc-compile-v0.4.1...midenc-compile-v0.5.0) - 2025-11-05
 
 ### Other
diff --git a/midenc-driver/CHANGELOG.md b/midenc-driver/CHANGELOG.md
index 0e2fa0d00..13830ca65 100644
--- a/midenc-driver/CHANGELOG.md
+++ b/midenc-driver/CHANGELOG.md
@@ -6,6 +6,12 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.5.1](https://github.com/0xMiden/compiler/compare/midenc-driver-v0.5.0...midenc-driver-v0.5.1) - 2025-11-13
+
+### Other
+
+- split out midenc-debug into separate repo, simplify driver
+
 ## [0.5.0](https://github.com/0xMiden/compiler/compare/midenc-driver-v0.4.1...midenc-driver-v0.5.0) - 2025-11-05
 
 ### Other
diff --git a/midenc-session/CHANGELOG.md b/midenc-session/CHANGELOG.md
index 288425688..cdfb1ea14 100644
--- a/midenc-session/CHANGELOG.md
+++ b/midenc-session/CHANGELOG.md
@@ -6,6 +6,14 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.5.1](https://github.com/0xMiden/compiler/compare/midenc-session-v0.5.0...midenc-session-v0.5.1) - 2025-11-13
+
+### Other
+
+- more clippy
+- migrate to 0.19
+- update vm to 0.18
+
 ## [0.5.0](https://github.com/0xMiden/compiler/compare/midenc-session-v0.4.1...midenc-session-v0.5.0) - 2025-11-05
 
 ### Added
diff --git a/midenc/CHANGELOG.md b/midenc/CHANGELOG.md
index 3c923789f..17e56600c 100644
--- a/midenc/CHANGELOG.md
+++ b/midenc/CHANGELOG.md
@@ -6,6 +6,12 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.5.1](https://github.com/0xMiden/compiler/compare/midenc-v0.5.0...midenc-v0.5.1) - 2025-11-13
+
+### Other
+
+- split out midenc-debug into separate repo, simplify driver
+
 ## [0.5.0](https://github.com/0xMiden/compiler/compare/0.4.1...0.5.0) - 2025-11-05
 
 ### Other
diff --git a/sdk/base-macros/CHANGELOG.md b/sdk/base-macros/CHANGELOG.md
index a9dd19485..e98a04110 100644
--- a/sdk/base-macros/CHANGELOG.md
+++ b/sdk/base-macros/CHANGELOG.md
@@ -7,6 +7,12 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.7.1](https://github.com/0xMiden/compiler/compare/miden-base-macros-v0.7.0...miden-base-macros-v0.7.1) - 2025-11-13
+
+### Other
+
+- migrate to 0.19
+
 ## [0.4.0](https://github.com/0xMiden/compiler/compare/miden-base-macros-v0.1.5...miden-base-macros-v0.4.0) - 2025-08-15
 
 ### Fixed
diff --git a/sdk/base-macros/Cargo.toml b/sdk/base-macros/Cargo.toml
index 61e35ac8e..d25ecb2db 100644
--- a/sdk/base-macros/Cargo.toml
+++ b/sdk/base-macros/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "miden-base-macros"
 description = "Provides proc macro support for Miden rollup SDK"
-version = "0.7.0"
+version = "0.7.1"
 rust-version.workspace = true
 authors.workspace = true
 repository.workspace = true
diff --git a/sdk/base-sys/CHANGELOG.md b/sdk/base-sys/CHANGELOG.md
index f135df989..b0b05a137 100644
--- a/sdk/base-sys/CHANGELOG.md
+++ b/sdk/base-sys/CHANGELOG.md
@@ -6,6 +6,17 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.8.0](https://github.com/0xMiden/compiler/compare/miden-base-sys-v0.7.0...miden-base-sys-v0.8.0) - 2025-11-13
+
+### Added
+
+- add `miden-base` MASM bindings for `account`, `tx`, `faucet`,
+
+### Other
+
+- [**breaking**] split `account` into `active_account` and `native_account` in the SDK
+- migrate to 0.19
+
 ## [0.4.0](https://github.com/0xMiden/compiler/compare/miden-base-sys-v0.1.5...miden-base-sys-v0.4.0) - 2025-08-15
 
 ### Added
diff --git a/sdk/base-sys/Cargo.toml b/sdk/base-sys/Cargo.toml
index b4be9c6e7..2d726a328 100644
--- a/sdk/base-sys/Cargo.toml
+++ b/sdk/base-sys/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "miden-base-sys"
 description = "Miden rollup Rust bingings and MASM library"
-version = "0.7.0"
+version = "0.8.0"
 rust-version.workspace = true
 authors.workspace = true
 repository.workspace = true
@@ -16,7 +16,7 @@ build = "build.rs"
 links = "miden_base_sys_stubs"
 
 [dependencies]
-miden-stdlib-sys = { version = "0.7.0", path = "../stdlib-sys" }
+miden-stdlib-sys = { version = "0.7.1", path = "../stdlib-sys" }
 
 [features]
 default = []
diff --git a/sdk/base/CHANGELOG.md b/sdk/base/CHANGELOG.md
index 8169439ed..3578260dc 100644
--- a/sdk/base/CHANGELOG.md
+++ b/sdk/base/CHANGELOG.md
@@ -7,6 +7,12 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.7.1](https://github.com/0xMiden/compiler/compare/miden-base-v0.7.0...miden-base-v0.7.1) - 2025-11-13
+
+### Other
+
+- updated the following local packages: miden-base-macros, miden-stdlib-sys, miden-base-sys
+
 ## [0.4.0](https://github.com/0xMiden/compiler/compare/miden-base-v0.1.5...miden-base-v0.4.0) - 2025-08-15
 
 ### Added
diff --git a/sdk/base/Cargo.toml b/sdk/base/Cargo.toml
index 4c278dda6..c8f185f7b 100644
--- a/sdk/base/Cargo.toml
+++ b/sdk/base/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "miden-base"
 description = "Miden rollup Rust SDK"
-version = "0.7.0"
+version = "0.7.1"
 rust-version.workspace = true
 authors.workspace = true
 repository.workspace = true
@@ -12,9 +12,9 @@ readme.workspace = true
 edition.workspace = true
 
 [dependencies]
-miden-base-sys = { version = "0.7.0", path = "../base-sys" }
-miden-stdlib-sys = { version = "0.7.0", path = "../stdlib-sys" }
-miden-base-macros = { version = "0.7.0", path = "../base-macros" }
+miden-base-sys = { version = "0.8.0", path = "../base-sys" }
+miden-stdlib-sys = { version = "0.7.1", path = "../stdlib-sys" }
+miden-base-macros = { version = "0.7.1", path = "../base-macros" }
 
 [features]
 default = []
diff --git a/sdk/sdk/CHANGELOG.md b/sdk/sdk/CHANGELOG.md
index e45a1c5b5..7ebaa80e4 100644
--- a/sdk/sdk/CHANGELOG.md
+++ b/sdk/sdk/CHANGELOG.md
@@ -6,6 +6,12 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.7.1](https://github.com/0xMiden/compiler/compare/miden-v0.7.0...miden-v0.7.1) - 2025-11-13
+
+### Other
+
+- Updated the following local packages: miden-stdlib-sys, miden-base-sys, miden-base.
+
 ## [0.7.0]
 ### BREAKING
 - WIT interface generation in `#[component]` macro on `impl <ACCOUNT_TYPE>`. The `#[export_type]` macro is required for any type in exported function signature.
diff --git a/sdk/sdk/Cargo.toml b/sdk/sdk/Cargo.toml
index 0384fd58e..b1defa50f 100644
--- a/sdk/sdk/Cargo.toml
+++ b/sdk/sdk/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "miden"
 description = "Miden SDK"
-version = "0.7.0"
+version = "0.7.1"
 rust-version.workspace = true
 authors.workspace = true
 repository.workspace = true
@@ -16,9 +16,9 @@ crate-type = ["rlib"]
 
 [dependencies]
 miden-sdk-alloc = { version = "0.7.0", path = "../alloc" }
-miden-stdlib-sys = { version = "0.7.0", path = "../stdlib-sys" }
-miden-base = { version = "0.7.0", path = "../base" }
-miden-base-sys = { version = "0.7.0", path = "../base-sys" }
+miden-stdlib-sys = { version = "0.7.1", path = "../stdlib-sys" }
+miden-base = { version = "0.7.1", path = "../base" }
+miden-base-sys = { version = "0.8.0", path = "../base-sys" }
 wit-bindgen = { version = "0.46", default-features = false, features = ["macros"] }
 
 [features]
diff --git a/sdk/stdlib-sys/CHANGELOG.md b/sdk/stdlib-sys/CHANGELOG.md
index dbc6d8526..e7b404193 100644
--- a/sdk/stdlib-sys/CHANGELOG.md
+++ b/sdk/stdlib-sys/CHANGELOG.md
@@ -6,6 +6,18 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.7.1](https://github.com/0xMiden/compiler/compare/miden-stdlib-sys-v0.7.0...miden-stdlib-sys-v0.7.1) - 2025-11-13
+
+### Added
+
+- add stdlib `std::collections::smt` bindings to the SDK
+- add stdlib `hash_2to1` for SHA256 and Blake3 to SDK bindings
+- fix `sha256::hash_1to1` bindings (big-endian),
+
+### Other
+
+- migrate to 0.19
+
 ## [0.4.0](https://github.com/0xMiden/compiler/compare/miden-stdlib-sys-v0.1.5...miden-stdlib-sys-v0.4.0) - 2025-08-15
 
 ### Added
diff --git a/sdk/stdlib-sys/Cargo.toml b/sdk/stdlib-sys/Cargo.toml
index 47a4cc906..70a7fd337 100644
--- a/sdk/stdlib-sys/Cargo.toml
+++ b/sdk/stdlib-sys/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "miden-stdlib-sys"
 description = "Low-level Rust bindings for the Miden standard library"
-version = "0.7.0"
+version = "0.7.1"
 rust-version.workspace = true
 authors.workspace = true
 repository.workspace = true
diff --git a/tools/cargo-miden/CHANGELOG.md b/tools/cargo-miden/CHANGELOG.md
index 8d10b00bc..e50fbbef0 100644
--- a/tools/cargo-miden/CHANGELOG.md
+++ b/tools/cargo-miden/CHANGELOG.md
@@ -6,6 +6,17 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.5.1](https://github.com/0xMiden/compiler/compare/0.5.0...0.5.1) - 2025-11-13
+
+### Other
+
+- more clippy
+- add `--single-branch` when cloning a template git repo
+- more formatting and clippy
+- clippy and formatting
+- migrate to 0.19
+- update default project template repo URL
+
 ## [0.5.0](https://github.com/0xMiden/compiler/compare/cargo-miden-v0.4.1...cargo-miden-v0.5.0) - 2025-11-05
 
 ### Added