Code

Summary for swapExactTokensForTokens#62

Code

Merged

mariaKt merged 6 commits intomainPi-Squared-Inc/solidity-demo-semantics:mainfrom swapetft-summaryPi-Squared-Inc/solidity-demo-semantics:swapetft-summaryCopy head branch name to clipboardOct 11, 2024

Commits

Commits on Oct 10, 2024

• swapExactTokensForTokens: two summaries.

  Show description for bcd57e4
  mariaKt

  committed
  bcd57e4

  Copy full SHA for bcd57e4

• swapetft: extended summary to include comuting of arguments, up to

  Show description for c17f7aa
  mariaKt

  committed
  c17f7aa

  Copy full SHA for c17f7aa

• Simplified a summary rule condition, evaluating a function.

  mariaKt

  committed
  a3dae98

  Copy full SHA for a3dae98

• swapetft: uniswapV2LibraryPairFor return -> transferFrom call.

  mariaKt

  committed
  01e27e0

  Copy full SHA for 01e27e0

• swapetft: transferFrom return -> fidSwap call

  mariaKt

  committed
  f504c3b

  Copy full SHA for f504c3b

• swapetft: fidswap return to function return

  mariaKt

  committed
  6ed83ce

  Copy full SHA for 6ed83ce