Repository navigation

Symbolic dynamic arrays of static types as arguments - #1258

Open

msooseth wants to merge 2 commits into

stack/5-perffrom

stack/6-calldata

Open

Symbolic dynamic arrays of static types as arguments#1258
msooseth wants to merge 2 commits into
stack/5-perffrom
stack/6-calldata

Commits on Nov 13, 2026
- Symbolic dynamic arrays of static types as arguments
  
  msooseth
  and
  claude
  committed
  c5e1ecc
- Name only the kinds of dynamic argument a caveat bounded
  
  msooseth
  and
  claude
  committed
  b89c77a