Search results

P3 async intrinsic compilation: generate ARM code for stream/future/task host calls

Status: Open.

#80 In pulseengine/synth;

· avrabe opened on Apr 12, 2026

Checkpoint/restore for compiler IR state between passes

Status: Open.

#79 In pulseengine/synth;

· avrabe opened on Apr 12, 2026

Monte Carlo verification campaign for unproven boundaries (parser, ELF builder, linker)

Status: Open.

#78 In pulseengine/synth;

· avrabe opened on Apr 12, 2026

Formalize platform abstraction: Memory Space + Execution Space model (RAJA/Kokkos pattern)

Status: Open.

#77 In pulseengine/synth;

· avrabe opened on Apr 12, 2026

Adopt validator-based verification strategy (CompCert pattern) for i64/f32/f64 proof coverage

Status: Open.

#76 In pulseengine/synth;

· avrabe opened on Apr 12, 2026

proof: Rocq compile_wasm_to_arm diverges from Rust instruction selector

Status: Open.

#73 In pulseengine/synth;

· avrabe opened on Apr 12, 2026

Architecture: Meld Platform — WRT as Embedded Host Runtime with Embassy HAL Bridge

Status: Open.

#34 In pulseengine/synth;

· avrabe opened on Feb 19, 2026

Test calculator on real hardware

enhancementNew feature or requestNew feature or request

Status: Open.

#22 In pulseengine/synth;

· avrabe opened on Jan 9, 2026

·  

phase-2-calculator