Search results

Wire the complete Lean scheduling proofs (EDF/RMBound/RTA) into CI

Status: Open.

#261 In pulseengine/spar;

· avrabe opened on Jun 6, 2026

Publish browser-ready spar-wasm bundle (spar_wasm.js + core*.wasm) as release assets

Status: Open.

#259 In pulseengine/spar;

· avrabe opened on Jun 4, 2026

codegen --format wit emits unbindable WIT: invalid identifiers (underscores) + undefined types

Status: Open.

#254 In pulseengine/spar;

· avrabe opened on Jun 2, 2026

Codegen Kani proof harnesses un-runnable: CI 6h-timeout + local Kani 0.63.0 toolchain too old for smol_str 0.3.6 (bump to 0.67.0)

Status: Open.

#252 In pulseengine/spar;

· avrabe opened on May 31, 2026

Interop / plug-fest: mechanical conformance testing against OSATE + Ocarina to prevent silent AADL dialect drift

enhancementNew feature or requestNew feature or request

Status: Open.

#246 In pulseengine/spar;

· avrabe opened on May 27, 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

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