Interact with type checker using module names.#551

Merged

toinehartman merged 3 commits intomainfrom fix/rename-refactoring/use-module-names

Jan 8, 2025

+3-2

Commits on Dec 24, 2024

Interact with type checker using module names.
toinehartman
committed

Commits on Jan 8, 2025

Load all required TModels, not only for top modules.
toinehartman
committed
Merge branch 'main' into fix/rename-refactoring/use-module-names
toinehartman
authored