[do not review] old no-fork monitor - #301

Draft

Nikil-Shyamsunder wants to merge 7 commits into

mainfrom

Commits on Jul 31, 2026

implement steady state automata for special case of protocols without forks
Nikil-Shyamsunder
committed
54c704d
implement looping in steady state
Nikil-Shyamsunder
committed
f57e856

Commits on Aug 3, 2026

Commits on Aug 14, 2026

lower to monitor teansition system
Nikil-Shyamsunder
committed
55fcb1d