Code

Handling of Int in bind#54

Code

Merged

mariaKt merged 4 commits intomainPi-Squared-Inc/solidity-demo-semantics:mainfrom bind-rulePi-Squared-Inc/solidity-demo-semantics:bind-ruleCopy head branch name to clipboardOct 10, 2024

+325

Commits

Commits on Oct 4, 2024

• Added rule to handle Int in bind.

  mariaKt

  committed
  aada72b

  Copy full SHA for aada72b

• Added tests.

  mariaKt

  committed
  1f407bb

  Copy full SHA for 1f407bb

Commits on Oct 7, 2024

• Merge branch 'main' into bind-rule

  mariaKt

  authored
  28bb853

  Copy full SHA for 28bb853

Commits on Oct 9, 2024

• Merge branch 'main' into bind-rule

  mariaKt

  authored
  df925e9

  Copy full SHA for df925e9