Commit Graph

1 Commits

Author SHA1 Message Date
hrkrshnn
4cb58bee0e Implemented MemoryStoreRemover
An optimizer step that can remove redundant `mstore` in Yul. This is done with the help of and
Solver to prove that `mstore` is redundant.
2021-04-26 09:33:18 +02:00