Search results

Add Cosign signature on SHA256SUMS.txt + SLSA build provenance

Status: Open.

#243 In pulseengine/spar;

· avrabe opened on May 24, 2026

Instantiated AADL model doesn't have properties for connections nor features

Status: Open.

#237 In pulseengine/spar;

· jeancharles-roger opened on May 22, 2026

ComponentType extension error while instantiating

Status: Open.

#236 In pulseengine/spar;

· jeancharles-roger opened on May 22, 2026

AADL case-insensitive support problem

Status: Open.

#235 In pulseengine/spar;

· jeancharles-roger opened on May 22, 2026

Track E: Frozen-platform/mobile-application split + hypothetical-rebinding oracle

enhancementNew feature or requestNew feature or request

Status: Open.

#150 In pulseengine/spar;

· avrabe opened on Apr 25, 2026

Track D: TSN/Ethernet WCTT analysis with first-class switch modeling

enhancementNew feature or requestNew feature or request

Status: Open.

#149 In pulseengine/spar;

· avrabe opened on Apr 25, 2026