search

Pi-Squared-Inc / solidity-demo-semantics

Demonstration Solidity Semantics in K
2 stars 2 forks source link

Events definition handling #11

Closed mariaKt closed 2 months ago

mariaKt commented 2 months ago

This PR addresses issue #1745, event definitions.

There is a new cell that holds the information for an event's name, arg types and names, and set of indexed event parameters. I oped to have this cell maintain the integer positions of the indexed parameters rather than their name, because if there are more than one unnamed parameters then the name would not be enough.

dwightguth commented 2 months ago

Looks like this PR needs a quick update to the output files.

mariaKt commented 2 months ago

Yes, it is stuck with the payable deposit function at the top of the k cell.

For the indexed property, I will keep that in mind.