Code

Swap summary continued#61

Code

Merged

mariaKt merged 15 commits intomainPi-Squared-Inc/solidity-demo-semantics:mainfrom swap-summary-contPi-Squared-Inc/solidity-demo-semantics:swap-summary-contCopy head branch name to clipboardOct 10, 2024

Commits

Commits on Oct 9, 2024

• Swap summary rule: first if end -> second if condition evaluation.

  mariaKt

  committed
  4e3784f

  Copy full SHA for 4e3784f

• Swap summary: 2nd if condition true -> transfer call.

  mariaKt

  committed
  65cfe66

  Copy full SHA for 65cfe66

• Swap summary: params and address for first balanceOf call.

  mariaKt

  committed
  ce2fd76

  Copy full SHA for ce2fd76

• Swap summary: balanceOf return -> second balanceOf call

  mariaKt

  committed
  527216f

  Copy full SHA for 527216f

• Swap summary: 2nd balanceOf return -> 1st ternary cond eval.

  mariaKt

  committed
  043d0f6

  Copy full SHA for 043d0f6

• Swap summaries: for ternary operations.

  mariaKt

  committed
  5e30752

  Copy full SHA for 5e30752

• Swap summaries: ternary operations, conditions evaluated to other value.

  mariaKt

  committed
  e046c9f

  Copy full SHA for e046c9f

• Swap summary: requirements after ternary operations

  mariaKt

  committed
  92a0650

  Copy full SHA for 92a0650

• Swap summary updated: compute args to fidUpdate in same rule for requirements.

  mariaKt

  committed
  cc96f91

  Copy full SHA for cc96f91

• Swap summary: fidupdate return -> end.

  mariaKt

  committed
  c43de4d

  Copy full SHA for c43de4d

• Added a parenthesis to make a condition clearer.

  mariaKt

  committed
  8387d33

  Copy full SHA for 8387d33

Commits on Oct 10, 2024

• Merge branch 'main' into swap-summary-cont

  mariaKt

  authored
  f1ace85

  Copy full SHA for f1ace85

• Updated comment for 2nd if condition evaluation rule.

  mariaKt

  committed
  9921583

  Copy full SHA for 9921583

• Swap summary: first if condition true -> transfer call.

  mariaKt

  committed
  866bc67

  Copy full SHA for 866bc67

• Swap summary: used single rule for the two if true branches.

  mariaKt

  committed
  b6509d0

  Copy full SHA for b6509d0