swaits 9eb1d10b28 chore(release): 0.5.0

2026-04-28 21:03:05 -06:00

..

000. original-hsmc-spec.md

fix!: up-transitions no longer exit and re-enter the target ancestor

2026-04-22 18:22:04 -06:00

001. hsmc-design-change-request.md

initial commit: hsmc v0.2 with during: activities

2026-04-16 13:03:03 -06:00

002. hsmc-semantics-formal.md

chore(release): 0.5.0

2026-04-28 21:03:05 -06:00

003. latency-analysis.md

perf: precompute transition/dispatch/terminate paths; shrink TimerEntry to u64

2026-04-28 18:51:21 -06:00