diff --git a/Cargo.lock b/Cargo.lock
index 58e537b10..aa68e40f3 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -422,7 +422,7 @@ dependencies = [
 
 [[package]]
 name = "cargo-miden"
-version = "0.4.1"
+version = "0.5.0"
 dependencies = [
  "anyhow",
  "cargo-generate",
@@ -2783,7 +2783,7 @@ dependencies = [
 
 [[package]]
 name = "miden-integration-node-tests"
-version = "0.4.1"
+version = "0.5.0"
 dependencies = [
  "anyhow",
  "fs2",
@@ -2801,7 +2801,7 @@ dependencies = [
 
 [[package]]
 name = "miden-integration-tests"
-version = "0.4.1"
+version = "0.5.0"
 dependencies = [
  "anyhow",
  "blake3",
@@ -3081,7 +3081,7 @@ dependencies = [
 
 [[package]]
 name = "midenc"
-version = "0.4.1"
+version = "0.5.0"
 dependencies = [
  "env_logger",
  "human-panic",
@@ -3090,7 +3090,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-benchmark-runner"
-version = "0.4.1"
+version = "0.5.0"
 dependencies = [
  "anyhow",
  "clap",
@@ -3099,7 +3099,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-codegen-masm"
-version = "0.4.1"
+version = "0.5.0"
 dependencies = [
  "env_logger",
  "inventory",
@@ -3129,7 +3129,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-compile"
-version = "0.4.1"
+version = "0.5.0"
 dependencies = [
  "clap",
  "inventory",
@@ -3149,7 +3149,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-debug"
-version = "0.4.1"
+version = "0.5.0"
 dependencies = [
  "clap",
  "crossterm",
@@ -3179,7 +3179,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-dialect-arith"
-version = "0.4.1"
+version = "0.5.0"
 dependencies = [
  "midenc-hir",
  "paste",
@@ -3187,7 +3187,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-dialect-cf"
-version = "0.4.1"
+version = "0.5.0"
 dependencies = [
  "log",
  "midenc-dialect-arith",
@@ -3196,7 +3196,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-dialect-hir"
-version = "0.4.1"
+version = "0.5.0"
 dependencies = [
  "env_logger",
  "log",
@@ -3210,7 +3210,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-dialect-scf"
-version = "0.4.1"
+version = "0.5.0"
 dependencies = [
  "bitvec",
  "env_logger",
@@ -3225,14 +3225,14 @@ dependencies = [
 
 [[package]]
 name = "midenc-dialect-ub"
-version = "0.4.1"
+version = "0.5.0"
 dependencies = [
  "midenc-hir",
 ]
 
 [[package]]
 name = "midenc-driver"
-version = "0.4.1"
+version = "0.5.0"
 dependencies = [
  "clap",
  "log",
@@ -3245,7 +3245,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-expect-test"
-version = "0.4.1"
+version = "0.5.0"
 dependencies = [
  "once_cell",
  "similar",
@@ -3253,7 +3253,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-frontend-wasm"
-version = "0.4.1"
+version = "0.5.0"
 dependencies = [
  "addr2line",
  "anyhow",
@@ -3277,7 +3277,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-hir"
-version = "0.4.1"
+version = "0.5.0"
 dependencies = [
  "anyhow",
  "bitflags 2.9.1",
@@ -3294,7 +3294,7 @@ dependencies = [
  "miden-thiserror",
  "midenc-hir-macros",
  "midenc-hir-symbol",
- "midenc-hir-type 0.4.2",
+ "midenc-hir-type 0.4.3",
  "midenc-session",
  "pretty_assertions",
  "rustc-demangle",
@@ -3305,7 +3305,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-hir-analysis"
-version = "0.4.1"
+version = "0.5.0"
 dependencies = [
  "bitvec",
  "blink-alloc",
@@ -3320,7 +3320,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-hir-eval"
-version = "0.4.1"
+version = "0.5.0"
 dependencies = [
  "log",
  "miden-thiserror",
@@ -3335,7 +3335,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-hir-macros"
-version = "0.4.1"
+version = "0.5.0"
 dependencies = [
  "Inflector",
  "darling",
@@ -3346,7 +3346,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-hir-symbol"
-version = "0.4.1"
+version = "0.5.0"
 dependencies = [
  "Inflector",
  "compact_str 0.9.0",
@@ -3362,7 +3362,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-hir-transform"
-version = "0.4.1"
+version = "0.5.0"
 dependencies = [
  "log",
  "midenc-hir",
@@ -3383,7 +3383,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-hir-type"
-version = "0.4.2"
+version = "0.4.3"
 dependencies = [
  "miden-formatting",
  "serde",
@@ -3394,7 +3394,7 @@ dependencies = [
 
 [[package]]
 name = "midenc-session"
-version = "0.4.1"
+version = "0.5.0"
 dependencies = [
  "anyhow",
  "clap",
diff --git a/Cargo.toml b/Cargo.toml
index 05f72ee7d..6c8d4f4af 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -29,7 +29,7 @@ exclude = [
 ]
 
 [workspace.package]
-version = "0.4.1"
+version = "0.5.0"
 rust-version = "1.90"
 authors = ["Miden contributors"]
 description = "An intermediate representation and compiler for Miden Assembly"
@@ -132,25 +132,25 @@ wasmparser = { version = "0.227", default-features = false, features = [
 ] }
 
 # Workspace crates
-midenc-codegen-masm = { version = "0.4.1", path = "codegen/masm" }
-midenc-dialect-arith = { version = "0.4.1", path = "dialects/arith" }
-midenc-dialect-hir = { version = "0.4.1", path = "dialects/hir" }
-midenc-dialect-scf = { version = "0.4.1", path = "dialects/scf" }
-midenc-dialect-cf = { version = "0.4.1", path = "dialects/cf" }
-midenc-dialect-ub = { version = "0.4.1", path = "dialects/ub" }
-midenc-hir = { version = "0.4.1", path = "hir" }
-midenc-hir-analysis = { version = "0.4.1", path = "hir-analysis" }
-midenc-hir-eval = { version = "0.4.1", path = "eval" }
-midenc-hir-macros = { version = "0.4.1", path = "hir-macros" }
-midenc-hir-symbol = { version = "0.4.1", path = "hir-symbol" }
-midenc-hir-transform = { version = "0.4.1", path = "hir-transform" }
-midenc-hir-type = { version = "0.4.2", path = "hir-type" }
-midenc-frontend-wasm = { version = "0.4.1", path = "frontend/wasm" }
-midenc-compile = { version = "0.4.1", path = "midenc-compile" }
-midenc-driver = { version = "0.4.1", path = "midenc-driver" }
-midenc-debug = { version = "0.4.1", path = "midenc-debug" }
-midenc-session = { version = "0.4.1", path = "midenc-session" }
-cargo-miden = { version = "0.4.1", path = "tools/cargo-miden" }
+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-hir-type = { version = "0.4.3", path = "hir-type" }
+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-debug = { version = "0.5.0", path = "midenc-debug" }
+midenc-session = { version = "0.5.0", path = "midenc-session" }
+cargo-miden = { version = "0.5.0", 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 829ceb883..c8b08a942 100644
--- a/codegen/masm/CHANGELOG.md
+++ b/codegen/masm/CHANGELOG.md
@@ -6,6 +6,27 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [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
+
+- support --test-harness with no/multiple initializers
+- incorrect lowering of >= 128-bit bnot ([#725](https://github.com/0xMiden/compiler/pull/725))
+- move data segments merging to the codegen, preserving `readonly` attribute in IR #634
+
+### Other
+
+- Merge pull request #701 from 0xMiden/chore/docusaurus-migration-new
+- Fix codegen for `cf.select` of 64bit values.
+- Merge pull request #713 from radik878/chore/remove-petgraph-midenc-codegen-masm-447
+- *(deps)* update to no-std compatible petgraph
+- Revert "Merge pull request #692 from 0xMiden/chore/docusaurus-migration-next"
+- Merge pull request #692 from 0xMiden/chore/docusaurus-migration-next
+- *(README)* add docs section explainer
+- Merge pull request #678 from 0xMiden/greenhat/i534-auth-rpo-falcon
+- Merge pull request #666 from 0xMiden/greenhat/i660-auth-proc
+- Merge branch 'next' into fabrizioorsi/update-vm-0.17
+
 ## [0.4.1](https://github.com/0xMiden/compiler/compare/midenc-codegen-masm-v0.4.0...midenc-codegen-masm-v0.4.1) - 2025-09-03
 
 ### Fixed
diff --git a/dialects/arith/CHANGELOG.md b/dialects/arith/CHANGELOG.md
index 5b464ca3d..1cdfc64a6 100644
--- a/dialects/arith/CHANGELOG.md
+++ b/dialects/arith/CHANGELOG.md
@@ -6,6 +6,12 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.5.0](https://github.com/0xMiden/compiler/compare/midenc-dialect-arith-v0.4.1...midenc-dialect-arith-v0.5.0) - 2025-11-05
+
+### Other
+
+- Revert "Merge pull request #700 from 0xMiden/revert-docs-merge"
+
 ## [0.4.1](https://github.com/0xMiden/compiler/compare/midenc-dialect-arith-v0.4.0...midenc-dialect-arith-v0.4.1) - 2025-09-03
 
 ### Other
diff --git a/dialects/cf/CHANGELOG.md b/dialects/cf/CHANGELOG.md
index d94e3d6c6..2913cec93 100644
--- a/dialects/cf/CHANGELOG.md
+++ b/dialects/cf/CHANGELOG.md
@@ -5,3 +5,9 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
 ## [Unreleased]
+
+## [0.5.0](https://github.com/0xMiden/compiler/compare/midenc-dialect-cf-v0.4.1...midenc-dialect-cf-v0.5.0) - 2025-11-05
+
+### Other
+
+- Revert "Merge pull request #700 from 0xMiden/revert-docs-merge"
diff --git a/dialects/hir/CHANGELOG.md b/dialects/hir/CHANGELOG.md
index b96ac160b..30b571d72 100644
--- a/dialects/hir/CHANGELOG.md
+++ b/dialects/hir/CHANGELOG.md
@@ -6,6 +6,13 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.5.0](https://github.com/0xMiden/compiler/compare/midenc-dialect-hir-v0.4.1...midenc-dialect-hir-v0.5.0) - 2025-11-05
+
+### Other
+
+- Merge pull request #701 from 0xMiden/chore/docusaurus-migration-new
+- *(deps)* clean up unused/yanked/vulnerable deps
+
 ## [0.4.1](https://github.com/0xMiden/compiler/compare/midenc-dialect-hir-v0.4.0...midenc-dialect-hir-v0.4.1) - 2025-09-03
 
 ### Fixed
diff --git a/dialects/scf/CHANGELOG.md b/dialects/scf/CHANGELOG.md
index bcecbf637..adebee8bc 100644
--- a/dialects/scf/CHANGELOG.md
+++ b/dialects/scf/CHANGELOG.md
@@ -6,6 +6,12 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.5.0](https://github.com/0xMiden/compiler/compare/midenc-dialect-scf-v0.4.1...midenc-dialect-scf-v0.5.0) - 2025-11-05
+
+### Other
+
+- Revert "Merge pull request #700 from 0xMiden/revert-docs-merge"
+
 ## [0.4.0](https://github.com/0xMiden/compiler/compare/midenc-dialect-scf-v0.1.5...midenc-dialect-scf-v0.4.0) - 2025-08-15
 
 ### Fixed
diff --git a/dialects/ub/CHANGELOG.md b/dialects/ub/CHANGELOG.md
index d94e3d6c6..cbfeb9074 100644
--- a/dialects/ub/CHANGELOG.md
+++ b/dialects/ub/CHANGELOG.md
@@ -5,3 +5,9 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
 ## [Unreleased]
+
+## [0.5.0](https://github.com/0xMiden/compiler/compare/midenc-dialect-ub-v0.4.1...midenc-dialect-ub-v0.5.0) - 2025-11-05
+
+### Other
+
+- Revert "Merge pull request #700 from 0xMiden/revert-docs-merge"
diff --git a/eval/CHANGELOG.md b/eval/CHANGELOG.md
index fb06cfde7..c31cc4eea 100644
--- a/eval/CHANGELOG.md
+++ b/eval/CHANGELOG.md
@@ -6,6 +6,14 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.5.0](https://github.com/0xMiden/compiler/compare/midenc-hir-eval-v0.4.1...midenc-hir-eval-v0.5.0) - 2025-11-05
+
+### Other
+
+- Revert "Merge pull request #700 from 0xMiden/revert-docs-merge"
+- Revert "Merge pull request #692 from 0xMiden/chore/docusaurus-migration-next"
+- *(README)* add docs section explainer
+
 ## [0.4.0](https://github.com/0xMiden/compiler/compare/midenc-hir-eval-v0.1.5...midenc-hir-eval-v0.4.0) - 2025-08-15
 
 ### Other
diff --git a/frontend/wasm/CHANGELOG.md b/frontend/wasm/CHANGELOG.md
index 970e7a275..95e332d3f 100644
--- a/frontend/wasm/CHANGELOG.md
+++ b/frontend/wasm/CHANGELOG.md
@@ -6,6 +6,37 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [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
+
+- add `note::` `get_sender`, `get_script_root`, `get_serial_number` and `account::get_balance` bindings in the Miden SDK
+- migrate RPO Falcon512 auth component to miden-base v0.11
+- convert all `intrinsics::felt` to use .rlib stub library
+- convert `add` felt intrinsic to use stub library instead of WIT interface
+- convert `hmerge` intrinsic to use stub function instead of WIT interface
+- lower function stub to MASM procedure call
+
+### Fixed
+
+- move data segments merging to the codegen, preserving `readonly` attribute in IR #634
+
+### Other
+
+- use `hash_memory_words` under the hood of SDK `hash_words`
+- draft `enum` support in WIT generation
+- Merge pull request #701 from 0xMiden/chore/docusaurus-migration-new
+- Add a bitcast back to signed integer after a translating a `load` then `zext`.
+- make arguments and result in `adv_push_mapvaln` to be `Felt`
+- Merge pull request #678 from 0xMiden/greenhat/i534-auth-rpo-falcon
+- Merge pull request #666 from 0xMiden/greenhat/i660-auth-proc
+- Merge branch 'next' into fabrizioorsi/update-vm-0.17
+- add error handling in module_translation_state.rs
+- remove unused code
+- clean commented code and clarify comments
+- ensure that a stub function body has only `unreachable` op;
+- remove all the low-level Miden SDK WIT interface handling
+
 ## [0.4.1](https://github.com/0xMiden/compiler/compare/midenc-frontend-wasm-v0.4.0...midenc-frontend-wasm-v0.4.1) - 2025-09-03
 
 ### Other
diff --git a/hir-analysis/CHANGELOG.md b/hir-analysis/CHANGELOG.md
index 3646d965c..582312331 100644
--- a/hir-analysis/CHANGELOG.md
+++ b/hir-analysis/CHANGELOG.md
@@ -6,6 +6,19 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.5.0](https://github.com/0xMiden/compiler/compare/midenc-hir-analysis-v0.4.1...midenc-hir-analysis-v0.5.0) - 2025-11-05
+
+### Fixed
+
+- in `[dev-dependencies]` specify our crates with `path` only.
+
+### Other
+
+- Merge pull request #701 from 0xMiden/chore/docusaurus-migration-new
+- *(deps)* clean up unused/yanked/vulnerable deps
+- Revert "Merge pull request #692 from 0xMiden/chore/docusaurus-migration-next"
+- *(README)* add docs section explainer
+
 ## [0.4.1](https://github.com/0xMiden/compiler/compare/midenc-hir-analysis-v0.4.0...midenc-hir-analysis-v0.4.1) - 2025-09-03
 
 ### Other
diff --git a/hir-macros/CHANGELOG.md b/hir-macros/CHANGELOG.md
index fb090df37..1aefc5010 100644
--- a/hir-macros/CHANGELOG.md
+++ b/hir-macros/CHANGELOG.md
@@ -6,6 +6,12 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.5.0](https://github.com/0xMiden/compiler/compare/midenc-hir-macros-v0.4.1...midenc-hir-macros-v0.5.0) - 2025-11-05
+
+### Other
+
+- Revert "Merge pull request #700 from 0xMiden/revert-docs-merge"
+
 ## [0.4.0](https://github.com/0xMiden/compiler/compare/midenc-hir-macros-v0.1.5...midenc-hir-macros-v0.4.0) - 2025-08-15
 
 ### Other
diff --git a/hir-symbol/CHANGELOG.md b/hir-symbol/CHANGELOG.md
index b5bf9ddd8..1f94bcc36 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.0](https://github.com/0xMiden/compiler/compare/midenc-hir-symbol-v0.4.1...midenc-hir-symbol-v0.5.0) - 2025-11-05
+
+### Added
+
+- `auth_rpo-falcon512` authentication component implemented in Rust
+
+### Other
+
+- Revert "Merge pull request #700 from 0xMiden/revert-docs-merge"
+- Revert "Merge pull request #692 from 0xMiden/chore/docusaurus-migration-next"
+- *(README)* add docs section explainer
+
 ## [0.4.0](https://github.com/0xMiden/compiler/compare/midenc-hir-symbol-v0.1.5...midenc-hir-symbol-v0.4.0) - 2025-08-15
 
 ### Added
diff --git a/hir-transform/CHANGELOG.md b/hir-transform/CHANGELOG.md
index 25fa715c7..ff0d7027b 100644
--- a/hir-transform/CHANGELOG.md
+++ b/hir-transform/CHANGELOG.md
@@ -6,6 +6,12 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.5.0](https://github.com/0xMiden/compiler/compare/midenc-hir-transform-v0.4.1...midenc-hir-transform-v0.5.0) - 2025-11-05
+
+### Other
+
+- Revert "Merge pull request #700 from 0xMiden/revert-docs-merge"
+
 ## [0.4.1](https://github.com/0xMiden/compiler/compare/midenc-hir-transform-v0.4.0...midenc-hir-transform-v0.4.1) - 2025-09-03
 
 ### Fixed
diff --git a/hir-type/CHANGELOG.md b/hir-type/CHANGELOG.md
index 936e4bed4..0193b8b20 100644
--- a/hir-type/CHANGELOG.md
+++ b/hir-type/CHANGELOG.md
@@ -6,6 +6,14 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.4.3](https://github.com/0xMiden/compiler/compare/midenc-hir-type-v0.4.2...midenc-hir-type-v0.4.3) - 2025-11-05
+
+### Other
+
+- Revert "Merge pull request #700 from 0xMiden/revert-docs-merge"
+- Revert "Merge pull request #692 from 0xMiden/chore/docusaurus-migration-next"
+- *(README)* add docs section explainer
+
 ## [0.4.2]
 
 ### Added
diff --git a/hir-type/Cargo.toml b/hir-type/Cargo.toml
index bc686504f..e44e1c174 100644
--- a/hir-type/Cargo.toml
+++ b/hir-type/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "midenc-hir-type"
 description = "Type system and utilities for Miden HIR"
-version = "0.4.2"
+version = "0.4.3"
 rust-version = "1.88"
 authors.workspace = true
 repository.workspace = true
diff --git a/hir/CHANGELOG.md b/hir/CHANGELOG.md
index cd70dc6d6..17574b272 100644
--- a/hir/CHANGELOG.md
+++ b/hir/CHANGELOG.md
@@ -6,6 +6,19 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.5.0](https://github.com/0xMiden/compiler/compare/midenc-hir-v0.4.1...midenc-hir-v0.5.0) - 2025-11-05
+
+### Fixed
+
+- don't export core Wasm function after lifting #667
+- in `[dev-dependencies]` specify our crates with `path` only.
+
+### Other
+
+- Revert "Merge pull request #700 from 0xMiden/revert-docs-merge"
+- Revert "Merge pull request #692 from 0xMiden/chore/docusaurus-migration-next"
+- *(README)* add docs section explainer
+
 ## [0.4.1](https://github.com/0xMiden/compiler/compare/midenc-hir-v0.4.0...midenc-hir-v0.4.1) - 2025-09-03
 
 ### Fixed
diff --git a/midenc-compile/CHANGELOG.md b/midenc-compile/CHANGELOG.md
index 59a1818c5..34b9d8846 100644
--- a/midenc-compile/CHANGELOG.md
+++ b/midenc-compile/CHANGELOG.md
@@ -6,6 +6,15 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.5.0](https://github.com/0xMiden/compiler/compare/midenc-compile-v0.4.1...midenc-compile-v0.5.0) - 2025-11-05
+
+### Other
+
+- Revert "Merge pull request #700 from 0xMiden/revert-docs-merge"
+- Revert "Merge pull request #692 from 0xMiden/chore/docusaurus-migration-next"
+- *(README)* add docs section explainer
+- replace miden_processor::Digest in favor of miden_core::Word
+
 ## [0.4.1](https://github.com/0xMiden/compiler/compare/midenc-compile-v0.4.0...midenc-compile-v0.4.1) - 2025-09-03
 
 ### Other
diff --git a/midenc-debug/CHANGELOG.md b/midenc-debug/CHANGELOG.md
index c3734fa69..b04a7fdd6 100644
--- a/midenc-debug/CHANGELOG.md
+++ b/midenc-debug/CHANGELOG.md
@@ -6,6 +6,35 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.5.0](https://github.com/0xMiden/compiler/compare/midenc-debug-v0.4.1...midenc-debug-v0.5.0) - 2025-11-05
+
+### Added
+
+- remove advice_map iteration from `load_mast_forest` function
+- update `DebuggerHost`
+- fix bytes_from_words_test
+- update tests in debug
+- update executor.rs
+- update source_code.rs
+- update executor.rs
+- use new `Uri` struct for paths
+- update uses of `LineNumber` and `ColumnNumber`
+
+### Fixed
+
+- apply cargo clippy changes
+- update VM's MAX_CYCLES
+
+### Other
+
+- Revert "Merge pull request #700 from 0xMiden/revert-docs-merge"
+- Revert "Merge pull request #692 from 0xMiden/chore/docusaurus-migration-next"
+- *(README)* add docs section explainer
+- replace uses of felt array with Word::new
+- replace miden_processor::Digest in favor of miden_core::Word
+- update host.rs
+- replace AdviceProvides with MemAdviceProvider
+
 ## [0.4.1](https://github.com/0xMiden/compiler/compare/midenc-debug-v0.4.0...midenc-debug-v0.4.1) - 2025-09-03
 
 ### Other
diff --git a/midenc-driver/CHANGELOG.md b/midenc-driver/CHANGELOG.md
index 63c71aaea..0e2fa0d00 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.0](https://github.com/0xMiden/compiler/compare/midenc-driver-v0.4.1...midenc-driver-v0.5.0) - 2025-11-05
+
+### Other
+
+- Revert "Merge pull request #700 from 0xMiden/revert-docs-merge"
+
 ## [0.0.8](https://github.com/0xMiden/compiler/compare/midenc-driver-v0.0.7...midenc-driver-v0.0.8) - 2025-04-24
 
 ### Other
diff --git a/midenc-session/CHANGELOG.md b/midenc-session/CHANGELOG.md
index b4b7b795a..288425688 100644
--- a/midenc-session/CHANGELOG.md
+++ b/midenc-session/CHANGELOG.md
@@ -6,6 +6,19 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.5.0](https://github.com/0xMiden/compiler/compare/midenc-session-v0.4.1...midenc-session-v0.5.0) - 2025-11-05
+
+### Added
+
+- add `RollupTarget::AuthComponent`
+
+### Other
+
+- Revert "Merge pull request #700 from 0xMiden/revert-docs-merge"
+- Revert "Merge pull request #692 from 0xMiden/chore/docusaurus-migration-next"
+- *(README)* add docs section explainer
+- Merge pull request #666 from 0xMiden/greenhat/i660-auth-proc
+
 ## [0.4.0](https://github.com/0xMiden/compiler/compare/midenc-session-v0.1.5...midenc-session-v0.4.0) - 2025-08-15
 
 ### Added
diff --git a/midenc/CHANGELOG.md b/midenc/CHANGELOG.md
index ae140d339..3c923789f 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.0](https://github.com/0xMiden/compiler/compare/0.4.1...0.5.0) - 2025-11-05
+
+### Other
+
+- Revert "Merge pull request #700 from 0xMiden/revert-docs-merge"
+
 ## [0.4.0](https://github.com/0xMiden/compiler/compare/midenc-v0.1.5...midenc-v0.4.0) - 2025-08-15
 
 ### Other
diff --git a/release-plz.toml b/release-plz.toml
index 335132758..dadb82f9c 100644
--- a/release-plz.toml
+++ b/release-plz.toml
@@ -3,12 +3,16 @@ pr_branch_prefix = "release-plz-"
 # Only publish when the release PR is merged
 # https://release-plz.dev/docs/config#the-release_always-field
 release_always = false
-# Skip GitHub releases and git tags by default, individual crates can opt in
+# Skip GitHub releases and git tags by default, individual crates can opt in.
+# We don't want release-plz creating tags for every published crate.
 git_release_enable = false
 git_tag_enable = false
 
 [[package]]
-name = "midenc"
+# The version bumps from any compiler crate should bubble up and bump the
+# `cargo-miden` version. Plus, any change to `cargo-miden` alone also calls for
+# the compiler release.
+name = "cargo-miden"
 git_release_enable = true
 git_tag_enable = true
 git_tag_name = "{{ version }}"
diff --git a/tools/cargo-miden/CHANGELOG.md b/tools/cargo-miden/CHANGELOG.md
index 96b59e6ed..8d10b00bc 100644
--- a/tools/cargo-miden/CHANGELOG.md
+++ b/tools/cargo-miden/CHANGELOG.md
@@ -6,6 +6,59 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.5.0](https://github.com/0xMiden/compiler/compare/cargo-miden-v0.4.1...cargo-miden-v0.5.0) - 2025-11-05
+
+### Added
+
+- remove explicit `miden.wit` dependency and use the one bundled with Miden SDK
+- convert all the `miden-base` functions to use .rlib stub library
+- convert stdlib functions to use .rlib stub library
+- convert the rest of the `intrinsics` to use .rlib stub library
+- convert all `intrinsics::felt` to use .rlib stub library
+- convert `add` felt intrinsic to use stub library instead of WIT interface
+- convert `hmerge` intrinsic to use stub function instead of WIT interface
+- lower function stub to MASM procedure call
+- try rlib stub for `miden::account::add_asset`
+
+### Fixed
+
+- `cargo-miden` picks the correct package from cargo metadata
+- account for generated WIT in `cargo miden example`
+- fix the build after merging #666 and #678 without rebasing
+- `cargo miden new` should skip `git init` if already in a git repo
+- update new project templates tag to v0.15.0
+
+### Other
+
+- use v0.22.0 git tag for new project templates (SDK v0.7)
+- Merge pull request #741 from 0xMiden/greenhat/i737-revamp-new
+- Merge pull request #744 from 0xMiden/greenhat/i734-hide-panic-handler-and-allo-boilerplate
+- update new project templates git tag to v0.20.0
+- Merge pull request #701 from 0xMiden/chore/docusaurus-migration-new
+- Merge pull request #721 from 0xMiden/greenhat/cargo-miden-cleanup
+- *(cargo-miden)* remove `Color` in favor of `midenc::session::ColorChoice`
+- delete commented out non_component.rs
+- unify core Wasm and component build process,
+- bump Miden SDK version to v0.6.0 and publish it
+- `cargo-miden` to handle only it's own commands (new, build, example)
+- update the git tag for new project templates
+- clean up miden.wit materialization code
+- Revert "Merge pull request #692 from 0xMiden/chore/docusaurus-migration-next"
+- Merge pull request #692 from 0xMiden/chore/docusaurus-migration-next
+- *(README)* add docs section explainer
+- Merge pull request #666 from 0xMiden/greenhat/i660-auth-proc
+- [**breaking**] version Miden SDK crates separately and set to v0.5.0
+- remove function skip list for `wit-bindgen` since we're not doing WIT imports anymore #341
+- extract abs path, remove redundant `RUSTFLAGS` `debuginfo` option,
+- split and move the rlib stub library compilation and linking from
+- move the miden-stdlib-sys stubs into the crate's build.rs
+- move the miden-base-sys stubs into the crate's build.rs
+- move .rlib stub library compilation closer to rustc flags
+- remove all the low-level Miden SDK WIT interface handling
+- split .rlib stub library further into submodules
+- don't hard-code file names of the .rlib stub library
+- extract rlib stub compilation into the separate module
+
 ## [0.4.1](https://github.com/0xMiden/compiler/compare/cargo-miden-v0.4.0...cargo-miden-v0.4.1) - 2025-09-03
 
 ### Added
diff --git a/tools/expect-test/CHANGELOG.md b/tools/expect-test/CHANGELOG.md
index a19eb2609..92c171230 100644
--- a/tools/expect-test/CHANGELOG.md
+++ b/tools/expect-test/CHANGELOG.md
@@ -7,6 +7,12 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.5.0](https://github.com/0xMiden/compiler/compare/midenc-expect-test-v0.4.1...midenc-expect-test-v0.5.0) - 2025-11-05
+
+### Other
+
+- Revert "Merge pull request #700 from 0xMiden/revert-docs-merge"
+
 ## [0.4.0](https://github.com/0xMiden/compiler/compare/midenc-expect-test-v0.1.5...midenc-expect-test-v0.4.0) - 2025-08-15
 
 ### Other