Extend name resolution to support qualified paths (Partial Fix)#3457

Merged

celinval merged 6 commits intomodel-checking:mainfrom celinval:issue-2524-stub-trait

Aug 30, 2024

+410-136

Commits on Aug 22, 2024

Commits on Aug 29, 2024

Commits on Aug 30, 2024

Apply suggestions from code review

celinval
and
feliperodri
authored