-
Notifications
You must be signed in to change notification settings - Fork 6.3k
Closed
Labels
easy difficultygood first issue candidateCould be a "good first issue" but something is blocking it or it has open questions.Could be a "good first issue" but something is blocking it or it has open questions.low effortThere is not much implementation work to be done. The task is very easy or tiny.There is not much implementation work to be done. The task is very easy or tiny.medium impactDefault level of impactDefault level of impactmust have eventuallySomething we consider essential but not enough to prevent us from releasing Solidity 1.0 without it.Something we consider essential but not enough to prevent us from releasing Solidity 1.0 without it.protocol design 🔮Potential changes to ABI, meta data, standard JSONPotential changes to ABI, meta data, standard JSON
Description
It would be helpful/essential for verification tools to have access to the Yul ASTs that are generated throughout compilation via Yul.
Saw-mon-and-Natalie
Metadata
Metadata
Assignees
Labels
easy difficultygood first issue candidateCould be a "good first issue" but something is blocking it or it has open questions.Could be a "good first issue" but something is blocking it or it has open questions.low effortThere is not much implementation work to be done. The task is very easy or tiny.There is not much implementation work to be done. The task is very easy or tiny.medium impactDefault level of impactDefault level of impactmust have eventuallySomething we consider essential but not enough to prevent us from releasing Solidity 1.0 without it.Something we consider essential but not enough to prevent us from releasing Solidity 1.0 without it.protocol design 🔮Potential changes to ABI, meta data, standard JSONPotential changes to ABI, meta data, standard JSON