All issues

Search results

Prove source request-trace equivalence for yield lowering

Status: Open.

#1376 In jasisz/aver;

· jasisz opened on Sep 15, 2026

CI: the wasm-gc suites step can stall for hours at a test-binary compile; give it a timeout

Status: Open.

#1339 In jasisz/aver;

· jasisz opened on Sep 12, 2026

Concurrency as data plus effects: an explicit coordinator for ordered decisions, proven laws for order-free knowledge

enhancementNew feature or requestNew feature or request

Status: Open.

#1329 In jasisz/aver;

· jasisz opened on Sep 10, 2026

Lean export: close the remaining historical corpus parity gaps

Status: Open.

#1010 In jasisz/aver;

· jasisz opened on Aug 19, 2026

self-host parity: higher-order functions, doc continuation, discharge fence

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