Code

Add struct support#2051

Code

Closed

iFrostizz wants to merge 36 commits intomasterruntimeverification/evm-semantics:masterfrom struct-support2runtimeverification/evm-semantics:struct-support2Copy head branch name to clipboard

+265-45

Commits

Commits on Aug 28, 2023

• add struct support

  iFrostizz

  committed
  32c292e

  Copy full SHA for 32c292e

• Set Version: 1.0.283

  

  devops

  committed
  80399f1

  Copy full SHA for 80399f1

Commits on Aug 29, 2023

• add #tuple rule

  iFrostizz

  committed
  6a7954c

  Copy full SHA for 6a7954c

Commits on Aug 30, 2023

• write tuple abi encoding

  iFrostizz

  committed
  36d37c8

  Copy full SHA for 36d37c8

• Set Version: 1.0.284

  

  devops

  committed
  decfcf6

  Copy full SHA for decfcf6

• add tuple predicate

  iFrostizz

  committed
  1d92e45

  Copy full SHA for 1d92e45

• correct recursion in tuple input

  iFrostizz

  committed
  43c684d

  Copy full SHA for 43c684d

• add TODO

  iFrostizz

  committed
  fe185b1

  Copy full SHA for fe185b1

Commits on Aug 31, 2023

• tuple returns TypedArg

  iFrostizz

  committed
  acac6c9

  Copy full SHA for acac6c9

• Set Version: 1.0.285

  

  devops

  committed
  0102b82

  Copy full SHA for 0102b82

• fix typo on klabel

  iFrostizz

  committed
  81294fc

  Copy full SHA for 81294fc

• apply review suggestions

  iFrostizz

  committed
  a751020

  Copy full SHA for a751020

• Merge branch 'master' into struct-support2

  iFrostizz

  committed
  4d0cd30

  Copy full SHA for 4d0cd30

• Set Version: 1.0.285

  

  devops

  committed
  cac9c74

  Copy full SHA for cac9c74

• fmt

  iFrostizz

  committed
  2086e9c

  Copy full SHA for 2086e9c

• pyupgrade

  iFrostizz

  committed
  ea0bc0e

  Copy full SHA for ea0bc0e

• format

  iFrostizz

  committed
  7753e56

  Copy full SHA for 7753e56

• number var name

  iFrostizz

  committed
  acb7aae

  Copy full SHA for acb7aae

• forge install: forge-std

  Show description for 6ce697d
  iFrostizz

  committed
  6ce697d

  Copy full SHA for 6ce697d

• fix foundry test, return TRUE on string

  iFrostizz

  committed
  a22a1f7

  Copy full SHA for a22a1f7

• Revert "forge install: forge-std"

  Show description for 6958863
  iFrostizz

  committed
  6958863

  Copy full SHA for 6958863

• remove comment

  iFrostizz

  committed
  095d2f9

  Copy full SHA for 095d2f9

• adjust to tuple size

  iFrostizz

  committed
  6dd8bbe

  Copy full SHA for 6dd8bbe

Commits on Sep 3, 2023

• create #tuple on rhs

  iFrostizz

  committed
  574b21d

  Copy full SHA for 574b21d

Commits on Sep 4, 2023

• don't forget to return res

  iFrostizz

  committed
  5dd95ae

  Copy full SHA for 5dd95ae

• Merge branch 'master' into struct-support2

  iFrostizz

  committed
  5024509

  Copy full SHA for 5024509

• Set Version: 1.0.287

  

  devops

  committed
  b4e08e4

  Copy full SHA for b4e08e4

• update encode semantics

  iFrostizz

  committed
  79e228b

  Copy full SHA for 79e228b

• fix unit test

  iFrostizz

  committed
  3f1c341

  Copy full SHA for 3f1c341

• Update expected output for test_foundry_kompile

  palinatolmach

  committed
  759db87

  Copy full SHA for 759db87

Commits on Sep 5, 2023

• formatting

  iFrostizz

  committed
  1ba1942

  Copy full SHA for 1ba1942

Commits on Sep 22, 2023

• Merge branch 'master' into struct-support2

  palinatolmach

  committed
  cb15345

  Copy full SHA for cb15345

• Set Version: 1.0.302

  

  devops

  committed
  3d59660

  Copy full SHA for 3d59660

• Fix merge conflict

  palinatolmach

  committed
  8e5af88

  Copy full SHA for 8e5af88

Commits on Sep 25, 2023

• Merge branch 'master' into struct-support2

  palinatolmach

  committed
  e3aec60

  Copy full SHA for e3aec60

• Set Version: 1.0.305

  

  devops

  committed
  a497775

  Copy full SHA for a497775