Skip to content

Show the verifier's hints in the State Machine view - #172

Open
CatarinaGamboa wants to merge 1 commit into
feat/focus-collapsefrom
feat/fsm-ways-to-fix
Open

Show the verifier's hints in the State Machine view#172
CatarinaGamboa wants to merge 1 commit into
feat/focus-collapsefrom
feat/fsm-ways-to-fix

Commits

  1. Commits on Oct 28, 2026