Code

Summarized rules for fidSwap#42

Code

Merged

mariaKt merged 5 commits intomainPi-Squared-Inc/solidity-demo-semantics:mainfrom fidswap-summaryPi-Squared-Inc/solidity-demo-semantics:fidswap-summaryCopy head branch name to clipboardSep 26, 2024

+136-1

Commits

Commits on Sep 24, 2024

• Summaries of non branching sequences for fidswap.

  mariaKt

  committed
  ebb086e

• Summarize additional steps: bind to declaration of i.

  mariaKt

  committed
  863d8ca

Commits on Sep 25, 2024

• Summarize additional steps: swap result to end of loop.

  mariaKt

  committed
  5cfffd1

• Added one rewrite step in the summary for while.

  mariaKt

  committed
  fc417da

• Merge branch 'main' into fidswap-summary

  mariaKt

  committed
  dc87fbc