Code

uniswapV2LibraryGetAmountsOut summary#50

Code

Merged

mariaKt merged 4 commits intomainPi-Squared-Inc/solidity-demo-semantics:mainfrom getamountsout-summaryPi-Squared-Inc/solidity-demo-semantics:getamountsout-summaryCopy head branch name to clipboardOct 3, 2024

+84

Commits

Commits on Oct 2, 2024

• getAmountsOut summary.

  mariaKt

  committed
  a7ef0a1

• Added comments.

  mariaKt

  committed
  4dac6d7

Commits on Oct 3, 2024

• Edited end of function summary. Number of expected restoreEnv (closing scopes) is input dependent).

  mariaKt

  committed
  df1585d

• Added rule to skip unneeded enrironment updates.

  mariaKt

  committed
  ebd68ff