No compound assignment - Githubissues

Pi-Squared-Inc / solidity-demo-semantics

Demonstration Solidity Semantics in K

2 stars 2 forks source link

Closed dwightguth closed 1 month ago

dwightguth commented 1 month ago

This PR removes compound assignment from all the contracts so we don't have to support it.