Search results

Upstream picolibc fix for ld.lld + LTO

Status: Open.

#12 In pulseengine/gale;

· avrabe opened on Mar 29, 2026

ZMS: Add ASIL-D enhancements (reserved capacity, write verification, redundancy)

Status: Open.

#11 In pulseengine/gale;

· avrabe opened on Mar 29, 2026

LLVM LTO: Get true cross-language inlining (zero overhead)

Status: Open.

#10 In pulseengine/gale;

· avrabe opened on Mar 29, 2026

STPA GAP-2: Wire remaining 50 RED FFI functions to verified models

Status: Open.

#9 In pulseengine/gale;

· avrabe opened on Mar 29, 2026

ZMS: Close P1 critical STPA gaps (GAP-ZMS-5, 8, 10)

Status: Open.

#8 In pulseengine/gale;

· avrabe opened on Mar 29, 2026

ZMS: Wire FFI shim for write_decide + gc_done_check

enhancementNew feature or requestNew feature or request

Status: Open.

#7 In pulseengine/gale;

· avrabe opened on Mar 29, 2026