Add foundational array support - #441

Open

tautschnig wants to merge 7 commits into

strata-org:mainfrom

tautschnig:pr/arrays-support

Commits on Jun 10, 2026

JavaToLaurelCompiler: translate Java array types to Laurel map types

tautschnig
and
kiro-agent
committed
09206dc
JavaToLaurelCompiler: support arr.length reads

tautschnig
and
kiro-agent
committed
3b6c9bb
JavaToLaurelCompiler: support array element reads (arr[i] / JArray.get)

tautschnig
and
kiro-agent
committed
bc17e58
JavaToLaurelCompiler: recognize JArray after the static-hoisting pass

tautschnig
and
kiro-agent
committed
4c06813
JVerify front-end: support array creation (new int[N] and {...})

tautschnig
and
kiro-agent
committed
937cc60
JVerify front-end: support array element writes (arr[i] = v / JArray.set)

tautschnig
and
kiro-agent
committed
6046803
JavaToLaurelCompiler: pass the array receiver to arrayGet/arraySet

tautschnig
and
kiro-agent
committed
2639eee