Search results

Add criterion benchmarks for per-engine throughput (LC, SCH, SC, HS, CFDP)

Status: Open.

#8 In pulseengine/relay;

· avrabe opened on Apr 22, 2026

Add tokio-rs/loom harnesses for stream-channel backpressure

Status: Open.

#7 In pulseengine/relay;

· avrabe opened on Apr 22, 2026

Add Kani harnesses for stream-transformer state machines (LC, SCH, SC, HS, CFDP)

Status: Open.

#6 In pulseengine/relay;

· avrabe opened on Apr 22, 2026

Add GitHub Actions CI for 25 Bazel test targets + fuzz + differential + Rocq/Lean proofs

Status: Open.

#5 In pulseengine/relay;

· avrabe opened on Apr 22, 2026

End-to-end verification chain: Verus → Rocq → Lean → Kani for all five engines

Status: Open.

#4 In pulseengine/relay;

· avrabe opened on Apr 14, 2026

Backpressure protocol for stream transformers: proven flow control

Status: Open.

#3 In pulseengine/relay;

· avrabe opened on Apr 14, 2026

WCET analysis for verified engines: prove bounded execution time for all Relay components

Status: Open.

#2 In pulseengine/relay;

· avrabe opened on Apr 14, 2026

No-alloc stream binding: replace Vec<T> in StreamWriter with static buffer / AbiBuffer

Status: Open.

#1 In pulseengine/relay;

· avrabe opened on Apr 14, 2026