Create a machine readable specification for the Cadence IR (Intermediate Representation) that can be used to generate the structures for the IR.
Suggested Solution
[ ] The specification has a section that describes the notation.
[ ] The specification has been used to generate a go implementation that is a drop-in replacement for the current IR nodes.
[ ] The specification describes the transformation from the ST(Syntax Tree) to the IR.
[ ] The drop-in replacement has been used to compare the current implementation with the generated implementation and there is a high degree of confidence in the specification.
Issue to be solved
Create a machine readable specification for the Cadence IR (Intermediate Representation) that can be used to generate the structures for the IR.
Suggested Solution