Sort definitions of SMV models to reduce recursion depth in typecheck#234

Open

mgudemann wants to merge 4 commits intodiffblue:mainfrom

mgudemann:feature/topsort_SMV_defines

Commits on Mar 27, 2025

Commits on Mar 28, 2025

Warning about graph not being a DAG only if non-empty
mgudemann
committed