cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Comment

Browse Source
This commit is contained in:
chriseth 2022-03-21 12:36:43 +01:00
parent 3996d5bad3
commit 0966c77fa6
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
libyul/optimiser/ReasoningBasedSimplifier.h
View File

@ -47,6 +47,8 @@ namespace solidity::yul
* *
* Prerequisite: Disambiguator, SSATransform. * Prerequisite: Disambiguator, SSATransform.
*/ */
// TODO This only works for SSA variables - do we want to combine it wih the data flow analyzer?
class ReasoningBasedSimplifier: public ASTModifier, SMTSolver class ReasoningBasedSimplifier: public ASTModifier, SMTSolver
{ {
public: public: