Payable specifier and call by callvalue - Githubissues

Pi-Squared-Inc / solidity-demo-semantics

Demonstration Solidity Semantics in K

2 stars 2 forks source link

Payable specifier and call by callvalue #20

Closed dwightguth closed 3 weeks ago

dwightguth commented 1 month ago

Adds support for:

payable specifier in function definitions
external/internal calls with callvalue
block.timestamp
msg.sender
msg.value
this
tx.origin