Repository navigation

feat(pstack): add the statechart skill to draw TLA+ models as charts - #741

Merged

poteto merged 9 commits into

mainfrom

lauren/statechart-skill-0e3e

Oct 22, 2026

Merged

feat(pstack): add the statechart skill to draw TLA+ models as charts#741
poteto merged 9 commits into
mainfrom
lauren/statechart-skill-0e3e

Commits on Oct 21, 2026
- Add the statechart skill to pstack
  cursoragent
  committed
  d8ee2fa
- Fix the review findings in the statechart skill
  cursoragent
  committed
  f149a2d
- Refuse a -- outside a composite in statechart charts
  
  cursoragent
  and
  poteto
  committed
  20c88e3
- Exit 2 when compare-charts cannot read a chart
  
  cursoragent
  and
  poteto
  committed
  3c5adb6
- Update the statechart skill to its current version
  
  cursoragent
  and
  poteto
  committed
  2e3bb7e
- Exit 2 when --png cannot render a chart
  
  cursoragent
  and
  poteto
  committed
  6e05b22
Commits on Oct 22, 2026
- Update the statechart skill to its latest version
  
  cursoragent
  and
  poteto
  committed
  b108862
- Update the statechart skill: safe output folder, its TLA+ model, and the comment and assignment cleanups
  
  cursoragent
  and
  poteto
  committed
  a0f6e3a
- Drop a comment in the public findTlc that only describes the code
  
  cursoragent
  and
  poteto
  committed
  f0bc551