Simple constant propagation AST-based analysis#852

Open

jeshecdom wants to merge 39 commits intomainfrom issue716

+9,352-1,731

Commits on Aug 23, 2024

This commit does not introduce new functionality to the interpreter. It only refactors the interpreter to be able to change the semantics or add additional functionality to it.
jeshecdom
committed

Commits on Aug 31, 2024

Variable values tracing. Currently supports different brances in conditionals.
jeshecdom
committed

Commits on Sep 6, 2024

Added support for variable tracing in loops, try-catch and init() method.
jeshecdom
committed
Error messages now show the place in the code. Before, error messages did not show it. This was due to partial evaluator making use of dummySrcInfo.
jeshecdom
committed
Fixes failing test cases during yarn gen:
jeshecdom
committed

Commits on Sep 9, 2024

Further fixes to the handling of structs and contracts.
jeshecdom
committed

Commits on Oct 7, 2024

Merge branch 'monadish' into issue716
jeshecdom
committed

Commits on Oct 10, 2024

Commits on Oct 17, 2024

Merge branch 'main' into issue716
jeshecdom
committed

Commits on Oct 26, 2024

Commits on Oct 27, 2024

Small fixes after destructuring statements were merged from main.
jeshecdom
committed

Commits on Nov 9, 2024

Added fixpoint computation of loops.
jeshecdom
committed

Commits on Nov 22, 2024

Commits on Dec 9, 2024

Review changes in progress.
jeshecdom
committed

Commits on Dec 10, 2024

Second review comments
jeshecdom
committed

Commits on Dec 11, 2024