Search results

Compiler built with release profile crashes on the simplest Rust program compilation

Status: Open.

Bug

#1047 In 0xMiden/compiler;

· greenhat opened on Apr 1, 2026

Add build_package convenience function to cargo-miden

questionFurther information is requestedFurther information is requested

Status: Open.

#1034 In 0xMiden/compiler;

· Keinberger opened on Mar 25, 2026

Surface known limitations more prominently in compiler docs

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

Task

#1033 In 0xMiden/compiler;

· Keinberger opened on Mar 25, 2026

·  

v0.9.0

Add tooling to compare execution cycles between two MASP packages

Status: Open.

#1031 In 0xMiden/compiler;

· mooori opened on Mar 25, 2026

·  

v0.9.0

ci: report compilation artifact size changes in PRs

buildBuild or CI-related tasks and improvementsBuild or CI-related tasks and improvements

Status: Open.

Task

#1030 In 0xMiden/compiler;

· mooori opened on Mar 25, 2026

·  

v0.9.0

feat(objtool): diff two packages in terms of size

Status: Open.

Feature

#1029 In 0xMiden/compiler;

· mooori opened on Mar 25, 2026

·  

v0.9.0

feat(objtool): enable analyzing sizes of MAST sections

Status: Open.

Feature

#1028 In 0xMiden/compiler;

· mooori opened on Mar 25, 2026

·  

v0.9.0

Tracking issue: Analyze / benchmark compilation artifact sizes

Status: Open.

Feature

#1027 In 0xMiden/compiler;

· mooori opened on Mar 25, 2026

·  

v0.9.0

Store ABI type information as a custom section in .masp packages

Status: Open.

Feature

#1026 In 0xMiden/compiler;

· marijamijailovic opened on Mar 24, 2026

Implement trace-based printing infrastructure

Status: Open.

Task

#1024 In 0xMiden/compiler;

· bitwalker opened on Mar 23, 2026

·  

v0.8.0

wide-arithmetic compiler warning is noisy and confusing

Status: Open.

#1016 In 0xMiden/compiler;

· Keinberger opened on Mar 19, 2026

Optimize load_small lowering for immediate pointers

optimizationWork related to optimizing the compiler outputWork related to optimizing the compiler output

Status: Open.

Task

#1012 In 0xMiden/compiler;

· mooori opened on Mar 16, 2026