chore: release v0.5.1

[github-actions]

🤖 New release

• midenc-hir-macros: 0.5.0 -> 0.5.1
• midenc-hir-symbol: 0.5.0 -> 0.5.1
• midenc-session: 0.5.0 -> 0.5.1
• midenc-hir: 0.5.0 -> 0.5.1
• midenc-dialect-arith: 0.5.0 -> 0.5.1
• midenc-dialect-cf: 0.5.0 -> 0.5.1
• midenc-hir-analysis: 0.5.0 -> 0.5.1
• midenc-hir-transform: 0.5.0 -> 0.5.1
• midenc-dialect-hir: 0.5.0 -> 0.5.1
• midenc-dialect-ub: 0.5.0 -> 0.5.1
• midenc-dialect-scf: 0.5.0 -> 0.5.1
• midenc-codegen-masm: 0.5.0 -> 0.5.1
• midenc-expect-test: 0.5.0 -> 0.5.1
• midenc-hir-eval: 0.5.0 -> 0.5.1
• midenc-frontend-wasm: 0.5.0 -> 0.5.1
• midenc-compile: 0.5.0 -> 0.5.1
• midenc-debug: 0.5.0 -> 0.5.1
• midenc-driver: 0.5.0 -> 0.5.1
• midenc: 0.5.0 -> 0.5.1
• cargo-miden: 0.5.0 -> 0.5.1 (✓ API compatible changes)

Changelog

midenc-hir-macros

0.5.0 - 2025-11-05

Other

• Revert "Merge pull request Revert merging #692 #700 from 0xMiden/revert-docs-merge"

midenc-hir-symbol

0.5.0 - 2025-11-05

Added

• auth_rpo-falcon512 authentication component implemented in Rust

Other

• Revert "Merge pull request Revert merging #692 #700 from 0xMiden/revert-docs-merge"
• Revert "Merge pull request Migrate docs from mdbook to docusaurus #692 from 0xMiden/chore/docusaurus-migration-next"
• (README) add docs section explainer

midenc-session

0.5.0 - 2025-11-05

Added

• add RollupTarget::AuthComponent

Other

• Revert "Merge pull request Revert merging #692 #700 from 0xMiden/revert-docs-merge"
• Revert "Merge pull request Migrate docs from mdbook to docusaurus #692 from 0xMiden/chore/docusaurus-migration-next"
• (README) add docs section explainer
• Merge pull request [1/2] Authentication component rollup target #666 from 0xMiden/greenhat/i660-auth-proc

midenc-hir

0.5.0 - 2025-11-05

Fixed

• don't export core Wasm function after lifting Don't export core Wasm function that was lifted as component export #667
• in [dev-dependencies] specify our crates with path only.

Other

• Revert "Merge pull request Revert merging #692 #700 from 0xMiden/revert-docs-merge"
• Revert "Merge pull request Migrate docs from mdbook to docusaurus #692 from 0xMiden/chore/docusaurus-migration-next"
• (README) add docs section explainer

midenc-dialect-arith

0.5.0 - 2025-11-05

Other

• Revert "Merge pull request Revert merging #692 #700 from 0xMiden/revert-docs-merge"

midenc-dialect-cf

0.5.0 - 2025-11-05

Other

• Revert "Merge pull request Revert merging #692 #700 from 0xMiden/revert-docs-merge"

midenc-hir-analysis

0.5.0 - 2025-11-05

Fixed

• in [dev-dependencies] specify our crates with path only.

Other

• Merge pull request Migrate docs from mdbook to Docusaurus #701 from 0xMiden/chore/docusaurus-migration-new
• (deps) clean up unused/yanked/vulnerable deps
• Revert "Merge pull request Migrate docs from mdbook to docusaurus #692 from 0xMiden/chore/docusaurus-migration-next"
• (README) add docs section explainer

midenc-hir-transform

0.5.0 - 2025-11-05

Other

• Revert "Merge pull request Revert merging #692 #700 from 0xMiden/revert-docs-merge"

midenc-dialect-hir

0.5.0 - 2025-11-05

Other

• Merge pull request Migrate docs from mdbook to Docusaurus #701 from 0xMiden/chore/docusaurus-migration-new
• (deps) clean up unused/yanked/vulnerable deps

midenc-dialect-ub

0.5.0 - 2025-11-05

Other

• Revert "Merge pull request Revert merging #692 #700 from 0xMiden/revert-docs-merge"

midenc-dialect-scf

0.5.0 - 2025-11-05

Other

• Revert "Merge pull request Revert merging #692 #700 from 0xMiden/revert-docs-merge"

midenc-codegen-masm

0.5.0 - 2025-11-05

Fixed

• support --test-harness with no/multiple initializers
• incorrect lowering of >= 128-bit bnot (#725)
• move data segments merging to the codegen, preserving readonly attribute in IR Move the data segment merge and alignment from the frontend to the codegen #634

Other

• Merge pull request Migrate docs from mdbook to Docusaurus #701 from 0xMiden/chore/docusaurus-migration-new
• Fix codegen for cf.select of 64bit values.
• Merge pull request refactor(codegen-masm): remove petgraph from Linear tactic, add no_std SCC #713 from radik878/chore/remove-petgraph-midenc-codegen-masm-447
• (deps) update to no-std compatible petgraph
• Revert "Merge pull request Migrate docs from mdbook to docusaurus #692 from 0xMiden/chore/docusaurus-migration-next"
• Merge pull request Migrate docs from mdbook to docusaurus #692 from 0xMiden/chore/docusaurus-migration-next
• (README) add docs section explainer
• Merge pull request [2/2] auth_tx_rpo_falcon512 authentication component implemented in Rust #678 from 0xMiden/greenhat/i534-auth-rpo-falcon
• Merge pull request [1/2] Authentication component rollup target #666 from 0xMiden/greenhat/i660-auth-proc
• Merge branch 'next' into fabrizioorsi/update-vm-0.17

midenc-expect-test

0.5.0 - 2025-11-05

Other

• Revert "Merge pull request Revert merging #692 #700 from 0xMiden/revert-docs-merge"

midenc-hir-eval

0.5.0 - 2025-11-05

Other

• Revert "Merge pull request Revert merging #692 #700 from 0xMiden/revert-docs-merge"
• Revert "Merge pull request Migrate docs from mdbook to docusaurus #692 from 0xMiden/chore/docusaurus-migration-next"
• (README) add docs section explainer

midenc-frontend-wasm

0.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 Move the data segment merge and alignment from the frontend to the codegen #634

Other

• use hash_memory_words under the hood of SDK hash_words
• draft enum support in WIT generation
• Merge pull request Migrate docs from mdbook to Docusaurus #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 [2/2] auth_tx_rpo_falcon512 authentication component implemented in Rust #678 from 0xMiden/greenhat/i534-auth-rpo-falcon
• Merge pull request [1/2] Authentication component rollup target #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

midenc-compile

0.5.0 - 2025-11-05

Other

• Revert "Merge pull request Revert merging #692 #700 from 0xMiden/revert-docs-merge"
• Revert "Merge pull request Migrate docs from mdbook to docusaurus #692 from 0xMiden/chore/docusaurus-migration-next"
• (README) add docs section explainer
• replace miden_processor::Digest in favor of miden_core::Word

midenc-debug

0.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 Revert merging #692 #700 from 0xMiden/revert-docs-merge"
• Revert "Merge pull request Migrate docs from mdbook to docusaurus #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

midenc-driver

0.5.0 - 2025-11-05

Other

• Revert "Merge pull request Revert merging #692 #700 from 0xMiden/revert-docs-merge"

midenc

0.5.0 - 2025-11-05

Other

• Revert "Merge pull request Revert merging #692 #700 from 0xMiden/revert-docs-merge"

cargo-miden

0.5.1 - 2025-11-13

Other

• update default project template repo URL

---

This PR was generated with release-plz.