Search results

<code>cargo miden new --type</code> should add the new crate to the workspace Cargo.toml (if any)

Status: Open.

#743 In 0xMiden/compiler;

· greenhat opened on Oct 31, 2025

<code>cargo miden build</code> inside the Miden project(workspace) should compile all the contracts

Status: Open.

#742 In 0xMiden/compiler;

· greenhat opened on Oct 31, 2025

Publish the SDK and bump it in the new project templates

Status: Open.

#740 In 0xMiden/compiler;

· greenhat opened on Oct 31, 2025

· 

0.5.0

<code>cargo-miden</code> picks the root package of the workspace instead of the one defined in the <code>./Cargo.toml</code>

Status: Open.

#738 In 0xMiden/compiler;

· greenhat opened on Oct 30, 2025

· 

0.5.0

Revamp the <code>cargo miden new</code> command to create a Miden project (workspace)

Status: Open.

#737 In 0xMiden/compiler;

· greenhat opened on Oct 29, 2025

· 

0.5.0

Hide the allocator and panic handler behind the macros

Status: Open.

#734 In 0xMiden/compiler;

· greenhat opened on Oct 28, 2025

· 

0.5.0

Gather <code>account</code> tx kernel function under the <code>Account</code> trait

Status: Open.

#733 In 0xMiden/compiler;

· greenhat opened on Oct 28, 2025

· 

0.5.0

Skip redundant type definition generation in the <code>wit_bindgen::generate!</code> for the remapped types defined in the WIT source

Status: Open.

#730 In 0xMiden/compiler;

· greenhat opened on Oct 23, 2025

Pin actions in github workflows to hash vs version

Status: Open.

#727 In 0xMiden/compiler;

· greenhat opened on Oct 21, 2025

Implement release workflow as in <code>miden-debug</code> repo

Status: Open.

#726 In 0xMiden/compiler;

· greenhat opened on Oct 21, 2025

midenc option <code>--emit hir=./target</code> does not emit when passed along with <code>-o</code>

Status: Open.

#724 In 0xMiden/compiler;

· greenhat opened on Oct 20, 2025

WIT generation

Status: Open.

#720 In 0xMiden/compiler;

· greenhat opened on Oct 16, 2025