Pi-Squared-Inc / solidity-demo-semantics

Demonstration Solidity Semantics in K
2 stars 2 forks source link

uniswap solidity syntax #2

Closed ovatman closed 1 month ago

ovatman commented 1 month ago

This PR contains the K syntax module for the Uniswap example here

Uniswap example has been also included under examples folder. Please note that there's a modification that replaces string literal surrounding single quotes with double quoutes. The rest of the example is identical to the one in the examples repository.

PR also contains make targets for bison parser generation and testing.