Pi-Squared-Inc / solidity-demo-semantics

Demonstration Solidity Semantics in K
2 stars 2 forks source link

Sync UniswapV2SwapRenamed with UniswapV2Swap #36

Closed mariaKt closed 1 week ago

mariaKt commented 1 week ago

This PR updates UniswapV2SwapRenamed.sol to be in sync with UniswapV2Swap.sol, while applying the same changes as https://github.com/Pi-Squared-Inc/solidity-demo-semantics/pull/28, namely:

Accordingly, we change the corresponding reference and transactions files and update the rule for the summary of the initial configuration.