chore: release v0.7.0 by github-actions[bot] · Pull Request #947 · 0xMiden/compiler

github-actions · 2026-02-11T17:45:33Z

🤖 New release

midenc-hir-macros: 0.6.0 -> 0.7.0
midenc-hir-symbol: 0.6.0 -> 0.7.0 (⚠ API breaking changes)
midenc-session: 0.6.0 -> 0.7.0 (⚠ API breaking changes)
midenc-hir: 0.6.0 -> 0.7.0 (✓ API compatible changes)
midenc-dialect-arith: 0.6.0 -> 0.7.0 (⚠ API breaking changes)
midenc-dialect-cf: 0.6.0 -> 0.7.0 (✓ API compatible changes)
midenc-hir-analysis: 0.6.0 -> 0.7.0 (⚠ API breaking changes)
midenc-hir-transform: 0.6.0 -> 0.7.0 (✓ API compatible changes)
midenc-dialect-hir: 0.6.0 -> 0.7.0 (✓ API compatible changes)
midenc-dialect-ub: 0.6.0 -> 0.7.0 (✓ API compatible changes)
midenc-dialect-scf: 0.6.0 -> 0.7.0 (✓ API compatible changes)
midenc-codegen-masm: 0.6.0 -> 0.7.0 (✓ API compatible changes)
midenc-log: 0.6.0 -> 0.7.0 (✓ API compatible changes)
midenc-expect-test: 0.6.0 -> 0.7.0 (✓ API compatible changes)
midenc-hir-eval: 0.6.0 -> 0.7.0 (✓ API compatible changes)
midenc-frontend-wasm: 0.6.0 -> 0.7.0 (✓ API compatible changes)
midenc-compile: 0.6.0 -> 0.7.0 (✓ API compatible changes)
midenc-driver: 0.6.0 -> 0.7.0 (✓ API compatible changes)
midenc: 0.6.0 -> 0.7.0
cargo-miden: 0.6.0 -> 0.7.0 (✓ API compatible changes)

⚠ `midenc-hir-symbol` breaking changes

--- failure pub_module_level_const_missing: pub module-level const is missing ---

Description:
A public const is missing or renamed
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.46.0/src/lints/pub_module_level_const_missing.ron

Failed in:
  RpoFalcon512 in file /tmp/.tmppZQ3Jo/midenc-hir-symbol/target/semver-checks/local-midenc_hir_symbol-0_6_0-default-122f070bfe9a16ab/target/debug/build/midenc-hir-symbol-121ff13bf8b30b10/out/symbols.rs:232
  Rpo in file /tmp/.tmppZQ3Jo/midenc-hir-symbol/target/semver-checks/local-midenc_hir_symbol-0_6_0-default-122f070bfe9a16ab/target/debug/build/midenc-hir-symbol-121ff13bf8b30b10/out/symbols.rs:230
  Std in file /tmp/.tmppZQ3Jo/midenc-hir-symbol/target/semver-checks/local-midenc_hir_symbol-0_6_0-default-122f070bfe9a16ab/target/debug/build/midenc-hir-symbol-121ff13bf8b30b10/out/symbols.rs:238

⚠ `midenc-session` breaking changes

--- failure constructible_struct_adds_field: externally-constructible struct adds field ---

Description:
A pub struct constructible with a struct literal has a new pub field. Existing struct literals must be updated to include the new field.
        ref: https://doc.rust-lang.org/reference/expressions/struct-expr.html
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.46.0/src/lints/constructible_struct_adds_field.ron

Failed in:
  field Options.print_ir_before_stage in /tmp/.tmpwp5XxF/compiler/midenc-session/src/options/mod.rs:59
  field Options.print_ir_filters in /tmp/.tmpwp5XxF/compiler/midenc-session/src/options/mod.rs:67

--- failure enum_no_repr_variant_discriminant_changed: enum variant had its discriminant change value ---

Description:
The enum's variant had its discriminant value change. This breaks downstream code that used its value via a numeric cast like `as isize`.
        ref: https://doc.rust-lang.org/reference/items/enumerations.html#assigning-discriminant-values
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.46.0/src/lints/enum_no_repr_variant_discriminant_changed.ron

Failed in:
  variant OutputType::Hir 1 -> 2 in /tmp/.tmpwp5XxF/compiler/midenc-session/src/outputs.rs:63
  variant OutputType::Masm 2 -> 3 in /tmp/.tmpwp5XxF/compiler/midenc-session/src/outputs.rs:65
  variant OutputType::Mast 3 -> 4 in /tmp/.tmpwp5XxF/compiler/midenc-session/src/outputs.rs:67
  variant OutputTypeSpec::Typed 1 -> 2 in /tmp/.tmpwp5XxF/compiler/midenc-session/src/outputs.rs:542

--- failure enum_variant_added: enum variant added on exhaustive enum ---

Description:
A publicly-visible enum without #[non_exhaustive] has a new variant.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#enum-variant-new
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.46.0/src/lints/enum_variant_added.ron

Failed in:
  variant OutputType:Wat in /tmp/.tmpwp5XxF/compiler/midenc-session/src/outputs.rs:61
  variant OutputTypeSpec:Subset in /tmp/.tmpwp5XxF/compiler/midenc-session/src/outputs.rs:538
  variant OutputFile:Directory in /tmp/.tmpwp5XxF/compiler/midenc-session/src/outputs.rs:153

--- failure enum_variant_missing: pub enum variant removed or renamed ---

Description:
A publicly-visible enum has at least one variant that is no longer available under its prior name. It may have been renamed or removed entirely.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.46.0/src/lints/enum_variant_missing.ron

Failed in:
  variant OutputType::Masl, previously in file /tmp/.tmppZQ3Jo/midenc-session/src/outputs.rs:33

--- warning partial_ord_enum_variants_reordered: enum variants reordered in #[derive(PartialOrd)] enum ---

Description:
A public enum that derives PartialOrd had its variants reordered. #[derive(PartialOrd)] uses the enum variant order to set the enum's ordering behavior, so this change may break downstream code that relies on the previous order.
        ref: https://doc.rust-lang.org/std/cmp/trait.PartialOrd.html#derivable
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.46.0/src/lints/partial_ord_enum_variants_reordered.ron

Failed in:
  OutputType::Hir moved from position 2 to 3, in /tmp/.tmpwp5XxF/compiler/midenc-session/src/outputs.rs:63
  OutputType::Masm moved from position 3 to 4, in /tmp/.tmpwp5XxF/compiler/midenc-session/src/outputs.rs:65
  OutputType::Mast moved from position 4 to 5, in /tmp/.tmpwp5XxF/compiler/midenc-session/src/outputs.rs:67

⚠ `midenc-dialect-arith` breaking changes

--- failure inherent_method_missing: pub method removed or renamed ---

Description:
A publicly-visible method or associated fn is no longer available under its prior name. It may have been renamed or removed entirely.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.46.0/src/lints/inherent_method_missing.ron

Failed in:
  Split::result_high, previously in file /tmp/.tmppZQ3Jo/midenc-dialect-arith/src/ops/coercions.rs:263
  Split::result_high_mut, previously in file /tmp/.tmppZQ3Jo/midenc-dialect-arith/src/ops/coercions.rs:263
  Split::result_low, previously in file /tmp/.tmppZQ3Jo/midenc-dialect-arith/src/ops/coercions.rs:263
  Split::result_low_mut, previously in file /tmp/.tmppZQ3Jo/midenc-dialect-arith/src/ops/coercions.rs:263
  Join::high_limb, previously in file /tmp/.tmppZQ3Jo/midenc-dialect-arith/src/ops/coercions.rs:234
  Join::high_limb_mut, previously in file /tmp/.tmppZQ3Jo/midenc-dialect-arith/src/ops/coercions.rs:234
  Join::low_limb, previously in file /tmp/.tmppZQ3Jo/midenc-dialect-arith/src/ops/coercions.rs:234
  Join::low_limb_mut, previously in file /tmp/.tmppZQ3Jo/midenc-dialect-arith/src/ops/coercions.rs:234

--- failure method_parameter_count_changed: pub method parameter count changed ---

Description:
A publicly-visible method now takes a different number of parameters, not counting the receiver (self) parameter.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#fn-change-arity
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.46.0/src/lints/method_parameter_count_changed.ron

Failed in:
  midenc_dialect_arith::Split::create now takes 4 parameters instead of 3, in /tmp/.tmpwp5XxF/compiler/dialects/arith/src/ops/coercions.rs:309

--- failure method_requires_different_generic_type_params: method now requires a different number of generic type parameters ---

Description:
A method now requires a different number of generic type parameters than it used to. Uses of this method that supplied the previous number of generic types will be broken.
        ref: https://doc.rust-lang.org/reference/items/generics.html
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.46.0/src/lints/method_requires_different_generic_type_params.ron

Failed in:
  midenc_dialect_arith::Join::create takes 2 generic types instead of 1, in /tmp/.tmpwp5XxF/compiler/dialects/arith/src/ops/coercions.rs:252

--- failure trait_method_parameter_count_changed: pub trait method parameter count changed ---

Description:
A trait method now takes a different number of parameters.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#major-any-change-to-trait-item-signatures
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.46.0/src/lints/trait_method_parameter_count_changed.ron

Failed in:
  ArithOpBuilder::split now takes 3 instead of 2 parameters, in file /tmp/.tmpwp5XxF/compiler/dialects/arith/src/builders.rs:539

--- failure trait_method_requires_different_generic_type_params: trait method now requires a different number of generic type parameters ---

Description:
A trait method now requires a different number of generic type parameters than it used to. Calls or implementations of this trait method using the previous number of generic types will be broken.
        ref: https://doc.rust-lang.org/reference/items/generics.html
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.46.0/src/lints/trait_method_requires_different_generic_type_params.ron

Failed in:
  ArithOpBuilder::join (0 -> 1 generic types) in /tmp/.tmpwp5XxF/compiler/dialects/arith/src/builders.rs:504

--- failure trait_no_longer_dyn_compatible: trait no longer dyn compatible ---

Description:
Trait is no longer dyn compatible, which breaks `dyn Trait` usage.
        ref: https://doc.rust-lang.org/stable/reference/items/traits.html#object-safety
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.46.0/src/lints/trait_no_longer_dyn_compatible.ron

Failed in:
  trait ArithOpBuilder in file /tmp/.tmpwp5XxF/compiler/dialects/arith/src/builders.rs:8

⚠ `midenc-hir-analysis` breaking changes

--- failure inherent_method_missing: pub method removed or renamed ---

Description:
A publicly-visible method or associated fn is no longer available under its prior name. It may have been renamed or removed entirely.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.46.0/src/lints/inherent_method_missing.ron

Failed in:
  SpillAnalysis::spills_mut, previously in file /tmp/.tmppZQ3Jo/midenc-hir-analysis/src/analyses/spills.rs:516
  SpillAnalysis::reloads_mut, previously in file /tmp/.tmppZQ3Jo/midenc-hir-analysis/src/analyses/spills.rs:552
  SpillAnalysis::spills_mut, previously in file /tmp/.tmppZQ3Jo/midenc-hir-analysis/src/analyses/spills.rs:516
  SpillAnalysis::reloads_mut, previously in file /tmp/.tmppZQ3Jo/midenc-hir-analysis/src/analyses/spills.rs:552

Changelog

`midenc-hir-macros`

midenc-hir-macros - 0.7.0 - 2026-02-11

Other

Update README.md

rename inter set to ir

rename MIDENC_EXPAND env var to MIDENC_EMIT_MACRO_EXPAND,

`midenc-hir-symbol`

midenc-hir-symbol - 0.7.0 - 2026-02-11

Fixed

link name for falcon512pro::verify MASM procedure

rename stdlib's rpo_falcon512 module to falcon512_rpo

rename stdlb hashes::rpo to hashes::rpo256, symbols cleanup

std -> miden::core rename in stdlib

path (add protocol) in the frontend tx kernel bindings

Other

Merge pull request wip: fix various compilation issues and codegen blockers #922 from 0xMiden/bitwalker/codegen-fixes-and-improvements

rename inter set to ir

rename MIDENC_EXPAND env var to MIDENC_EMIT_MACRO_EXPAND,

`midenc-session`

midenc-session - 0.7.0 - 2026-02-11

Added

add inter group to --emit option (wat, hir, masm)

add WAT support in --emit option

Fixed

treat --emit=all=path as a directory

handle relative paths in OutputFile::Directory

write hir and masm in --emit option and preserve Miden

Other

Merge pull request wip: fix various compilation issues and codegen blockers #922 from 0xMiden/bitwalker/codegen-fixes-and-improvements

Update README.md

formatting

migrate to VM v0.20

remove OutputType::Masl

make OutputType:all and ir return &'static [OutputType]

make OutputTypeSpec::Inter into OutputTypeSpec::Subset

rename inter set to ir

rename MIDENC_EXPAND env var to MIDENC_EMIT_MACRO_EXPAND,

`midenc-hir`

midenc-hir - 0.7.0 - 2026-02-11

Added

implement basic mem2reg-style pass for locals

improve ergonomics of PostPassStatus

improve operation apis related to side effects

surface has_ssa_dominance in region and domtree apis

improving compiler tracing infrastructure

(driver) support ir filters for printing

Fixed

improve codegen quality of wasm-translated programs

uniqued constants left untracked after inserted by op folder

old empty blocks left in scf.while after while-unused-result

(analysis) ensure domtree has dfs numbers on creation

remove name sanitizing in the codegen, use quoted symbols,

upto linker

use arena allocation for keyed successor keys

Other

cache stack_size in ValueOrAlias to avoid repeated virtual dispatch

Merge pull request wip: fix various compilation issues and codegen blockers #922 from 0xMiden/bitwalker/codegen-fixes-and-improvements

remove duplication in erase_block using block.erase()

correct documentation for notify_block_inserted

Merge pull request fix(hir): handle ZST correctly in Arena::extend #911 from sashass1315/fix/arena-zst-extend

Merge pull request [1/x] chore: migrate to VM v0.20 (continued) #907 from 0xMiden/i899-migrate-vm-v0.20-storage

better error handling, use LibraryPath::push_component in

update outdated references to hold *EntityHandle types

rename inter set to ir

rename MIDENC_EXPAND env var to MIDENC_EMIT_MACRO_EXPAND,

`midenc-dialect-arith`

midenc-dialect-arith - 0.7.0 - 2026-02-11

Added

support variadic limbs in arith.split/arith.join

rework split and join to work on all integer types,

Other

Update README.md

document arith canonicalization module

add join2/join4 and split2/split4 helpers

update auth_component_rpo_falcon512 expected files

cover arith.rotl/arith.rotr by 32 canonicalization

hoist Symbol::intern in rotate canonicalization

rename inter set to ir

rename MIDENC_EXPAND env var to MIDENC_EMIT_MACRO_EXPAND,

`midenc-dialect-cf`

midenc-dialect-cf - 0.7.0 - 2026-02-11

Other

Update README.md

rename inter set to ir

rename MIDENC_EXPAND env var to MIDENC_EMIT_MACRO_EXPAND,

`midenc-hir-analysis`

midenc-hir-analysis - 0.7.0 - 2026-02-11

Added

improving compiler tracing infrastructure

Fixed

publishing issue with workspace dev-dependencies

reduce noise in spill pass instrumentation

incorrect block visitation order in spills transform

aliasing violations found while trying different pass orderings

(analysis) aliasing violation in sparse forward dataflow

remove unused mut in spill usage

avoid unused over-K usage assignments

handle over-K scf.yield in SpillAnalysis

prefer destination placement for structured spills

deduplicate SpillAnalysis spills and reloads

preserve ProgramPoint in is_spilled_at/is_reloaded_at

spill the block args if > K(16)

Other

Merge pull request wip: fix various compilation issues and codegen blockers #922 from 0xMiden/bitwalker/codegen-fixes-and-improvements

(compile) move spills transform before scf lifting

extract over-K spill helper

remove SpillAnalysis spills_mut/reloads_mut

harden spill analysis accounting

update auth_component_rpo_falcon512 expected files

index SpillAnalysis spill/reload dedup

remove redundant is_spilled_at checks

cover over-K entry args in SpillAnalysis

rename inter set to ir

rename MIDENC_EXPAND env var to MIDENC_EMIT_MACRO_EXPAND,

`midenc-hir-transform`

midenc-hir-transform - 0.7.0 - 2026-02-11

Added

(transform) implement common subexpression elimination pass

improving compiler tracing infrastructure

Fixed

publishing issue with workspace dev-dependencies

reduce noise in spill pass instrumentation

aliasing violations found while trying different pass orderings

(analysis) ensure domtree has dfs numbers on creation

include scf.while after region uses in spill rewrite invalid stack offset for movup: 16 is out of range compilation error #831

rewrite uses of spilled values in any nested regions of op.

Other

Merge pull request wip: fix various compilation issues and codegen blockers #922 from 0xMiden/bitwalker/codegen-fixes-and-improvements

(cse) add initial common subexpression elimination tests

rename spill-use helpers and skip IsolatedFromAbove

(spill) generalize nested-region use rewriting

rename inter set to ir

rename MIDENC_EXPAND env var to MIDENC_EMIT_MACRO_EXPAND,

`midenc-dialect-hir`

midenc-dialect-hir - 0.7.0 - 2026-02-11

Added

implement basic mem2reg-style pass for locals

improving compiler tracing infrastructure

Fixed

publishing issue with workspace dev-dependencies

include scf.while after region uses in spill rewrite invalid stack offset for movup: 16 is out of range compilation error #831

rewrite uses of spilled values in any nested regions of op.

Other

Merge pull request wip: fix various compilation issues and codegen blockers #922 from 0xMiden/bitwalker/codegen-fixes-and-improvements

(local2reg) add local2reg tests

use litcheck_filecheck::filecheck! for spill rewrite test

add scf.while after-region spill rewrite repro invalid stack offset for movup: 16 is out of range compilation error #831

rename inter set to ir

rename MIDENC_EXPAND env var to MIDENC_EMIT_MACRO_EXPAND,

`midenc-dialect-ub`

midenc-dialect-ub - 0.7.0 - 2026-02-11

Other

Update README.md

rename inter set to ir

rename MIDENC_EXPAND env var to MIDENC_EMIT_MACRO_EXPAND,

`midenc-dialect-scf`

midenc-dialect-scf - 0.7.0 - 2026-02-11

Added

improving compiler tracing infrastructure

Fixed

publishing issue with workspace dev-dependencies

(scf) printing of scf.while with no results

old empty blocks left in scf.while after while-unused-result

aliasing violations found while trying different pass orderings

Other

Merge pull request wip: fix various compilation issues and codegen blockers #922 from 0xMiden/bitwalker/codegen-fixes-and-improvements

rename inter set to ir

rename MIDENC_EXPAND env var to MIDENC_EMIT_MACRO_EXPAND,

`midenc-codegen-masm`

midenc-codegen-masm - 0.7.0 - 2026-02-11

Added

improving compiler tracing infrastructure

support variadic limbs in arith.split/arith.join

rework split and join to work on all integer types,

Fixed

publishing issue with workspace dev-dependencies

(codegen) implement lowering for load/store of pointer values

skip core modules in MasmComponent display

remove name sanitizing in the codegen, use quoted symbols,

prepend :: for missed symbols in emit::int64 module

sanitize a Wasm CM full path as a function name.

convert :: in the function name to the double underscore.

prefix miden::core symbols with ::

upto linker

relax OperandStack::rename to allow >16 deep indices

exhaust tactics before stopping on fuel

generalize LinearStackWindow copy materialization

increase the default fuel amount in the solver to 40

import MASM_STACK_WINDOW_FELTS in Linear

base Linear special-case on felt depth

reject unsupported solutions without skipping fuel

avoid unsupported stack access in Linear

(solver) reject deeper than 16 element window solutions, update linear tactic

swapping 64-bit limbs for immediate store_dw

calculate HEAP_END according to the comment and put it below HEAP_INFO_ADDR

move HEAP_INFO_ADDR to not clash with procedure locals space

Other

Merge pull request wip: fix various compilation issues and codegen blockers #922 from 0xMiden/bitwalker/codegen-fixes-and-improvements

better error handling, use LibraryPath::push_component in

remove unused debug-mode plumbing

formatting

migrate to VM v0.20

Merge pull request fix: use Drop instead of DropW for remainder in truncate_stack #897 from VolodymyrBg/fix/truncate-stack-drop-instruction

fix comment

add targeted trace logs for LinearStackWindow

add LinearStackWindow tests

move linear tactic proptest to solver to allow the fallback to

move LinearStackWindow tests to solver tests module

extract LinearStackWindow tactic as a wrapper around

add "executable documentation" tests in Linear tactic

run rustfmt

clarify Linear regression test invariant

extract Linear pre-move helper

clarify MASM stack window terminology

use MASM_STACK_WINDOW_FELTS constant

fix the code comments

Merge pull request Typed note inputs #808 from 0xMiden/greenhat/i698-typed-note-inputs

move Masm component and Wat emission to the codegen and frontend

rename inter set to ir

rename MIDENC_EXPAND env var to MIDENC_EMIT_MACRO_EXPAND,

`midenc-log`

midenc-log - 0.7.0 - 2026-02-11

Other

Merge pull request wip: fix various compilation issues and codegen blockers #922 from 0xMiden/bitwalker/codegen-fixes-and-improvements

`midenc-expect-test`

midenc-expect-test - 0.7.0 - 2026-02-11

Other

Update README.md

rename inter set to ir

rename MIDENC_EXPAND env var to MIDENC_EMIT_MACRO_EXPAND,

`midenc-hir-eval`

midenc-hir-eval - 0.7.0 - 2026-02-11

Other

Update README.md

rename inter set to ir

rename MIDENC_EXPAND env var to MIDENC_EMIT_MACRO_EXPAND,

`midenc-frontend-wasm`

midenc-frontend-wasm - 0.7.0 - 2026-02-11

Added

(sdk) [breaking] assert value <= Felt::M in Felt::from_u64_unchecked (#891)

Fixed

remove miden::active_note::add_assets_to_account because

SDK bindings for *_note::get_metadata

improve codegen quality of wasm-translated programs

rename stdlib's rpo_falcon512 module to falcon512_rpo

updated protocol v0.13 bindings output_note::create(tag, note_type, recipient),

rename stdlib Blake3 hash_1to1 to hash and hash_2to1 to merge

rename stdlib SHA256 hash_1to1 to hash and hash_2to1 to merge

rename stdlb hashes::rpo to hashes::rpo256, symbols cleanup

rename stdlib hash_memory and hash_memory_words to hash_elements and

std -> miden::core rename in stdlib

convert the rest of the std to miden::core in the bindings

upto linker

path (add protocol) in the frontend tx kernel bindings

Other

Merge pull request wip: fix various compilation issues and codegen blockers #922 from 0xMiden/bitwalker/codegen-fixes-and-improvements

remove intrinsics::mem::heap_base special treatment for inlining

remove unused MODULE_ID

Merge pull request debuginfo: Use effective spans on ub.unreachable #895 from walnuthq/feature/improve-source-loc-coverage

Use effective spans on ub.unreachable

Merge pull request Inline stubs #843 from walnuthq/pr/inline-stubs

Inline stubs that are ops only

inline linker stubs at call sites

`midenc-compile`

midenc-compile - 0.7.0 - 2026-02-11

Added

implement basic mem2reg-style pass for locals

(driver) support ir filters for printing

add WAT support in --emit option

Fixed

improve codegen quality of wasm-translated programs

(driver) broken -Z/-C option handling

upto linker

no_std build

write hir and masm in --emit option and preserve Miden

Other

Merge pull request wip: fix various compilation issues and codegen blockers #922 from 0xMiden/bitwalker/codegen-fixes-and-improvements

change pass order to improve quality of generated code

(compile) move spills transform before scf lifting

migrate to VM v0.20

move Masm component and Wat emission to the codegen and frontend

remove OutputType::Masl

rename inter set to ir

rename MIDENC_EXPAND env var to MIDENC_EMIT_MACRO_EXPAND,

better error messages, code cleanup

pre-allocate string for WAT printer

`midenc-driver`

midenc-driver - 0.7.0 - 2026-02-11

Other

Merge pull request wip: fix various compilation issues and codegen blockers #922 from 0xMiden/bitwalker/codegen-fixes-and-improvements

Update README.md

rename inter set to ir

rename MIDENC_EXPAND env var to MIDENC_EMIT_MACRO_EXPAND,

`midenc`

midenc - 0.7.0 - 2026-02-11

Added

improving compiler tracing infrastructure

Other

Merge pull request wip: fix various compilation issues and codegen blockers #922 from 0xMiden/bitwalker/codegen-fixes-and-improvements

rename inter set to ir

rename MIDENC_EXPAND env var to MIDENC_EMIT_MACRO_EXPAND,

`cargo-miden`

cargo-miden - 0.7.0 - 2026-02-11

Added

improving compiler tracing infrastructure

re-export BuildCommand::exec

gate on-chain Felt behind cfg(miden)

introduce onchain/offchain serialization into felts

Fixed

cargo miden test no longer hangs

gate sdk Wasm intrinsics behind cfg(miden)

Other

update new project git tags (with SDK v0.10)

Merge pull request wip: fix various compilation issues and codegen blockers #922 from 0xMiden/bitwalker/codegen-fixes-and-improvements

remove cargo miden example command

migrate to VM v0.20

switch contract template repo to v0.25.0 (#[note] + #[entrypoint]`)

remove unneeded cargo test flags

move spawn_cargo to tools/cargo-miden/src/utils.rs

Merge branch 'next' into fabrizioorsi/custom-test-harness

rename miden-felt crate to miden-field

Merge pull request Typed note inputs #808 from 0xMiden/greenhat/i698-typed-note-inputs

restore basic-wallet support in the cargo miden example

remove basic-wallet from cargo miden example Create a new home (repo) for the examples #662

This PR was generated with release-plz.

greenhat · 2026-02-11T17:55:43Z

It's the first time I see release-plz bumping the minor version.

chore: release v0.7.0

bbbc525

chore: trigger CI

0d16f3e

greenhat requested review from bitwalker and greenhat February 11, 2026 18:01

greenhat approved these changes Feb 11, 2026

View reviewed changes

bitwalker approved these changes Feb 11, 2026

View reviewed changes

greenhat merged commit a9910bb into main Feb 11, 2026
12 checks passed

greenhat deleted the release-plz-2026-02-11T17-45-31Z branch February 11, 2026 18:19

This was referenced Feb 11, 2026

chore: release v0.7.0 #948

Closed

Release job creates a new release PR after merging the release PR #955

Closed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

chore: release v0.7.0#947

chore: release v0.7.0#947
greenhat merged 2 commits intomainfrom
release-plz-2026-02-11T17-45-31Z

github-actions bot commented Feb 11, 2026

Uh oh!

greenhat commented Feb 11, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Conversation

github-actions bot commented Feb 11, 2026

🤖 New release

⚠ midenc-hir-symbol breaking changes

⚠ midenc-session breaking changes

⚠ midenc-dialect-arith breaking changes

⚠ midenc-hir-analysis breaking changes

midenc-hir-macros

midenc-hir-macros - 0.7.0 - 2026-02-11

Other

midenc-hir-symbol

midenc-hir-symbol - 0.7.0 - 2026-02-11

Fixed

Other

midenc-session

midenc-session - 0.7.0 - 2026-02-11

Added

Fixed

Other

midenc-hir

midenc-hir - 0.7.0 - 2026-02-11

Added

Fixed

Other

midenc-dialect-arith

midenc-dialect-arith - 0.7.0 - 2026-02-11

Added

Other

midenc-dialect-cf

midenc-dialect-cf - 0.7.0 - 2026-02-11

Other

midenc-hir-analysis

midenc-hir-analysis - 0.7.0 - 2026-02-11

Added

Fixed

Other

midenc-hir-transform

midenc-hir-transform - 0.7.0 - 2026-02-11

Added

Fixed

Other

midenc-dialect-hir

midenc-dialect-hir - 0.7.0 - 2026-02-11

Added

Fixed

Other

midenc-dialect-ub

midenc-dialect-ub - 0.7.0 - 2026-02-11

Other

midenc-dialect-scf

midenc-dialect-scf - 0.7.0 - 2026-02-11

Added

Fixed

Other

midenc-codegen-masm

midenc-codegen-masm - 0.7.0 - 2026-02-11

Added

Fixed

Other

midenc-log

midenc-log - 0.7.0 - 2026-02-11

Other

midenc-expect-test

midenc-expect-test - 0.7.0 - 2026-02-11

Other

midenc-hir-eval

midenc-hir-eval - 0.7.0 - 2026-02-11

Other

midenc-frontend-wasm

midenc-frontend-wasm - 0.7.0 - 2026-02-11

Added

Fixed

Other

midenc-compile

midenc-compile - 0.7.0 - 2026-02-11

Added

Fixed

Other

midenc-driver

midenc-driver - 0.7.0 - 2026-02-11

⚠ `midenc-hir-symbol` breaking changes

⚠ `midenc-session` breaking changes

⚠ `midenc-dialect-arith` breaking changes

⚠ `midenc-hir-analysis` breaking changes

`midenc-hir-macros`

`midenc-hir-macros` - 0.7.0 - 2026-02-11

`midenc-hir-symbol`

`midenc-hir-symbol` - 0.7.0 - 2026-02-11

`midenc-session`

`midenc-session` - 0.7.0 - 2026-02-11

`midenc-hir`

`midenc-hir` - 0.7.0 - 2026-02-11

`midenc-dialect-arith`

`midenc-dialect-arith` - 0.7.0 - 2026-02-11

`midenc-dialect-cf`

`midenc-dialect-cf` - 0.7.0 - 2026-02-11

`midenc-hir-analysis`

`midenc-hir-analysis` - 0.7.0 - 2026-02-11

`midenc-hir-transform`

`midenc-hir-transform` - 0.7.0 - 2026-02-11

`midenc-dialect-hir`

`midenc-dialect-hir` - 0.7.0 - 2026-02-11

`midenc-dialect-ub`

`midenc-dialect-ub` - 0.7.0 - 2026-02-11

`midenc-dialect-scf`

`midenc-dialect-scf` - 0.7.0 - 2026-02-11

`midenc-codegen-masm`

`midenc-codegen-masm` - 0.7.0 - 2026-02-11

`midenc-log`

`midenc-log` - 0.7.0 - 2026-02-11

`midenc-expect-test`

`midenc-expect-test` - 0.7.0 - 2026-02-11

`midenc-hir-eval`

`midenc-hir-eval` - 0.7.0 - 2026-02-11

`midenc-frontend-wasm`

`midenc-frontend-wasm` - 0.7.0 - 2026-02-11

`midenc-compile`

`midenc-compile` - 0.7.0 - 2026-02-11

`midenc-driver`

`midenc-driver` - 0.7.0 - 2026-02-11

`midenc`

`midenc` - 0.7.0 - 2026-02-11

`cargo-miden`

`cargo-miden` - 0.7.0 - 2026-02-11