Search results

Dangling removal pass clasifies potentially trapping instructions as side-effect free.

Status: Open.

#123 In powdr-labs/crush;

· lvella opened on May 19, 2026

Lean parallel-copy port: follow-ups from external audits

Status: Open.

#121 In powdr-labs/crush;

· leonardoalt opened on May 15, 2026

copy instruction

Status: Open.

#113 In powdr-labs/crush;

· leonardoalt opened on Mar 17, 2026

Use redirection information to propagate constant information to inside loops

Status: Open.

#100 In powdr-labs/crush;

· lvella opened on Feb 25, 2026

Make const deduplication RW-aware

Status: Open.

#99 In powdr-labs/crush;

· lvella opened on Feb 25, 2026

Make the layout of a function reference be defined in the top level Settings trait.

Status: Open.

#88 In powdr-labs/crush;

· lvella opened on Jan 29, 2026