Skip to content

feat(pstack): bring the statechart skill up to date, with the Pele renderer - #791

Merged
poteto merged 2 commits into
mainfrom
lauren/pstack-statechart-port-dc71
Oct 23, 2026
Merged

poteto merged 2 commits into
mainfrom
lauren/pstack-statechart-port-dc71

fix(pstack): let the statechart regions proof leave out self-loops wh…

728e6d0
Select commit
Loading
Failed to load commit list.
Cursor / Cursor Bugbot succeeded Oct 23, 2026 in 4m 34s

Bugbot Review

Bugbot Analysis Progress (4m 38s elapsed)

✅ Gathered PR context (2s)
✅ Completed bug detection (4m 35s)
✅ Posted analysis results (1s)

Final Result: Bugbot completed review - no issues found! ✅

Request ID: 1020fad2-351f-42a9-81f9-6fd460f8f508

Details