Search results

idea: flow-sensitive Int.div/Int.mod safety-elision (MIR optimizer, not type-level)

enhancementNew feature or requestNew feature or request

Status: Open.

#438 In jasisz/aver;

· jasisz opened on Jun 6, 2026

self-host parity: higher-order functions + multi-module type resolution

enhancementNew feature or requestNew feature or request

Status: Open.

#436 In jasisz/aver;

· jasisz opened on Jun 6, 2026

0.25: retire classify-time fused leaf-ops — move runtime Result/Option fusion onto MIR

Status: Open.

#434 In jasisz/aver;

· jasisz opened on Jun 5, 2026