You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Matheus Dias de Souza edited this page May 11, 2024
·
4 revisions
A symbol solver that resolves references across the program is not available as part of this project.
If you wish to create one, consider defining the semantic model first.
Modeling the Semantics
Define symbols for a semantic model with the help of the SModel crate, which provides an arena-oriented inheritance symbol declaration with dynamic dispatch for Rust.