vyrax_engine

Scaffolding package for the future analyzer execution engine.

Current scope is limited to contracts and entry points. No analyzer logic is implemented yet.

Libraries

vyrax_engine
Execution engine entry points for Vyrax.