Merge pull request #635 from 0xMiden/release-plz-2025-aug-15

chore: prepare v0.4.0 release

Author: bitwalker

Cargo.lock

@@ -30,7 +30,7 @@ exclude = [
 ]
 
 [workspace.package]
-version = "0.1.5"
+version = "0.4.0"
 rust-version = "1.90"
 authors = ["Miden contributors"]
 description = "An intermediate representation and compiler for Miden Assembly"
@@ -127,25 +127,25 @@ wasmparser = { version = "0.227", default-features = false, features = [
 ] }
 
 # Workspace crates
-midenc-codegen-masm = { version = "0.1.5", path = "codegen/masm" }
-midenc-dialect-arith = { version = "0.1.5", path = "dialects/arith" }
-midenc-dialect-hir = { version = "0.1.5", path = "dialects/hir" }
-midenc-dialect-scf = { version = "0.1.5", path = "dialects/scf" }
-midenc-dialect-cf = { version = "0.1.5", path = "dialects/cf" }
-midenc-dialect-ub = { version = "0.1.5", path = "dialects/ub" }
-midenc-hir = { version = "0.1.5", path = "hir" }
-midenc-hir-analysis = { version = "0.1.5", path = "hir-analysis" }
-midenc-hir-eval = { version = "0.1.5", path = "eval" }
-midenc-hir-macros = { version = "0.1.5", path = "hir-macros" }
-midenc-hir-symbol = { version = "0.1.5", path = "hir-symbol" }
-midenc-hir-transform = { version = "0.1.5", path = "hir-transform" }
-midenc-hir-type = { version = "0.1.5", path = "hir-type" }
-midenc-frontend-wasm = { version = "0.1.5", path = "frontend/wasm" }
-midenc-compile = { version = "0.1.5", path = "midenc-compile" }
-midenc-driver = { version = "0.1.5", path = "midenc-driver" }
-midenc-debug = { version = "0.1.5", path = "midenc-debug" }
-midenc-session = { version = "0.1.5", path = "midenc-session" }
-cargo-miden = { version = "0.1.5", path = "tools/cargo-miden" }
+midenc-codegen-masm = { version = "0.4.0", path = "codegen/masm" }
+midenc-dialect-arith = { version = "0.4.0", path = "dialects/arith" }
+midenc-dialect-hir = { version = "0.4.0", path = "dialects/hir" }
+midenc-dialect-scf = { version = "0.4.0", path = "dialects/scf" }
+midenc-dialect-cf = { version = "0.4.0", path = "dialects/cf" }
+midenc-dialect-ub = { version = "0.4.0", path = "dialects/ub" }
+midenc-hir = { version = "0.4.0", path = "hir" }
+midenc-hir-analysis = { version = "0.4.0", path = "hir-analysis" }
+midenc-hir-eval = { version = "0.4.0", path = "eval" }
+midenc-hir-macros = { version = "0.4.0", path = "hir-macros" }
+midenc-hir-symbol = { version = "0.4.0", path = "hir-symbol" }
+midenc-hir-transform = { version = "0.4.0", path = "hir-transform" }
+midenc-hir-type = { version = "0.4.0", path = "hir-type" }
+midenc-frontend-wasm = { version = "0.4.0", path = "frontend/wasm" }
+midenc-compile = { version = "0.4.0", path = "midenc-compile" }
+midenc-driver = { version = "0.4.0", path = "midenc-driver" }
+midenc-debug = { version = "0.4.0", path = "midenc-debug" }
+midenc-session = { version = "0.4.0", path = "midenc-session" }
+cargo-miden = { version = "0.4.0", path = "tools/cargo-miden" }
 miden-integration-tests = { path = "tests/integration" }
 midenc-expect-test = { path = "tools/expect-test" }
 

Cargo.toml

@@ -25,4 +25,4 @@ criterion = "0.5"
 
 [[bench]]
 name = "is_prime_bench"
-harness = false
+harness = false

benches/Cargo.toml

@@ -6,6 +6,35 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.4.0](https://github.com/0xMiden/compiler/compare/midenc-codegen-masm-v0.1.5...midenc-codegen-masm-v0.4.0) - 2025-08-15
+
+### Added
+
+- implement advice map API in Miden SDK
+- add `crypto::hmerge()` in Miden SDK (`hmerge` VM intruction);
+
+### Fixed
+
+- add an extra memory page after the data segments to accommodate for
+- start `Linker::reserved_memory_pages` on the next page after rustc
+- *(codegen)* missing result renaming in ptrtoint lowering
+- two-operand optimized stack scheduling when only one value is on the stack #606
+- fix the manual two-operand ops stack scheduling, remove `BinaryOp` gate
+- do binary stack scheduling optimizations only for the binary ops (implementing
+- `Rodata::bytes_to_elements()` check if `into_remainder()` returns
+
+### Other
+
+- rename `io` to `advice`, export modules in stdlib SDK
+- Add the test that executes counter contract, basic wallet and p2id note script on the local node ([#555](https://github.com/0xMiden/compiler/pull/555))
+- make `DEFAULT_RESERVATION` include the extra page to
+- add comments with stack state in `heap_init`
+- update Rust toolchain nightly-2025-07-20 (1.90.0-nightly)
+- clean up
+- simplify `test_arg_order` test and move it to `misc` module
+- `hmerge` intrinsic to accept digests as a pointer and load
+- make `bytes_to_elements` infallible
+
 ## [0.1.5](https://github.com/0xMiden/compiler/compare/midenc-codegen-masm-v0.1.0...midenc-codegen-masm-v0.1.5) - 2025-07-01
 
 ### Added

codegen/masm/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.4.0](https://github.com/0xMiden/compiler/compare/midenc-dialect-arith-v0.1.5...midenc-dialect-arith-v0.4.0) - 2025-08-15
+
+### Other
+
+- Add $ParentTrait pattern to verify macro + Add SameTypeOperands as a explicit dependency

dialects/arith/CHANGELOG.md

@@ -6,6 +6,12 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.4.0](https://github.com/0xMiden/compiler/compare/midenc-dialect-hir-v0.1.5...midenc-dialect-hir-v0.4.0) - 2025-08-15
+
+### Other
+
+- Add $ParentTrait pattern to verify macro + Add SameTypeOperands as a explicit dependency
+
 ## [0.1.5](https://github.com/0xMiden/compiler/compare/midenc-dialect-hir-v0.1.0...midenc-dialect-hir-v0.1.5) - 2025-07-01
 
 ### Fixed