Optimizer Component: ReasoningAnalyzer #10810
Labels
epic effort
Multi-stage task that may require coordination between team members across multiple PRs.
high impact
Changes are very prominent and affect users or the project in a major way.
must have
Something we consider an essential part of Solidity 1.0.
optimizer
The ReasoningAnalazer is an optimizer component to be used as a base class. It traverses the AST and records relations between SSA variables (it ignores everything that is not an SSA variable) and the state of storage and memory using a reasoning engine. The reasoning engine is exchangeable: It can use both an LP solver and an SMT solver.
The text was updated successfully, but these errors were encountered: