Search results

aarch64 backend completeness: execution-verified capability map + remaining gaps (memory, non-param locals, calls, if/loop/return, div/rem, popcnt)

Status: Open.

#851 In pulseengine/synth;

· avrabe opened on Jul 23, 2026

Harden 10 differential oracles: read symbols from ELF .symtab, not disasm text (host-dependency)

Status: Open.

#850 In pulseengine/synth;

· avrabe opened on Jul 23, 2026

ordeal 0.12.0 solver-performance regression HANGS div/rem trap-preservation VCs — pinned back to 0.9.1

Status: Open.

#849 In pulseengine/synth;

· avrabe opened on Jul 23, 2026

Re-land native i64.rem_u/rem_s value model behind a per-query solver timeout (reverted #844)

Status: Open.

#848 In pulseengine/synth;

· avrabe opened on Jul 23, 2026

gpio-thin regressed +9% code size under synth 0.49 (all other gust drivers shrank; effects unchanged)

Status: Open.

#846 In pulseengine/synth;

· avrabe opened on Jul 23, 2026

Epic: verified-codegen infrastructure (VCR-*) — replace the patch-accreting selector + allocator

Status: Open.

#242 In pulseengine/synth;

· avrabe opened on Jun 4, 2026