feat(spec/test): part streaming mbt - itf-trace parsing#814

Draft

stojanovic00 wants to merge 4 commits intoinformalsystems:mainfrom stojanovic00:part-streaming-mbt

+558-37

Commits on Jan 28, 2025

feat(spec/test): Part streaming MBT, ITF-trace parsing
stojanovic00
committed

Commits on Jan 29, 2025

Commits on Jan 31, 2025

runner state_invariant check
stojanovic00
committed