Merge pull request #758 from 0xMiden/main

chore: merge `main` into `next` after the v0.5.0 release (bumped versions, changelogs, etc.)

Author: greenhat

Cargo.lock

@@ -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" }
 

Cargo.toml

@@ -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

codegen/masm/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

dialects/arith/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"

dialects/cf/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

dialects/hir/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

dialects/scf/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"

dialects/ub/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