-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: pulseengine/spar
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
docs: v0.7.0 Track A commit-2 design (hierarchical IRQ-aware RTA)
#146
opened Apr 23, 2026 by
avrabe
Contributor
Loading…
4 tasks
feat: criterion benchmarks for scheduling solver + codegen (#137)
#143
opened Apr 23, 2026 by
avrabe
Contributor
Loading…
3 tasks
feat: cargo-fuzz scaffolding for parser + solver + codegen (#138)
#142
opened Apr 23, 2026 by
avrabe
Contributor
Loading…
3 tasks
feat: Kani harnesses for scheduler + codegen invariants (#136)
#141
opened Apr 23, 2026 by
avrabe
Contributor
Loading…
3 tasks
ProTip!
no:milestone will show everything without a milestone.