Skip to content

Pull requests: pulseengine/spar

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

feat(emv2): error-propagation traversal across AADL connection graph (v0.10.x)
#225 opened May 14, 2026 by avrabe Contributor Loading…
4 tasks done
feat(codegen): Kani harnesses for generated-code AADL contract preservation
#224 opened May 14, 2026 by avrabe Contributor Loading…
6 tasks
feat(proofs): Lean 4 proofs for latency monotonicity + ARINC 653 isolation
#223 opened May 14, 2026 by avrabe Contributor Loading…
3 tasks
feat(cli): spar emit --format mermaid subcommand (v0.10.x M2)
#222 opened May 14, 2026 by avrabe Contributor Loading…
feat(ci): rivet-driven verification gate + sticky PR comment
#221 opened May 14, 2026 by avrabe Contributor Loading…
2 of 4 tasks
[temper] Configuration update automation Automation updates dependencies Dependency updates
#167 opened Apr 26, 2026 by temper-pulseengine Bot Loading…
ProTip! Mix and match filters to narrow down what you’re looking for.