v0.1.6

0.1.6 (2026-06-03)

Bug Fixes

• complete diagnostics follow-up reporting (10fcfba)

Zmeu v0.1.5

Zmeu v0.1.5

Linux x86_64 prototype release built with:

• cargo build --profile dist --features mlir-backend
• clang-22, lld-22, llvm-22-dev, libmlir-22-dev, mlir-22-tools

The archive includes:

• bin/zmeu
• bin/clang
• bin/lld and bin/ld.lld
• lib/libzmeu_runtime.a
• bundled LLVM/MLIR/Clang shared libraries
• README.release.md
• LICENSE, when present in the repository

This release is intended to run without system LLVM/MLIR/Clang/lld
packages after extraction.

Zmeu v0.1.4

Zmeu v0.1.4

Linux x86_64 prototype release built with:

• cargo build --profile dist --features mlir-backend
• clang-20, lld-20, llvm-20-dev, libmlir-20-dev, mlir-20-tools

The archive includes:

• zmeu
• libZmeuMLIR.so
• README.release.md
• LICENSE, when present in the repository

This release is relocatable for the Zmeu MLIR bridge by using an
$ORIGIN rpath, but it still requires LLVM/MLIR/clang/lld 20 from the
target system.

Zmeu v0.1.3

Zmeu v0.1.3

Linux x86_64 prototype release built with:

• cargo build --profile dist --features mlir-backend
• clang-20, lld-20, llvm-20-dev, libmlir-20-dev, mlir-20-tools

The archive includes:

• zmeu
• libZmeuMLIR.so
• README.release.md
• LICENSE, when present in the repository

This release is relocatable for the Zmeu MLIR bridge by using an
$ORIGIN rpath, but it still requires LLVM/MLIR/clang/lld 20 from the
target system.

Zmeu v0.1.2.15

Zmeu v0.1.2.15

Linux x86_64 prototype release built with:

• cargo build --profile dist --features mlir-backend
• clang-20, lld-20, llvm-20-dev, libmlir-20-dev, mlir-20-tools

The archive includes:

• zmeu
• libZmeuMLIR.so
• README.release.md
• LICENSE, when present in the repository

This release is relocatable for the Zmeu MLIR bridge by using an
$ORIGIN rpath, but it still requires LLVM/MLIR/clang/lld 20 from the
target system.

Zmeu v0.1.2.14

Zmeu v0.1.2.14

Linux x86_64 prototype release built with:

• cargo build --profile dist --features mlir-backend
• clang-20, lld-20, llvm-20-dev, libmlir-20-dev, mlir-20-tools

The archive includes:

• zmeu
• libZmeuMLIR.so
• README.release.md
• LICENSE, when present in the repository

This release is relocatable for the Zmeu MLIR bridge by using an
$ORIGIN rpath, but it still requires LLVM/MLIR/clang/lld 20 from the
target system.

Zmeu v0.1.2.13

Zmeu v0.1.2.13

Linux x86_64 prototype release built with:

• cargo build --profile dist --features mlir-backend
• clang-20, lld-20, llvm-20-dev, libmlir-20-dev, mlir-20-tools

The archive includes:

• zmeu
• libZmeuMLIR.so
• README.release.md
• LICENSE, when present in the repository

This release is relocatable for the Zmeu MLIR bridge by using an
$ORIGIN rpath, but it still requires LLVM/MLIR/clang/lld 20 from the
target system.

Zmeu v0.1.2.12

Zmeu v0.1.2.12

Linux x86_64 prototype release built with:

• cargo build --profile dist --features mlir-backend
• clang-20, lld-20, llvm-20-dev, libmlir-20-dev, mlir-20-tools

The archive includes:

• zmeu
• libZmeuMLIR.so
• README.release.md
• LICENSE, when present in the repository

This release is relocatable for the Zmeu MLIR bridge by using an
$ORIGIN rpath, but it still requires LLVM/MLIR/clang/lld 20 from the
target system.

v0.1.2.10

Performance follow-up for v0.1.2.

• Propagate proven in-bounds facts into nested slice/array indexed expressions.
• Elide panic polling for loop-body element reads proven by i < source.len.
• Remove remaining range-slice OOB call in the benchmark hot helper shape.
• Extend benchmark IR counts with post-clang -O3 panic/OOB/helper-call counters and ZMEU_BIN support.

Validation:

• python3 tools/gen_mlir_abi.py --check
• cargo fmt --check
• cargo check --features mlir-backend
• cargo test --features mlir-backend
• cargo clippy --features mlir-backend --all-targets -- -D warnings
• git diff --check

v0.1.2 - Performance pipeline and benchmark expansion

[0.1.2] — 2026-05-21 — Performance pipeline and benchmark expansion

This release adds the first performance gap-closure pass for benchmarked native
codegen and expands the local benchmark suite.

Codegen and runtime

• Added MIR-derived panic-effect facts so pure scalar statements and pure
  byte/list push values do not force unnecessary zmeu_panic_active() polls.
• Marked ordinary generated Zmeu helper functions private/internal and added
  inlining, symbol DCE, mem2reg, sroa, canonicalization, and CSE cleanup to
  the release MLIR pipeline.
• Removed impossible negative bounds checks for usize indexes and skipped
  proven redundant bounds checks for compiler-generated for loop element
  access.
• Added defended LLVM attributes for runtime declarations whose C contracts are
  already explicit, including nounwind and noreturn for process exit and
  fatal panic helpers.
• Changed list/byte-buffer initial growth from 1 to 8 and added a release
  runtime mode that disables the debug allocation registry while preserving
  overflow, null, allocator-tag, and allocation-failure checks.

Benchmarks and inspection

• Added benchmarks/ir_counts.sh for repeatable LLVM IR artifact counts.
• Expanded benchmarks/run.sh to discover benchmark fixture directories
  automatically.
• Added benchmark fixtures for branch-heavy scalar loops, helper calls, fixed
  array indexing, optional narrowing, borrowed range slicing, and struct field
  reads.
• Added docs/performance.md and docs/performance_plan.md as active
  performance tracking documents.

Validation

• Verified with python3 tools/gen_mlir_abi.py --check,
  cargo check --features mlir-backend, and
  cargo test --features mlir-backend.