Arithmetic - Githubissues

Pi-Squared-Inc / solidity-demo-semantics

Demonstration Solidity Semantics in K

2 stars 2 forks source link

Arithmetic #13

Closed dwightguth closed 2 months ago

dwightguth commented 2 months ago

Adds more complete support for:

Integer literals
Additional integer types
Addition
Subtraction
Multiplication
Division
Exponentiation
Equality
Inequality